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 .