Changeset 4195 for trunk/ProjectFortress/LibraryBuiltin
- Timestamp:
- 09/22/09 13:48:11 (2 months ago)
- Location:
- trunk/ProjectFortress/LibraryBuiltin
- Files:
-
- 2 modified
-
CompilerBuiltin.fsi (modified) (3 diffs)
-
CompilerBuiltin.fss (modified) (4 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fsi
r4174 r4195 25 25 26 26 trait String 27 asString(): String28 opr || (self, b:String):String27 getter asString(): String 28 opr || (self, b:String):String 29 29 opr juxtaposition(self, b:String): String 30 30 end … … 42 42 43 43 trait ZZ64 extends Number 44 asZZ32(): ZZ3244 getter asZZ32(): ZZ32 45 45 end 46 46 47 47 trait ZZ32 extends Number comprises { IntLiteral } 48 asZZ32(): ZZ3249 asString(): String48 getter asZZ32(): ZZ32 49 getter asString(): String 50 50 opr |self| : ZZ32 51 51 opr -(self): ZZ32 … … 66 66 67 67 trait RR64 extends Number comprises {FloatLiteral} 68 asString(): String68 getter asString(): String 69 69 opr |self| : RR64 70 70 opr -(self): RR64 -
trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fss
r4174 r4195 57 57 58 58 trait String 59 asString(): String = self59 getter asString(): String = self 60 60 opr ||(self, b:String): String = jConcatenate(self, b) 61 61 opr juxtaposition(self, b:String): String = jConcatenate(self, b) … … 66 66 67 67 println(s:String):() = jPrintln(s) 68 printlnZZ32(x:ZZ32):() = jPrintln(x.asString ())68 printlnZZ32(x:ZZ32):() = jPrintln(x.asString) 69 69 70 70 strToInt(s:String):ZZ32 = jParseInt(s) … … 74 74 75 75 trait ZZ64 extends Number 76 asZZ32(): ZZ32 = jLongToInt(self)76 getter asZZ32(): ZZ32 = jLongToInt(self) 77 77 end 78 78 79 79 trait ZZ32 extends Number comprises { IntLiteral } 80 asZZ32(): ZZ32 = self81 asString(): String = jIntToString(self)80 getter asZZ32(): ZZ32 = self 81 getter asString(): String = jIntToString(self) 82 82 opr |self| : ZZ32 = jIntAbs(self) 83 83 opr -(self): ZZ32 = jIntNeg(self) … … 98 98 99 99 trait RR64 extends Number comprises {FloatLiteral} 100 asString(): String = jDoubleToString(self)100 getter asString(): String = jDoubleToString(self) 101 101 opr |self| : RR64 = jDoubleAbs(self) 102 102 opr -(self): RR64 = jDoubleNeg(self)
