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

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

All Implemented Interfaces:

io.github.prolobjectlink.prolog.PrologElement, io.github.prolobjectlink.prolog.PrologTerm, io.github.prolobjectlink.prolog.PrologVariable, Comparable<io.github.prolobjectlink.prolog.PrologTerm>
```
public class JLogVariable
extends io.github.prolobjectlink.prolog.AbstractTerm
implements io.github.prolobjectlink.prolog.PrologVariable
```
Since:

1.0

Author:

Jose Zalacain

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`

Constructor Summary

Constructors
Modifier	Constructor and Description
`protected`	`JLogVariable(int type, io.github.prolobjectlink.prolog.PrologProvider provider)`
`protected`	`JLogVariable(int type, io.github.prolobjectlink.prolog.PrologProvider provider, ubc.cs.JLog.Terms.jTerm var)`
`protected`	`JLogVariable(int type, io.github.prolobjectlink.prolog.PrologProvider provider, String name)`
`protected`	`JLogVariable(io.github.prolobjectlink.prolog.PrologProvider provider)`
`protected`	`JLogVariable(io.github.prolobjectlink.prolog.PrologProvider provider, String name)`

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()`
`String`	`getName()`
`int`	`getPosition()`
`io.github.prolobjectlink.prolog.PrologTerm`	`getTerm()`
`int`	`hashCode()`
`boolean`	`isAnonymous()`
`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()`
`void`	`setName(String name)`
`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, getObject, 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, getObject, getProvider, getTerm, 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
```
- Constructor Detail
  - JLogVariable
```
protected JLogVariable(io.github.prolobjectlink.prolog.PrologProvider provider)
```
  - JLogVariable
```
protected JLogVariable(io.github.prolobjectlink.prolog.PrologProvider provider,
                       String name)
```
  - JLogVariable
```
protected JLogVariable(int type,
                       io.github.prolobjectlink.prolog.PrologProvider provider)
```
  - JLogVariable
```
protected JLogVariable(int type,
                       io.github.prolobjectlink.prolog.PrologProvider provider,
                       String name)
```
  - JLogVariable
```
protected JLogVariable(int type,
                       io.github.prolobjectlink.prolog.PrologProvider provider,
                       ubc.cs.JLog.Terms.jTerm var)
```
- Method Detail
  - isAnonymous
```
public boolean isAnonymous()
```
    Specified by:
    
    isAnonymous in interface io.github.prolobjectlink.prolog.PrologVariable
  - getName
```
public String getName()
```
    Specified by:
    
    getName in interface io.github.prolobjectlink.prolog.PrologVariable
  - setName
```
public void setName(String name)
```
    Specified by:
    
    setName in interface io.github.prolobjectlink.prolog.PrologVariable
  - getArguments
```
public io.github.prolobjectlink.prolog.PrologTerm[] getArguments()
```
    Specified by:
    
    getArguments in interface io.github.prolobjectlink.prolog.PrologTerm
  - 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
  - getPosition
```
public int getPosition()
```
    Specified by:
    
    getPosition in interface io.github.prolobjectlink.prolog.PrologVariable
  - 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
  - getTerm
```
public io.github.prolobjectlink.prolog.PrologTerm getTerm()
```
    Specified by:
    
    getTerm in interface io.github.prolobjectlink.prolog.PrologTerm
    
    Overrides:
    
    getTerm in class io.github.prolobjectlink.prolog.AbstractTerm
  - 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 JLogVariable

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

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

Field Detail

vIndex

value

vIdexer

Constructor Detail

JLogVariable

JLogVariable

JLogVariable

JLogVariable

JLogVariable

Method Detail

isAnonymous

getName

setName

getArguments

getArity

getFunctor

getPosition

adaptList

adaptCompound

isAtom

isNumber

isFloat

isDouble

isInteger

isLong

isVariable

isList

isStructure

isNil

isEmptyList

isEvaluable

isAtomic

isCompound

isTrueType

isFalseType

isNullType

isVoidType

isObjectType

isReference

getTerm

unify

isVariableBound

isVariableNotBound

compareTo

hashCode

equals

toString