![]() |
![]() |
![]() |
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
|