org.jpc.term

Class NumberTerm

java.lang.Object

org.jpc.term.Term

org.jpc.term.NumberTerm

Direct Known Subclasses:

FloatTerm, IntegerTerm

public abstract class NumberTerm
extends Term

Field Summary

Fields

Modifier and Type	Field and Description
protected Number	value The number term immutable value

Method Summary

Modifier and Type	Method and Description
double	doubleValue()
boolean	equals(Object obj)
float	floatValue()
Number	getValue()
boolean	hasFunctor(Functor functor) Whether this term has a given functor.
int	hashCode()
int	intValue()
boolean	isGround()
long	longValue()
Term	preCompile(Environment env)
Term	prepareForFrame(Environment env)
Term	prepareForQuery(Environment env)
String	toEscapedString()
String	toString(OperatorsContext operatorsContext)

Methods inherited from class org.jpc.term.Term

accept, arg, arity, asList, basicIsList, basicRead, canUnify, changeVariablesNames, compile, compile, compile, compile, compileAndUnify, compileAndUnifyVars, getArgs, getNamedVariables, getNamedVariablesNames, getNonUnderscoreVariableNames, getNonUnderscoreVariables, getVariableNames, getVariables, hasFunctor, hasFunctor, hasFunctor, hasFunctor, hasVariable, isHilog, isList, listLength, prepareForFrame, prepareForQuery, read, read, replaceVariables, resolveBindings, termEquals, termEquals, termExpansion, toEscapedString, toEscapedString, toString, unify, unifyAndBind, varBindings

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

value

protected final Number value

The number term immutable value

Method Detail

getValue

public Number getValue()

intValue

public final int intValue()

longValue

public final long longValue()

floatValue

public final float floatValue()

doubleValue

public final double doubleValue()

isGround

public boolean isGround()

Specified by:

isGround in class Term

Returns:

true if the term is ground (it does not have unbound variables). false otherwise.

toEscapedString

public String toEscapedString()

Specified by:

toEscapedString in class Term

hasFunctor

public boolean hasFunctor(Functor functor)

Description copied from class: Term

Whether this term has a given functor.

Specified by:

hasFunctor in class Term

Parameters:

functor - the functor of this term.

Returns:

true if the term has the given functor. False otherwise.

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString(OperatorsContext operatorsContext)

Specified by:

toString in class Term

preCompile

public Term preCompile(Environment env)

Specified by:

preCompile in class Term

prepareForQuery

public Term prepareForQuery(Environment env)

Specified by:

prepareForQuery in class Term

prepareForFrame

public Term prepareForFrame(Environment env)

Specified by:

prepareForFrame in class Term