SDA SE Wiki

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

#id:
the unique ID assigned to this fact.

#parent: ( methodDefT , catchT , foreachT )
ID of the enclosing PEF

TYPE:
is a valid typeTermType.

'name':
the name of the parameter.

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

paramDefT(#id, #parent, type(class, ..., 1), 'args').
methodDefT(#parent, ..., 'main', [#id], type(basic, void, 0), [], ...).

ast_node_def('Java',paramDefT,[
     ast_arg(id,      mult(1,1,no ),  id,  [paramDefT]), % <-- convention!!!
     ast_arg(parent,  mult(1,1,no ),  id,  [methodDefT,catchT,foreachT]), 
     ast_arg(type,    mult(1,1,no ),  attr,[typeTermType]), 
     ast_arg(name,    mult(1,1,no ),  attr,[atom])
% The following pseudo-components are now in ast_relation(Java, Reltype, Defs):  
%     ast_arg(hasModif,mult(0,*,no ),  attr,[atom])     
]).