JLogReference (prolobjectlink-jpi-jlog 1.2-SNAPSHOT API)

java.lang.Object
- io.github.prolobjectlink.prolog.AbstractTerm
- - io.github.prolobjectlink.prolog.jlog.JLogReference

All Implemented Interfaces:

io.github.prolobjectlink.prolog.PrologElement, io.github.prolobjectlink.prolog.PrologReference, io.github.prolobjectlink.prolog.PrologTerm, Comparable<io.github.prolobjectlink.prolog.PrologTerm>
```
public class JLogReference
extends io.github.prolobjectlink.prolog.AbstractTerm
implements io.github.prolobjectlink.prolog.PrologReference
```

Field Summary

Fields
Modifier and Type Field and Description

protected ubc.cs.JLog.Terms.jTerm value

protected static int vIdexer

protected int vIndex
- Fields inherited from class io.github.prolobjectlink.prolog.AbstractTerm
  provider, type

Fields
Modifier and Type	Field and Description
`protected ubc.cs.JLog.Terms.jTerm`	`value`
`protected static int`	`vIdexer`
`protected int`	`vIndex`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`protected ubc.cs.JLog.Terms.jCompoundTerm`	`adaptCompound(io.github.prolobjectlink.prolog.PrologTerm[] arguments)`
`protected ubc.cs.JLog.Terms.jList`	`adaptList(io.github.prolobjectlink.prolog.PrologTerm[] arguments)`
`int`	`compareTo(io.github.prolobjectlink.prolog.PrologTerm term)`
`boolean`	`equals(Object obj)`
`io.github.prolobjectlink.prolog.PrologTerm[]`	`getArguments()`
`int`	`getArity()`
`String`	`getFunctor()`
`Object`	`getObject()`
`Class<?>`	`getReferenceType()`
`io.github.prolobjectlink.prolog.PrologTerm`	`getTerm()`
`int`	`hashCode()`
`boolean`	`isAtom()`
`boolean`	`isAtomic()`
`boolean`	`isCompound()`
`boolean`	`isDouble()`
`boolean`	`isEmptyList()`
`boolean`	`isEvaluable()`
`boolean`	`isFalseType()`
`boolean`	`isFloat()`
`boolean`	`isInteger()`
`boolean`	`isList()`
`boolean`	`isLong()`
`boolean`	`isNil()`
`boolean`	`isNullType()`
`boolean`	`isNumber()`
`boolean`	`isObjectType()`
`boolean`	`isReference()`
`boolean`	`isStructure()`
`boolean`	`isTrueType()`
`boolean`	`isVariable()`
`boolean`	`isVariableBound()` Check if Variable and bound.
`boolean`	`isVariableNotBound()` Check if current variable is not bound.
`boolean`	`isVoidType()`
`String`	`toString()`
`boolean`	`unify(io.github.prolobjectlink.prolog.PrologTerm term)`

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

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

Methods inherited from interface io.github.prolobjectlink.prolog.PrologTerm
cast, getArgument, getIndicator, getProvider, getType, hasIndicator, isAtom, isAtomic, isClass, isCompound, isDouble, isEmptyList, isEntry, isEvaluable, isFalseType, isField, isFloat, isInteger, isList, isLong, isMap, isMixin, isNil, isNullType, isNumber, isObjectType, isParameter, isReference, isResult, isStructure, isTrueType, isVariable, isVariableBound, isVariableNotBound, isVoidType, match, unify

Methods inherited from interface java.lang.Comparable
compareTo

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

- Field Detail
  - vIndex
```
protected int vIndex
```
  - value
```
protected ubc.cs.JLog.Terms.jTerm value
```
  - vIdexer
```
protected static int vIdexer
```
- Method Detail
  - getReferenceType
```
public Class<?> getReferenceType()
```
    Specified by:
    
    getReferenceType in interface io.github.prolobjectlink.prolog.PrologReference
  - getArity
```
public int getArity()
```
    Specified by:
    
    getArity in interface io.github.prolobjectlink.prolog.PrologTerm
  - getFunctor
```
public String getFunctor()
```
    Specified by:
    
    getFunctor in interface io.github.prolobjectlink.prolog.PrologTerm
  - getArguments
```
public io.github.prolobjectlink.prolog.PrologTerm[] getArguments()
```
    Specified by:
    
    getArguments in interface io.github.prolobjectlink.prolog.PrologTerm
  - getObject
```
public Object getObject()
```
    Specified by:
    
    getObject in interface io.github.prolobjectlink.prolog.PrologTerm
    
    Overrides:
    
    getObject in class io.github.prolobjectlink.prolog.AbstractTerm
  - getTerm
```
public io.github.prolobjectlink.prolog.PrologTerm getTerm()
```
    Specified by:
    
    getTerm in interface io.github.prolobjectlink.prolog.PrologTerm
  - adaptList
```
protected final ubc.cs.JLog.Terms.jList adaptList(io.github.prolobjectlink.prolog.PrologTerm[] arguments)
```
  - adaptCompound
```
protected final ubc.cs.JLog.Terms.jCompoundTerm adaptCompound(io.github.prolobjectlink.prolog.PrologTerm[] arguments)
```
  - isAtom
```
public final boolean isAtom()
```
    Specified by:
    
    isAtom in interface io.github.prolobjectlink.prolog.PrologTerm
  - isNumber
```
public final boolean isNumber()
```
    Specified by:
    
    isNumber in interface io.github.prolobjectlink.prolog.PrologTerm
  - isFloat
```
public final boolean isFloat()
```
    Specified by:
    
    isFloat in interface io.github.prolobjectlink.prolog.PrologTerm
  - isDouble
```
public final boolean isDouble()
```
    Specified by:
    
    isDouble in interface io.github.prolobjectlink.prolog.PrologTerm
  - isInteger
```
public final boolean isInteger()
```
    Specified by:
    
    isInteger in interface io.github.prolobjectlink.prolog.PrologTerm
  - isLong
```
public final boolean isLong()
```
    Specified by:
    
    isLong in interface io.github.prolobjectlink.prolog.PrologTerm
  - isVariable
```
public final boolean isVariable()
```
    Specified by:
    
    isVariable in interface io.github.prolobjectlink.prolog.PrologTerm
  - isList
```
public final boolean isList()
```
    Specified by:
    
    isList in interface io.github.prolobjectlink.prolog.PrologTerm
  - isStructure
```
public final boolean isStructure()
```
    Specified by:
    
    isStructure in interface io.github.prolobjectlink.prolog.PrologTerm
  - isNil
```
public final boolean isNil()
```
    Specified by:
    
    isNil in interface io.github.prolobjectlink.prolog.PrologTerm
  - isEmptyList
```
public final boolean isEmptyList()
```
    Specified by:
    
    isEmptyList in interface io.github.prolobjectlink.prolog.PrologTerm
  - isEvaluable
```
public boolean isEvaluable()
```
    Specified by:
    
    isEvaluable in interface io.github.prolobjectlink.prolog.PrologTerm
  - isAtomic
```
public final boolean isAtomic()
```
    Specified by:
    
    isAtomic in interface io.github.prolobjectlink.prolog.PrologTerm
  - isCompound
```
public boolean isCompound()
```
    Specified by:
    
    isCompound in interface io.github.prolobjectlink.prolog.PrologTerm
  - isTrueType
```
public final boolean isTrueType()
```
    Specified by:
    
    isTrueType in interface io.github.prolobjectlink.prolog.PrologTerm
  - isFalseType
```
public final boolean isFalseType()
```
    Specified by:
    
    isFalseType in interface io.github.prolobjectlink.prolog.PrologTerm
  - isNullType
```
public final boolean isNullType()
```
    Specified by:
    
    isNullType in interface io.github.prolobjectlink.prolog.PrologTerm
  - isVoidType
```
public final boolean isVoidType()
```
    Specified by:
    
    isVoidType in interface io.github.prolobjectlink.prolog.PrologTerm
  - isObjectType
```
public final boolean isObjectType()
```
    Specified by:
    
    isObjectType in interface io.github.prolobjectlink.prolog.PrologTerm
  - isReference
```
public final boolean isReference()
```
    Specified by:
    
    isReference in interface io.github.prolobjectlink.prolog.PrologTerm
  - unify
```
public final boolean unify(io.github.prolobjectlink.prolog.PrologTerm term)
```
    Specified by:
    
    unify in interface io.github.prolobjectlink.prolog.PrologTerm
  - isVariableBound
```
public final boolean isVariableBound()
```
    Check if Variable and bound. A variable bound is synonym of not free variable because this variable have instance value.
    
    Specified by:
    
    isVariableBound in interface io.github.prolobjectlink.prolog.PrologTerm
    
    Overrides:
    
    isVariableBound in class io.github.prolobjectlink.prolog.AbstractTerm
    
    Returns:
    
    true if Variable and bound.
  - isVariableNotBound
```
public final boolean isVariableNotBound()
```
    Check if current variable is not bound. A variable not bound is synonym of free variable because this variable don't have instance value.
    
    Specified by:
    
    isVariableNotBound in interface io.github.prolobjectlink.prolog.PrologTerm
    
    Overrides:
    
    isVariableNotBound in class io.github.prolobjectlink.prolog.AbstractTerm
    
    Returns:
    
    true if Variable and not bound.
  - compareTo
```
public final int compareTo(io.github.prolobjectlink.prolog.PrologTerm term)
```
    Specified by:
    
    compareTo in interface Comparable<io.github.prolobjectlink.prolog.PrologTerm>
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - equals
```
public boolean equals(Object obj)
```
    Overrides:
    
    equals in class Object
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object

Class JLogReference

Field Summary

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

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 java.lang.Comparable

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

Field Detail

vIndex

value

vIdexer

Method Detail

getReferenceType

getArity

getFunctor

getArguments

getObject

getTerm

adaptList

adaptCompound

isAtom

isNumber

isFloat

isDouble

isInteger

isLong

isVariable

isList

isStructure

isNil

isEmptyList

isEvaluable

isAtomic

isCompound

isTrueType

isFalseType

isNullType

isVoidType

isObjectType

isReference

unify

isVariableBound

isVariableNotBound

compareTo

hashCode

equals

toString