implementsT(#class, #interface)

Represents the implementation of an interface by a class.

Arguments

#class: classT
ID of the class.

#interface: typeRefT, parameterizedTypeT
ID of a typeRefT or a parameterizedTypeT referencing an interface implemented by the class.

Sample Java Source

class HelloUniverse implements Hello {
	  ...	
}
public interface Hello {
          ...
}

Its PEF Representation

classT(#id,_,'HelloUniverse',_).
implementsT(#id, #TypeRef).
typeRefT(#TypeRef, #id, #id, #interface).
classT(#interface,_,'Hello',_).

AST Specification

ast_relation('Java',implementsT,[
     ast_arg(sub,   mult(1,1,no ), id,   [classT]),
     ast_arg(super, mult(1,1,no ), id,   [typeRefT, parameterizedTypeT])
]).
Last modified: 2014/04/23 13:39
 
*