ua.gradsoft.termware
Class BigDecimalTerm

java.lang.Object
  ua.gradsoft.termware.Term
      ua.gradsoft.termware.AbstractPrimitiveTerm
          ua.gradsoft.termware.BigDecimalTerm

All Implemented Interfaces:

Serializable, Cloneable

public final class BigDecimalTerm
extends AbstractPrimitiveTerm

Term, which represend BigDecimal value.

See Also:

Serialized Form

Constructor Summary

BigDecimalTerm(BigDecimal v)
create new instanse of BigDecimalTerm

Method Summary

boolean	eq(Term t) are term logically stricly equal to x ?
BigDecimal	getBigDecimal() get BigDecimal value, if this term represent BigDecimal, otherwise throw UnsupportedOperationException
String	getName() name of term
Number	getNumber() return number, which holded in this term.
int	getPrimaryType0() return code of level-0 primary type
boolean	isBigDecimal() is this term represents BigDecimal ?
boolean	isNumber() is this term represents Number ?
void	print(PrintWriter out) print term to out
Term	termClone() since BigDecimal is immutable - return this.
int	termCompare(Term t) compare functions.

Methods inherited from class ua.gradsoft.termware.AbstractPrimitiveTerm

boundEquals, boundUnify, clone, concreteOrder, createSame, emptyFv, findSubtermIndexBoundEqualsTo, freeEquals, freeUnify, getArity, getBigInteger, getBoolean, getByte, getChar, getDouble, getFloat, getInt, getJavaObject, getLong, getNameIndex, getPatternName, getPatternNameIndex, getShort, getString, getSubtermAt, getTerm, getXIndex, isAtom, isBigInteger, isBoolean, isByte, isChar, isComplexTerm, isDouble, isFloat, isInt, isJavaObject, isLong, isNil, isShort, isString, isX, maxFv, minFv, setSubtermAt, shiftFv, subst, substInside

Methods inherited from class ua.gradsoft.termware.Term

containsSubtermBoundEqualsTo, getAsBigDecimal, getAsBigInteger, getAsBoolean, getAsByte, getAsChar, getAsDouble, getAsFloat, getAsInt, getAsJavaObject, getAsLong, getAsNumber, getAsShort, getAsString, getPrimaryType1, print, println, println

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BigDecimalTerm

public BigDecimalTerm(BigDecimal v)

create new instanse of BigDecimalTerm

Method Detail

getPrimaryType0

public final int getPrimaryType0()

Description copied from class: Term

return code of level-0 primary type

Specified by:

getPrimaryType0 in class Term

Returns:

PrimaryTypes.BIG_DECIMAL

See Also:

PrimaryTypes

isNumber

public final boolean isNumber()

is this term represents Number ?

Specified by:

isNumber in class Term

Returns:

true

getNumber

public final Number getNumber()

return number, which holded in this term.

Specified by:

getNumber in class Term

Returns:

BigDecimal object, with the same value as in term.

isBigDecimal

public final boolean isBigDecimal()

is this term represents BigDecimal ?

Overrides:

isBigDecimal in class AbstractPrimitiveTerm

Returns:

true

getBigDecimal

public final BigDecimal getBigDecimal()

Description copied from class: Term

get BigDecimal value, if this term represent BigDecimal, otherwise throw UnsupportedOperationException

Overrides:

getBigDecimal in class AbstractPrimitiveTerm

Returns:

BigDecimal value, which holded in this term.

getName

public final String getName()

name of term

Specified by:

getName in class AbstractPrimitiveTerm

Returns:

printable representation of value.

eq

public boolean eq(Term t)

are term logically stricly equal to x ?

Specified by:

eq in class AbstractPrimitiveTerm

See Also:

TypeConversion

termClone

public Term termClone()

since BigDecimal is immutable - return this.

Specified by:

termClone in class AbstractPrimitiveTerm

termCompare

public final int termCompare(Term t)

Description copied from class: Term

compare functions. define ordering on set of terms. Note, that ordering is not the same as Java build-in compare.

Specified by:

termCompare in class AbstractPrimitiveTerm

Parameters:

t - - term to compare

See Also:

Term.termCompare(ua.gradsoft.termware.Term)

print

public final void print(PrintWriter out)

print term to out

Specified by:

print in class AbstractPrimitiveTerm

Parameters:

out - - PrintWriter to output term.