Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering
Each basic type (void, int, etc.) is represented by exactly one basicTypeT fact. Basic types are referenced via typeRefT(#id, #parent, #encl, #referencedType) facts (see code example below).
#id: id
the unique ID assigned to this basic type.
'name': void | boolean | byte | char | short | int | long | float | double
the name of the basic type that is represented by this fact.
int m() { ... }
methodT(#meth, ..., 'm', [], #typeref, [], ...). typeRefT(#typeref, #meth, #meth, #int). basicTypeT(#int, int).
ast_node_def('Java',basicTypeT,[ ast_arg(id, mult(1,1,no ), id, [basicTypeT]), ast_arg(kind, mult(1,1,no ), attr, [atom]) ]).