SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools



implementsT(#id, #parent, #super)

Represents the implementation of an interface by a class.

Arguments

#id:id
The unique id of this fact.

#parent: classT
ID of the class.

#super: classT, parameterizedTypeT
ID of a classT 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(#Implements, #id, #interface).
classT(#interface,_,'Hello',[],_).

AST Specification

ast_node_type_spec(implementsT,[
     ast_arg(id,    mult(1,1,no ), id,   [implementsT]),
     ast_arg(parent,mult(1,1,no ), id,   [classT]),
     ast_arg(super, mult(1,1,no ), id,   [classT, parameterizedTypeT]) 
]).
research/jtransformer/api/java/pefs/4.2/implementst.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019