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.
#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', [], #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]) ]).