|
![]() |
General Information
Tutorials
Reference Manuals
Libraries
Translation Tasks
Tools
Administration
|
Tutorial on Type AnalysisProperties of Predefined Objects
In our language the type names Predef.specs[10]== $/Name/PreDefine.gnrc+referto=Ident:inst $/Name/PreDefId.gnrc+referto=(Predef.d):inst This macro is attached to a product file. The following description defines a key for each of the predefined identifiers: Predef.d[11]==
PreDefKey ("int", intKey)
PreDefKey ("real", realKey)
PreDefKey ("bool", boolKey)
PreDefKey ("void", voidKey)
PreDefKey ("true", trueKey)
PreDefKey ("false", falseKey)
This macro is attached to a product file.
As we are going to use the library module
Types are represented by PredefTypes.pdl[12]==
intType -> IsType = {1};
realType -> IsType = {1};
boolType -> IsType = {1};
voidType -> IsType = {1};
intKey -> Defer = {intType};
realKey -> Defer = {realType};
boolKey -> Defer = {boolType};
voidKey -> Defer = {voidType};
This macro is attached to a product file.
Typed objects, like variables,
have the property PredefConsts.pdl[13]==
trueKey -> TypeOf = {boolType};
falseKey-> TypeOf = {boolType};
This macro is attached to a product file.
Usually the properties
|