Constructors are used for datatype sorts. More...
Properties | |
uint | NumFields [get] |
The number of fields of the constructor. | |
FuncDecl | ConstructorDecl [get] |
The function declaration of the constructor. | |
FuncDecl | TesterDecl [get] |
The function declaration of the tester. | |
FuncDecl[] | AccessorDecls [get] |
The function declarations of the accessors. |
Constructors are used for datatype sorts.
Definition at line 29 of file Constructor.cs.
FuncDecl [] AccessorDecls [get] |
The function declarations of the accessors.
Definition at line 78 of file Constructor.cs.
FuncDecl ConstructorDecl [get] |
The function declaration of the constructor.
Definition at line 46 of file Constructor.cs.
uint NumFields [get] |
The number of fields of the constructor.
Definition at line 35 of file Constructor.cs.
FuncDecl TesterDecl [get] |
The function declaration of the tester.
Definition at line 62 of file Constructor.cs.