SDA SE Wiki

Represents the cast expression.

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

#parent: id
ID of the parent node.

#encl: methodT, constructorT, classInitializerT, fieldT, annotationMemberT, annotationT
ID of the fact that represents the enclosing element.

#type: typeInst
the id of the reference to the target type

#expr: expression
ID of the expression of this cast expression.

void myFunction(){
	double i = 0;
	int j = 0;
	i = (double)j ;// corresponding code line to typeCastT
}

typeCastT(#id, #parent, #encl, #typeref, #expr).
typeRefT(#typeref, #id, #encl, ...).
assignT(#parent, ..., #encl, ..., #id).
methodT(#encl, ..., 'myFunction', [], ..., [], ...).
identT(#expr, #id, #encl, 'j', ...).

ast_node_type_spec(typeCastT,[
     ast_arg(id,     mult(1,1,no ), id,   [typeCastT]),
     ast_arg(parent, mult(1,1,no ), id,   [id]),
     ast_arg(encl,   mult(1,1,no ), id,   [methodT, constructorT, classInitializerT, classT, fieldT, annotationMemberT, packageT]),
     ast_arg(type,   mult(1,1,no ), id,   [type_inst]),
     ast_arg(expr,   mult(1,1,no ), id,   [expressionType])
]).