Return to trip1.k CVS log

Up to [local] / OpenXM / src / k097 / debug

Annotation of OpenXM/src/k097/debug/trip1.k, Revision 1.1

1.1     ! maekawa     1:
        !             2:
        !             3: /* test of class definition.  1997, 3/31, 4/1 */
        !             4: /* a = Complex.new0(1,1);
        !             5:    b = a+a;
        !             6:    b.show();
        !             7:    b.foo();
        !             8: */
        !             9: class Object extends PrimitiveObject {
        !            10:    ;
        !            11: }
        !            12:
        !            13: def void show() {
        !            14:     local this2;
        !            15:     this2 = this;
        !            16:     Print(this2);
        !            17: }
        !            18:
        !            19: sm1(" /ectag { dup isClass not { pop -1 } { lc } ifelse } def ");
        !            20: def k00ecTag(a) { sm1(a," ectag /FunctionValue set "); }
        !            21: def IsObject() {
        !            22:   local this2;
        !            23:   this2 = this;
        !            24:   if (!IsArray(this2)) return(false);
        !            25:   if (Length(this2) < 1) return(false);
        !            26:   this2 = this2[0];
        !            27:   if (k00ecTag(this2) == k00ecTag(Object[0])) return(true);
        !            28:   else return(false);
        !            29: }
        !            30:
        !            31: /* ------------------------------------- */
        !            32: class Complex extends Object {
        !            33:   local re,im;
        !            34:   def new0(a,b) {
        !            35:      local this2;
        !            36:      this2 = this;
        !            37:      return([this2[0],a,b]);
        !            38:   }
        !            39:   def void show() {
        !            40:      local this2;
        !            41:      this2 = this;
        !            42:      Print("["); Print(this2[1]); Print("]+i["); Print(this2[2]);
        !            43:      Print("]");
        !            44:   }
        !            45:   def void foo() {
        !            46:      show();
        !            47:      super.show();
        !            48:   }
        !            49:   def operator add(b) {
        !            50:      local this2,ans;
        !            51:      this2 = this;
        !            52:      ans = Complex.new0(0,0);
        !            53:      if (!this2.IsObject()) {
        !            54:         Println("The first argument must be in Complex.");
        !            55:         sm1(" error ");
        !            56:      }
        !            57:      if (!b.IsObject()) {
        !            58:         Println("The second argument must be in Complex.");
        !            59:         sm1(" error ");
        !            60:      }
        !            61:      ans[1] = this2[1]+b[1];
        !            62:      ans[2] = this2[2]+b[2];
        !            63:      return(ans);
        !            64:   }
        !            65:   def operator mul(b) {
        !            66:      local x1,x2,x3,x4,this2,ans;
        !            67:      this2 = this;
        !            68:      ans = Complex.new0(0,0);
        !            69:      x1 = this2[1]; x2 = this2[2];
        !            70:      if (isComplex(b)) {
        !            71:        y1 = b[1]; y2 = b[2];
        !            72:        ans[1] = x1*y1-x2*y2;
        !            73:        ans[2] = x1*y2+x2*y1;
        !            74:        return(ans);
        !            75:      }
        !            76:      ans[1] = x1*b;
        !            77:      ans[2] = x2*b;
        !            78:      return(ans);
        !            79:   }
        !            80: }
        !            81:
        !            82: /* これがメンバ関数ではこまる. */
        !            83: def isComplex(this2) {
        !            84:    if (! this2.IsObject()) return(false);
        !            85:    if (this2[0] == Complex[0]) return(true);
        !            86:    else return(false);
        !            87: }
        !            88:
        !            89: class Integer extends Object {
        !            90:    local ii;
        !            91:    def new0(i) {
        !            92:       local this2;
        !            93:       this2 = this;
        !            94:       return([this2[0],i]);
        !            95:    }
        !            96:    one = Integer.new0(1);
        !            97:    def operator sub(b) {
        !            98:      local this2,ans;
        !            99:      this2 = this;
        !           100:      ans = Integer.new0(0);
        !           101:      ans[1] = this2[1]-b[1];
        !           102:      return(ans);
        !           103:    }
        !           104:   def operator mul(b) {
        !           105:      local this2, ans;
        !           106:      this2 = this;
        !           107:      ans = Integer.new0(0);
        !           108:      ans[1] = this2[1]*b[1];
        !           109:      return(ans);
        !           110:   }
        !           111:   def isEqual(b) {
        !           112:     local this2;
        !           113:     this2 = this;
        !           114:     if (this2[1] == b[1]) return(true);
        !           115:     else return(false);
        !           116:   }
        !           117:   def factorial() {
        !           118:     local this2,tmp;
        !           119:     this2 = this;
        !           120:     if (this.isEqual(one)) return( one );
        !           121:     tmp = this2 - one;
        !           122:     return( (tmp.factorial())* this2 );
        !           123:   }
        !           124: }
        !           125:
        !           126:
        !           127:
        !           128:
        !           129:
        !           130:
        !           131:
        !           132: