SDA SE Wiki

Represents a (qualified) class name in static method calls or static field access.

#id:
the unique ID assigned to this fact.

#parent: callT, getFieldT
ID of the static method call or field access performed on this type.

#encl: methodT, constructorT, classInitializerT, fieldT, classT, annotationMemberT
ID of the enclosing declaration.

#type: classT
The type on which the static field access or method invocation is performed.

   pckg.TypeName.staticMethodCall();

 packageT(#Package, 'pckg').
 classT(#Class, #Package, 'TypeName', [...]).
 ...
 callT(#Call, #Parent, #Encl, #Expr, staticMethodCall, [], #method).  // The static method call #Call 
 typeRefT(#Expr, #Call, #Encl, #Class).                               // is performed on #Class

ast_node_def('Java',typeRefT,[
     ast_arg(id,      mult(1,1,no ), id,  [typeRefT]),
     ast_arg(parent,  mult(1,1,no ), id,  [callT, getFieldT]), 
     ast_arg(encl,    mult(1,1,no ), id,  [methodT, constructorT, classInitializerT, fieldT, classT, annotationMemberT]), 
     ast_arg(type,    mult(1,1,no ), id,  [classT]) 
]).