io.github.prolobjectlink.prolog.jpl

Class JplVariable

java.lang.Object

io.github.prolobjectlink.prolog.AbstractTerm

io.github.prolobjectlink.prolog.jpl.JplVariable

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 JplVariable
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 jpl.Term	value

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

provider, type

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	JplVariable(int type, io.github.prolobjectlink.prolog.PrologProvider provider)
protected	JplVariable(int type, io.github.prolobjectlink.prolog.PrologProvider provider, String name)
protected	JplVariable(int type, io.github.prolobjectlink.prolog.PrologProvider provider, jpl.Term var)
protected	JplVariable(io.github.prolobjectlink.prolog.PrologProvider provider)
protected	JplVariable(io.github.prolobjectlink.prolog.PrologProvider provider, String name)

Method Summary

Modifier and Type	Method and Description
int	compareTo(io.github.prolobjectlink.prolog.PrologTerm o)
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	isVoidType()
void	setName(String name)
String	toString()
boolean	unify(io.github.prolobjectlink.prolog.PrologTerm o)

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, isVariableBound, isVariableNotBound, 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

value

protected jpl.Term value

Constructor Detail

JplVariable

protected JplVariable(io.github.prolobjectlink.prolog.PrologProvider provider)

JplVariable

protected JplVariable(io.github.prolobjectlink.prolog.PrologProvider provider,
                      String name)

JplVariable

protected JplVariable(int type,
                      io.github.prolobjectlink.prolog.PrologProvider provider)

JplVariable

protected JplVariable(int type,
                      io.github.prolobjectlink.prolog.PrologProvider provider,
                      String name)

JplVariable

protected JplVariable(int type,
                      io.github.prolobjectlink.prolog.PrologProvider provider,
                      jpl.Term 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

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 final 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 final 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 final 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 o)

Specified by:

unify in interface io.github.prolobjectlink.prolog.PrologTerm

compareTo

public final int compareTo(io.github.prolobjectlink.prolog.PrologTerm o)

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