SDA SE Wiki

Represents the program element (method, catch clause, foreach loop) parametrized by this parameter declaration.

Renamed in JT 2.8: Up to 2.8.0 it was defined as paramDefT.

#id: id
the unique ID assigned to this fact.

#parent: methodT , constructorT , catchT , foreachT
ID of the enclosing PEF

#type: Type reference
the id of the type of the parameter

'name': atom
the name of the parameter.

class HelloWorld  { 
  public static void main(String[] args){   //String [] args is the corresponding code part to paramT
    ...
  }
}

methodT(#method, ..., 'main', [#param], #returnType, [], ...).
paramT(#param, #method, #paramType, 'args').

ast_node_def('Java',paramT,[
     ast_arg(id,      mult(1,1,no ),  id,  [paramT]), % <-- convention!!!
     ast_arg(parent,  mult(1,1,no ),  id,  [methodT, constructorT, catchT,foreachT]), 
     ast_arg(type,    mult(1,1,no ),  id,  [typeInst]), 
     ast_arg(name,    mult(1,1,no ),  attr,[atom])
]).