SDA SE WikiSoftware 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])
]).