damp.ekeko.jdt.bindings documentation

Mostly non-relational predicates for reasoning about Eclipse JDT IBinding instances.
Not meant to be used by end-users.

binding-element

(binding-element ?ibinding ?ijavaelement)
Non-relational. Unifies ?ijavaelement with the IJavaElement
 corresponding to the IBinding ?ibinding, if there is one.
 Not intended for use by end-users.


Among others, fails for ITypeBindings for primitive types. 


See also:
Binary predicate element-binding/2
Source

element-binding

(element-binding ?ijavaelement ?ibinding)
Non-relational. Unifies ?ibinding with the IBinding 
 corresponding to the IJavaElement ?ijavaelement, if there is one.
 Not intended for use by end-users.

See also:
Binary predicate binding-element/2
Source

is-binding-annotation?

(is-binding-annotation? ?binding)
Non-relational. Verifies that ?binding is an IAnnotationBinding.
Source

is-binding-member-value-pair?

(is-binding-member-value-pair? ?binding)
Non-relational. Verifies that ?binding is an IMemerValuePairBinding.
Source

is-binding-method?

(is-binding-method? ?binding)
Non-relational. Verifies that ?binding is an IMethodBinding.
Source

is-binding-package?

(is-binding-package? ?binding)
Non-relational. Verifies that ?binding is an IPackageBinding.
Source

is-binding-type?

(is-binding-type? ?binding)
Non-relational. Verifies that ?binding is a ITypeBinding.
Source

is-binding-variable-field?

(is-binding-variable-field? ?binding)
Non-relational. Verifies that ?binding is an IVariableBinding for a field.
Source

is-binding-variable?

(is-binding-variable? ?binding)
Non-relational. Verifies that ?binding is an IVariableBinding.
Source

is-methodbinding-from-binary?

(is-methodbinding-from-binary? ?binding)
Non-relational. Verifies whether IMethodBinding ?binding
originates from a binary file.
Source

is-methodbinding-from-source?

(is-methodbinding-from-source? ?binding)
Non-relational. Verifies whether IMethodBinding ?binding 
originates from a source file.
Source

is-typebinding-from-binary?

(is-typebinding-from-binary? ?binding)
Non-relational. Verifies that ITypeBinding ?binding originates 
from a binary file.
Source

is-typebinding-from-source?

(is-typebinding-from-source? ?binding)
Non-relational. Verifies that ITypeBinding ?binding originates 
from a source file.
Source

is-typebinding-primitive?

(is-typebinding-primitive? ?binding)
Non-relational. Verifies that ITypeBinding ?binding represents 
a primitive type.
Source

is-typebinding-reference?

(is-typebinding-reference? ?binding)
Non-relational. Verifies that ITypeBinding ?binding represents
a reference type.
Source

methodbinding-packagebinding

(methodbinding-packagebinding ?mbinding ?pbinding)
Non-relational. Unifies ?pbinding with the IPackageBinding in
which IMethodBinding ?mbinding is declared.
Source

methodbinding-signature

(methodbinding-signature ?binding ?sig)
Non-relational. Unifies ?sig with the signature string
of IMethodBinding ?binding.
Source

methodbinding-typebinding|declaring

(methodbinding-typebinding|declaring ?mbinding ?tbinding)
Non-relational. Unifies ?tbinding with the ITypeBinding that
declares IMethodBinding ?mbinding.
Source

packagebinding-qualifiedname

(packagebinding-qualifiedname ?bindingp ?name)
Non-relational. Unifies ?name with the name of IPackageBinding ?bindingp.
Source

typebinding-erasurebinding

(typebinding-erasurebinding ?tbinding ?erasedtbinding)
Non-relational. Unifies ?erasedtbinding with the erasure of
ITypeBinding ?tbinding.
Source

typebinding-javaelement

(typebinding-javaelement ?tbinding ?itype)
Non-relational. Unifies ?itype with the IType (a Java model element)
corresponding to this ITypeBinding ?tbinding.
Nil for top-level types.
Source

typebinding-methodbinding|declaring

(typebinding-methodbinding|declaring ?tbinding ?declaringb)
Non-relational. Unifies ?declaringb with the IMethodBinding that
declares ITypeBinding ?tbinding.
Nil for top-level types.
Source

typebinding-packagebinding

(typebinding-packagebinding ?bindingt ?bindingp)
Non-relational. Unifies ?bindingp with the IPackageBinding 
that declares ITypeBinding ?bindingt.
Source

typebinding-qualifiedname

(typebinding-qualifiedname ?binding ?name)
Non-relational. Unifies ?name with the fully qualified
name of ITypeBinding ?binding.
Source

typebinding-simplename

(typebinding-simplename ?binding ?name)
Non-relational. Unifies ?name with the unqualified name 
of ITypeBinding ?binding.
Source

typebinding-typebinding|declaring

(typebinding-typebinding|declaring ?tbinding ?declaringb)
Non-relational. Unifies ?declaringb with the ITypeBinding that 
declares ITypeBinding ?tbinding.
Nil for top-level types.
Source

typebinding-typebinding|interface

(typebinding-typebinding|interface ?tbinding ?interfacetbinding)
Non-relational. Unifies ?interfacetbinding with one of the 
interface ITypeBindings implemented by ITypeBinding ?tbinding.
Source

typebinding-typebinding|super

(typebinding-typebinding|super ?tbinding ?supertbinding)
Non-relational. Unifies ?supertbinding with the super type 
of ITypeBinding ?tbinding.
Source

variablebinding|field-signature

(variablebinding|field-signature ?fvbinding ?sig)
Non-relational. Unifies ?sig with the signature string of
field IVariableBinding ?fvbinding.
Source

variablebinding|field-typebinding|declaring

(variablebinding|field-typebinding|declaring ?fvbinding ?tbinding)
Non-relational. Unifies ?tbinding with the ITypeBinding that 
declares field IVariableBinding ?fvbinding.
Source