https://velo.wiki.ls2n.fr/ 2026-05-02T07:30:35+02:00 https://velo.wiki.ls2n.fr/ https://velo.wiki.ls2n.fr/lib/tpl/dokuwiki/images/favicon.ico text/html 2018-04-03T16:59:36+02:00 https://velo.wiki.ls2n.fr/doku.php?id=kmelia:types:adt&rev=1522767576&do=diff Abstract Data Types defined as types and functions rather than (grammar operators) setOf X generic type glossary entries wikipedia (Set_theory) wikipedia (Set) primitive functions Définies dans la lib par défaut voir /KmlLibs/DEFAULT/functions.txt #some functions are defined with synonym names #set theory and collection inspiration FUNCTION isEmpty : setOf LIKE ->Boolean . FUNCTION notEmpty : setOf LIKE ->Boolean . FUNCTION member : setOf LIKE;LIKE ->Boolean . FUNCTION notin : set… text/html 2018-04-03T16:59:36+02:00 https://velo.wiki.ls2n.fr/doku.php?id=kmelia:types:libraries&rev=1522767576&do=diff Kmelia Data Libraries A Kmelia library includes * type definitions (predefined abstract data types or user-defined) * functions definitions * constants TODO to implement A library is a directory that includes the above elements. A library can be included in the scope of a component type definition with the text/html 2018-04-03T16:59:36+02:00 https://velo.wiki.ls2n.fr/doku.php?id=kmelia:types:primitive&rev=1522767576&do=diff Primitive Types ANYTYPE primitive operators < : ANYTYPE;ANYTYPE -> Boolean . <> : ANYTYPE;ANYTYPE -> Boolean . = : ANYTYPE;ANYTYPE -> Boolean . > : ANYTYPE;ANYTYPE -> Boolean . <= : ANYTYPE;ANYTYPE -> Boolean . >= : ANYTYPE;ANYTYPE -> Boolean . text/html 2018-04-03T16:59:36+02:00 https://velo.wiki.ls2n.fr/doku.php?id=kmelia:types:start&rev=1522767576&do=diff Types and Fonctions in Kmelia Kmelia types can be predefined types or user-defined types. Predefined types can be primitive types or abstract data types. * primitive types are defined directly in the grammar together with their usual operators. * text/html 2018-04-03T16:59:36+02:00 https://velo.wiki.ls2n.fr/doku.php?id=kmelia:types:structured&rev=1522767576&do=diff 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