Outils pour utilisateurs

Outils du site


kmelia:types:structured

Structured Types

struct

primitive operators



primitive functions



array

primitive operators



primitive functions

#FUNCTION initArray : array[1..??] of LIKE ; LIKE -> array[1..??] of LIKE .
  #possible only in the grammar
#FUNCTION arrayAsSet : array[1..MaxInt] -> setOf Integer .
  #possible only if there are global constants

range

primitive operators



primitive functions

FUNCTION indexAsSet : array[1..100] of Integer -> setOf Integer .

enum

primitive operators



primitive functions



kmelia/types/structured.txt · Dernière modification: 2018/04/03 16:59 (modification externe)