com.saxonica.ee.trans

Class Precondition.NumericComparisonPrecondition

java.lang.Object

com.saxonica.ee.trans.Precondition

com.saxonica.ee.trans.Precondition.NumericComparisonPrecondition

Enclosing class:

Precondition

public static class Precondition.NumericComparisonPrecondition
extends Precondition

Nested Class Summary

Nested classes/interfaces inherited from class com.saxonica.ee.trans.Precondition

Precondition.BooleanPrecondition, Precondition.NumericComparisonPrecondition, Precondition.StringHashPrecondition

Constructor Summary

Constructors

Constructor and Description
NumericComparisonPrecondition(Characteristic<NumericValue> characteristic, long required)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
int	hashCode()
boolean	isShared()
boolean	testPrecondition(PreconditionMatcher matcher)
java.lang.String	toString()

Methods inherited from class com.saxonica.ee.trans.Precondition

getSlotNumber, isSatisfied, setSlotNumber

Methods inherited from class java.lang.Object

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

Constructor Detail

NumericComparisonPrecondition

public NumericComparisonPrecondition(Characteristic<NumericValue> characteristic,
                                     long required)

Method Detail

testPrecondition

public boolean testPrecondition(PreconditionMatcher matcher)
                         throws XPathException

Specified by:

testPrecondition in class Precondition

Throws:

XPathException

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isShared

public boolean isShared()

Specified by:

isShared in class Precondition