damp.ekeko.jdt.structure documentation

Relations reifiying the structural relations of the JDT Model.

classfile

(classfile ?c)
Relation of IClassFile instances ?c.
Source

classfile-type

(classfile-type ?c ?t)
Relation between an IClassFile ?c and the IType ?t it declares.
Source

compilationunit

(compilationunit ?c)
Relation of ICompilationUnit instances ?c
Source

compilationunit-type

(compilationunit-type ?c ?t)
Relation between an ICompilationUnit ?c and one of the top-level IType instances ?t it declares.
Source

element

(element ?key ?element)
Relation of IJavaElement instances ?element and the keyword ?key representing their kind.
Source

field

(field ?f)
Relation of IField instances.

See also: 
field-from-source/1 and field-from-binary/1.
Source

field|binary

(field|binary ?f)
Relation of IField instances declared in a binary type.
Source

field|source

(field|source ?f)
Relation of IField instances declared in a source type.
Source

method

(method ?m)
Relation of IMethod instances.

See also: 
method-from-source/1 and method-from-binary/1.
Source

method-typeparameters

(method-typeparameters ?m ?ps)
Relation between an IMethod ?m and its formal type parameters ITypeParameter[] ?ps.
Source

method|binary

(method|binary ?m)
Relation of IMethod instances declared in a binary type.
Source

method|source

(method|source ?m)
Relation of IMethod instances declared in a source type.

Note that (ast :MethodDeclaration ?m) is much more efficient
and corresponds to the relation of method ASTs.
Source

packagefragment

(packagefragment ?f)
Relation of IPackageFragment instances.
Source

packagefragment-classfile

(packagefragment-classfile ?f ?c)
Relation between an IPackageFragment ?f and one of its IClassFile instances ?c.
Source

packagefragment-compilationunit

(packagefragment-compilationunit ?f ?c)
Relation between an IPackageFragment ?f and one of its ICompilationUnit instances ?c.
Source

packagefragment-name|string

(packagefragment-name|string ?f ?n)
Relation between an IPackageFragment ?f and its name String ?n.
Source

packagefragment|root

(packagefragment|root ?r)
Relation of IPackageFragmentRoot instances ?r.
Source

packagefragment|root-packagefragment

(packagefragment|root-packagefragment ?r ?f)
Relation between a IPackageFragmentRoot ?r and one of its IPckageFragment instances ?p.
Source

packagefragment|root|binary

(packagefragment|root|binary ?r)
Relation of IPackageFragmentRoot instances ?r that originate from byte code.
Source

packagefragment|root|source

(packagefragment|root|source ?r)
Relation of IPackageFragmentRoot instances ?r that originate from source code.
Source

type

(type ?t)
Relation of IType instances ?t.
Source

type-field

(type-field ?t ?f)
Relation between IType ?t and one if its declared IField instances ?f.
Source

type-initializer

(type-initializer ?t ?i)
Relation between an IType ?t and one of its IInitializer initializers ?i.

Note that their are none for binary types.
Source

type-membertype

(type-membertype ?t ?mt)
Relation of IType ?t and one of its immediate member types ?mt.
Source

type-method

(type-method ?t ?m)
Relation between IType ?t and one if its declared IMethod instances ?m.
Source

type-name|qualified|string

(type-name|qualified|string ?t ?n)
Relation of IType ?t and its fully qualified name String ?n.
Source

type-name|simple|string

(type-name|simple|string ?t ?n)
Relation of IType ?t and its simple name String ?n.
Source

type-typeparameters

(type-typeparameters ?t ?ps)
Relation between an IType ?t and its formal type parameters ITypeParameter[] ?ps.
Source

type-type|sub+

(type-type|sub+ ?itype ?sub-itype)
Successively unifies ?sub-itype with every 
subtype of the given IType ?itype. 

Note that the JDT does not consider java.lang.Object
to be a supertype of any interface type.
Source

type-type|super+

(type-type|super+ ?itype ?super-itype)
Successively unifies ?super-itype with every 
supertype of the given IType ?itype, in bottom-up order. 

Note that the JDT does not consider java.lang.Object
to be a supertype of any interface type.
Source

type|annotation

(type|annotation ?t)
Relation of IType instances ?t that represent an annotation type.
Source

type|anonymous

(type|anonymous ?t)
Relation of IType instances ?t that represent an anonymous type.
Source

type|binary

(type|binary ?t)
Relation of IType instances ?t that originate from a binary file.
Source

type|class

(type|class ?t)
Relation of IType instances ?t that represent a class.
Source

type|enum

(type|enum ?t)
Relation of IType instances ?t that represent an enumeration class.
Source

type|interface

(type|interface ?t)
Relation of IType instances ?t that represent an interface.
Source

type|local

(type|local ?t)
Relation of IType instances ?t that represent a local type.
Source

type|member

(type|member ?t)
Relation of IType instances ?t that represent a member type.
Source

type|resolved

(type|resolved ?t)
Relation of IType instances ?t that represent a resolved type.
Source

type|source

(type|source ?t)
Relation of IType instances ?t that originate from a source file.
Source