LisaacTM Platform

ENUM



HOWTO =====
Section Header
+ name := Expanded MY_ENUM;
- import := INTEGER; - export := INTEGER;
- type := `int`;
Section Insert
- parent_enum :Expanded ENUM;
Section Public
- val1 :MY_ENUM := create; - val2 :MY_ENUM := create; ...
Inherit/Insert Summary
parent_integer No developed.
 
Constructor Summary
create
create_before
create_after
create_code
 
Slot Summary
min
Minimum between value of Self and other
max
Maximum between value of Self and other
is_valid
from_integer
to_integer
 

Inherit/Insert Detail

parent_integer

.../extra/base/enum.li line #33

Section:
Insert

Profile:
- SelfSELFparent_integer : INTEGER

Constructor Detail

create

.../extra/base/enum.li line #40

Section:
SELF

Profile:
- SelfSELFcreate : SELF

create_before

.../extra/base/enum.li line #42

Section:
SELF

Profile:
- SelfSELFcreate_before : SELF

create_after

.../extra/base/enum.li line #48

Section:
SELF

Profile:
- SelfSELFcreate_after : SELF

create_code

.../extra/base/enum.li line #54

Section:
SELF

Profile:
- SelfSELFcreate_code   i : INTEGERSELF

Detail slot

min

.../extra/base/enum.li line #37

Section:
SELF

Profile:
+ SelfSELFmin : INTEGER

Description:
Minimum between value of Self and other

max

.../extra/base/enum.li line #38

Section:
SELF

Profile:
+ SelfSELFmax : INTEGER

Description:
Maximum between value of Self and other

is_valid

.../extra/base/enum.li line #66

Section:
SELF

Profile:
- SelfSELFis_valid   i : INTEGERBOOLEAN

from_integer

.../extra/base/enum.li line #68

Section:
SELF

Profile:
- SelfSELFfrom_integer   i : INTEGERSELF

to_integer

.../extra/base/enum.li line #74

Section:
SELF

Profile:
- SelfSELFto_integer : INTEGER