SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


basicTypeT(#id, 'name')

Each basic type (void, int, etc.) is represented by exactly one basicTypeT fact.

Arguments

#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.

Sample Java Source

int m() {                                                             
    ...
}

Its PEF Representation

methodT(#meth, ..., 'm', [], #int, [], ...).   
basicTypeT(#int, int).

AST Specification

ast_node_def('Java',basicTypeT,[
    ast_arg(id,   mult(1,1,no ), id,   [basicTypeT]),
    ast_arg(kind, mult(1,1,no ), attr, [atom])
]).

research/jtransformer/api/java/pefs/4.2/basictypet.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2023