Table des matières

Primitive Types

ANYTYPE

primitive operators

  <  : ANYTYPE;ANYTYPE ->  Boolean .
  <>  : ANYTYPE;ANYTYPE ->  Boolean .
  =  : ANYTYPE;ANYTYPE ->  Boolean .
  >  : ANYTYPE;ANYTYPE ->  Boolean .
  <=  : ANYTYPE;ANYTYPE ->  Boolean .
  >=  : ANYTYPE;ANYTYPE ->  Boolean .

primitive functions







I/O defaults








primitive functions




#----------- I/O -----------
FUNCTION display : String -> Void .
FUNCTION write : String -> Void .
FUNCTION writeln : String -> Void .
FUNCTION readBoolean : Boolean -> Void .
FUNCTION readString : String -> Void .
FUNCTION readInt : Integer -> Void .
FUNCTION readChar : Char -> Void .






Messages defaults








primitive functions




#----------- Messages -----------
FUNCTION msg : ANYTYPE -> Void .
  # standard message primitive






Integer








primitive operators




  + : Integer;Integer -> Integer .
  - : Integer;Integer -> Integer .
  / : Integer;Integer -> Integer .
  * : Integer;Integer -> Integer .






primitive functions




FUNCTION anyInt : -> Integer .






Boolean








primitive operators




  &&,and  : Boolean;Boolean -> Boolean .
  ||,or  : Boolean;Boolean ->  Boolean .
  xor  : Boolean;Boolean ->  Boolean .
  implies  : Boolean;Boolean ->  Boolean .
  equiv  : Boolean;Boolean ->  Boolean .
  not,!,~  : Boolean ->  Boolean .






primitive functions










String








primitive operators










primitive functions










Char








primitive operators










primitive functions










Basic cast




  FUNCTION asString : String -> String .
  FUNCTION asString : Boolean -> String .
  FUNCTION asString : Integer -> String .
  FUNCTION asString : Char -> String .
  FUNCTION asString : setOf LIKE -> String .