AbstractCompounds (prolobjectlink-jpi 1.2-SNAPSHOT API)

java.lang.Object
- io.github.prolobjectlink.prolog.AbstractTerm
- - io.github.prolobjectlink.prolog.AbstractCompounds

All Implemented Interfaces:: PrologElement, PrologTerm, Comparable<PrologTerm>

public abstract class AbstractCompounds
extends AbstractTerm
implements PrologTerm

Field Summary
- Fields inherited from class io.github.prolobjectlink.prolog.AbstractTerm
  provider, type

Constructor Summary

Constructors
Constructor and Description

AbstractCompounds(int type, PrologProvider provider)

Constructors
Constructor and Description
`AbstractCompounds(int type, PrologProvider provider)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`int`	`compareTo(PrologTerm term)`
`boolean`	`isAtom()` True if this term is an atom
`boolean`	`isAtomic()` True if this Term is a atomic term, false in other case
`boolean`	`isCompound()` True if this Term is a compound term, false in other case
`boolean`	`isDouble()` True if this Term is a double precision floating point number, false in other case
`boolean`	`isEvaluable()` Check if the current term is a compound term and have like functor an operator.
`boolean`	`isFalseType()` Check if the current term is a reference term and the referenced object is an instance of java false value.
`boolean`	`isFloat()` True if this Term is a single precision floating point number, false in other case
`boolean`	`isInteger()` True if this Term is an integer number, false in other case
`boolean`	`isLong()` True if this Term is a large integer number, false in other case
`boolean`	`isNil()` True if this Term is a nil term (null term for prolog), false in other case
`boolean`	`isNullType()` Check if the current term is a reference term and the referenced object is a java null value.
`boolean`	`isNumber()` True if this term is an number
`boolean`	`isObjectType()` Check if the current term is a reference term for some java object instance.
`boolean`	`isReference()` Check if the current term is a reference term for some java object instance or is a reference term and the referenced object is a java null value.
`boolean`	`isTrueType()` Check if the current term is a reference term and the referenced object is an instance of java true value.
`boolean`	`isVariable()` True if this Term is a variable, false in other case
`boolean`	`isVoidType()` Check if the current term is a reference term for java void type.
`boolean`	`unify(PrologTerm term)` Check that the current term unify with the given term.

Methods inherited from class io.github.prolobjectlink.prolog.AbstractTerm
cast, cast, cast, checkIndex, checkIndex, fromTerm, fromTermArray, getArgument, getIndicator, getLogger, getObject, getProvider, getTerm, getType, hasIndicator, isClass, isClause, isEntry, isField, isMap, isMixin, isParameter, isResult, isTerm, isVariableBound, isVariableNotBound, match, removeQuoted, toTerm, toTermArray

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface io.github.prolobjectlink.prolog.PrologTerm
cast, getArgument, getArguments, getArity, getFunctor, getIndicator, getObject, getProvider, getTerm, getType, hasIndicator, isClass, isEmptyList, isEntry, isField, isList, isMap, isMixin, isParameter, isResult, isStructure, isVariableBound, isVariableNotBound, match

Methods inherited from interface io.github.prolobjectlink.prolog.PrologElement
isClause, isTerm

- Constructor Detail
  - AbstractCompounds
```
public AbstractCompounds(int type,
                         PrologProvider provider)
```
- Method Detail
  - isAtom
```
public final boolean isAtom()
```
    Description copied from interface: PrologTerm
    
    True if this term is an atom
    
    Specified by:
    
    isAtom in interface PrologTerm
    
    Returns:
    
    whether this Term represents an atom, false in other case
  - isNumber
```
public final boolean isNumber()
```
    Description copied from interface: PrologTerm
    
    True if this term is an number
    
    Specified by:
    
    isNumber in interface PrologTerm
    
    Returns:
    
    whether this Term represents an number, false in other case
  - isFloat
```
public final boolean isFloat()
```
    Description copied from interface: PrologTerm
    
    True if this Term is a single precision floating point number, false in other case
    
    Specified by:
    
    isFloat in interface PrologTerm
    
    Returns:
    
    whether this Term represents a single precision floating point number, false in other case
  - isInteger
```
public final boolean isInteger()
```
    Description copied from interface: PrologTerm
    
    True if this Term is an integer number, false in other case
    
    Specified by:
    
    isInteger in interface PrologTerm
    
    Returns:
    
    whether this Term represents an integer number
  - isDouble
```
public final boolean isDouble()
```
    Description copied from interface: PrologTerm
    
    True if this Term is a double precision floating point number, false in other case
    
    Specified by:
    
    isDouble in interface PrologTerm
    
    Returns:
    
    whether this Term represents a double precision floating point number, false in other case
  - isLong
```
public final boolean isLong()
```
    Description copied from interface: PrologTerm
    
    True if this Term is a large integer number, false in other case
    
    Specified by:
    
    isLong in interface PrologTerm
    
    Returns:
    
    whether this Term represents a large integer number, false in other case
  - isVariable
```
public boolean isVariable()
```
    Description copied from interface: PrologTerm
    
    True if this Term is a variable, false in other case
    
    Specified by:
    
    isVariable in interface PrologTerm
    
    Returns:
    
    whether this Term is a variable
  - isNil
```
public final boolean isNil()
```
    Description copied from interface: PrologTerm
    
    True if this Term is a nil term (null term for prolog), false in other case
    
    Specified by:
    
    isNil in interface PrologTerm
    
    Returns:
    
    whether this Term is a nil term
  - isAtomic
```
public final boolean isAtomic()
```
    Description copied from interface: PrologTerm
    
    True if this Term is a atomic term, false in other case
    
    Specified by:
    
    isAtomic in interface PrologTerm
    
    Returns:
    
    whether this Term is a atomic term
  - isCompound
```
public final boolean isCompound()
```
    Description copied from interface: PrologTerm
    
    True if this Term is a compound term, false in other case
    
    Specified by:
    
    isCompound in interface PrologTerm
    
    Returns:
    
    whether this Term is a compound term
  - isEvaluable
```
public final boolean isEvaluable()
```
    Description copied from interface: PrologTerm
    
    Check if the current term is a compound term and have like functor an operator.
    
    Specified by:
    
    isEvaluable in interface PrologTerm
    
    Returns:
    
    true if current term have like functor an operator.
  - isTrueType
```
public final boolean isTrueType()
```
    Description copied from interface: PrologTerm
    
    Check if the current term is a reference term and the referenced object is an instance of java true value. Most formally check if the reference term is @(true) structure.
    
    Specified by:
    
    isTrueType in interface PrologTerm
    
    Returns:
    
    true if current term have like referenced object an instance of java true value.
  - isFalseType
```
public final boolean isFalseType()
```
    Description copied from interface: PrologTerm
    
    Check if the current term is a reference term and the referenced object is an instance of java false value. Most formally check if the reference term is @(false) structure.
    
    Specified by:
    
    isFalseType in interface PrologTerm
    
    Returns:
    
    true if current term have like referenced object an instance of java false value.
  - isNullType
```
public final boolean isNullType()
```
    Description copied from interface: PrologTerm
    
    Check if the current term is a reference term and the referenced object is a java null value. Most formally check if the reference term is @(null) structure.
    
    Specified by:
    
    isNullType in interface PrologTerm
    
    Returns:
    
    true if current term have like referenced object a java null value.
  - isVoidType
```
public final boolean isVoidType()
```
    Description copied from interface: PrologTerm
    
    Check if the current term is a reference term for java void type. Most formally check if the reference term is @(void) structure.
    
    Specified by:
    
    isVoidType in interface PrologTerm
    
    Returns:
    
    true if current term is a referenced to java void type.
  - isObjectType
```
public final boolean isObjectType()
```
    Description copied from interface: PrologTerm
    
    Check if the current term is a reference term for some java object instance. Most formally check if the reference term is an structure like @(J#00000000000000000425).
    
    Specified by:
    
    isObjectType in interface PrologTerm
    
    Returns:
    
    true if current term is a referenced for some java object instance.
  - isReference
```
public final boolean isReference()
```
    Description copied from interface: PrologTerm
    
    Check if the current term is a reference term for some java object instance or is a reference term and the referenced object is a java null value.
    
    Specified by:
    
    isReference in interface PrologTerm
    
    Returns:
    
    true if current term is a reference term for object instance or java null value.
  - compareTo
```
public final int compareTo(PrologTerm term)
```
    Specified by:
    
    compareTo in interface Comparable<PrologTerm>
  - unify
```
public final boolean unify(PrologTerm term)
```
    Description copied from interface: PrologTerm
    Check that the current term unify with the given term. Prolog unification algorithm is based on three principals rules:
    - If x and y are atomics constants then x and y unify only if they are same object.
    - If x is a variable and y is anything then they unify and x is instantiated to y. Conversely, if y is a variable then this is instantiated to x.
    - If x and y are structured terms then unify only if they match (equals funtor and arity) and all their correspondents arguments unify.
    Specified by:
    
    unify in interface PrologTerm
    
    Parameters:
    
    term - the term to unify with the current term
    
    Returns:
    
    true if the specified term unify whit the current term, false if not

Class AbstractCompounds

Field Summary

Fields inherited from class io.github.prolobjectlink.prolog.AbstractTerm

Constructor Summary

Method Summary

Methods inherited from class io.github.prolobjectlink.prolog.AbstractTerm

Methods inherited from class java.lang.Object

Methods inherited from interface io.github.prolobjectlink.prolog.PrologTerm

Methods inherited from interface io.github.prolobjectlink.prolog.PrologElement

Constructor Detail

AbstractCompounds

Method Detail

isAtom

isNumber

isFloat

isInteger

isDouble

isLong

isVariable

isNil

isAtomic

isCompound

isEvaluable

isTrueType

isFalseType

isNullType

isVoidType

isObjectType

isReference

compareTo

unify