damp.ekeko.jdt.aststructure documentation
ast-project
(ast-project ?ast ?project)
Relation between an ASTNode ?ast and the IJavaProject
in which it resides.
ast|annotation-type
(ast|annotation-type ?ast ?type)
(ast|annotation-type ?key ?ast ?type)
Relation between an Annotation ?ast and the IType ?type it refers to.
ast|expression-type
(ast|expression-type ?key ?ast ?type)
(ast|expression-type ?ast ?type)
Relation between an Expression ?ast and its declared IType ?type.
Fails for primitive-valued expressions.
ast|expression-type|primitive
(ast|expression-type|primitive ?ast ?typestring)
(ast|expression-type|primitive ?key ?ast ?typestring)
Relation or primitive-valued Expression ?ast and a string ?typestring
corresponding to the keyword for their primitive type (e.g., int).
ast|fieldaccess-ast|referred
(ast|fieldaccess-ast|referred ?var ?dec)
Relation between a fieldaccess-like ASTNode (i.e., SimpleName, FieldAccess, QualifiedName)
and one of the ASTNodes it refers to lexically (i.e., SimpleName, VariableDeclarationFragment, FieldDeclaration).
ast|fieldaccess-ast|variabledeclaration
(ast|fieldaccess-ast|variabledeclaration ?var ?dec)
Relation between fieldaccess-like ASTNode (i.e., SimpleName, FieldAccess, QualifiedName)
and the VariableDeclaration(Fragment) it refers to lexically.
ast|importdeclaration-package
(ast|importdeclaration-package ?import ?package)
Relation between an import declaration ASTNode ?import
and the IPAckage it imports directly (for package
imports) or indirectly (for type imports and static
imports of a field or a method).
ast|localvariable-ast|referred
(ast|localvariable-ast|referred ?var ?dec)
Relation between a local variable ASTNode (i.e., SimpleName or QualifiedName used as an expression)
and one of the ASTNodes it refers to lexically (i.e., SimpleName or (Single)VariableDeclaration(Fragment), VariableDeclarationExpression, VariableDeclarationStatement).
ast|localvariable-ast|variabledeclaration
(ast|localvariable-ast|variabledeclaration ?var ?dec)
Relation between a local variable ASTNode (i.e., SimpleName or QualifiedName used as an expression)
and the (Single)VariableDeclaration it refers to lexically.
ast|type-type
(ast|type-type ?key ?ast ?type)
(ast|type-type ?ast ?type)
Relation between a type ASTNode ?ast, its keyword kind ?key, and the IType ?type it refers to.
See also:
ast|type-binding|type/3 which resolves a type ASTNode to an ITypeBinding.
methoddeclaration-methoddeclaration|overrides
(methoddeclaration-methoddeclaration|overrides ?m ?overrider)
Relation between a MethodDeclaration ?m and one of its overriding MethodDeclatations ?overrider.
methodinvocation-methoddeclaration
(methodinvocation-methoddeclaration ?i ?m)
Relation between a MethodInvocation ?i and one of the possible MethodDeclarations ?m it may call.
typedeclaration-name|qualified|string
(typedeclaration-name|qualified|string ?type-decl ?name)
Relation between a TypeDeclaration AST and its qualified name as a string.
typedeclaration-type
(typedeclaration-type ?ast ?type)
Relation between a TypeDeclaration ?ast and the IType ?type it refers to.
See also:
typedeclaration-binding|type/3 which resolves a type ASTNode to an ITypeBinding.
typedeclaration-typedeclaration|super
(typedeclaration-typedeclaration|super ?typedeclaration ?supertypedeclaration)
Relation between a TypeDeclaration AST and a TypeDeclaration that declares
one of its super types (if available from source).