|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--org.apache.xerces.impl.validation.datatypes.eTypes.Models.AbstractProperty | +--org.apache.xerces.impl.validation.datatypes.eTypes.Models.PartialOrder
If the argument is not an instance of the implementing class, the result is false for both gt and lt, and null for those functions which return an object
To implement a concrete partial order, define the compareTo(PO_IF) method of com.ibm.eTypes.Interfaces.PO_IF
Inner classes inherited from class org.apache.xerces.impl.validation.datatypes.eTypes.Models.AbstractProperty |
AbstractProperty.AbstractSummary |
Inner classes inherited from class org.apache.xerces.impl.validation.datatypes.eTypes.Interfaces.PO_IF |
PO_IF.AboveBelow |
Inner classes inherited from class org.apache.xerces.impl.validation.datatypes.eTypes.Interfaces.Property |
Property.ValidationSummary |
Field Summary | |
static int |
classNumberSubProperties
|
static int |
CLOSED_ABOVE
default is that intervals are closed, i.e. |
static int |
CLOSED_BELOW
default is that intervals are closed, i.e. |
static int |
MAX
default has no bound. |
static int |
MIN
default has no bound. |
Fields inherited from class org.apache.xerces.impl.validation.datatypes.eTypes.Models.AbstractProperty |
classNumberSubProperties,
ht,
required |
Fields inherited from interface org.apache.xerces.impl.validation.datatypes.eTypes.Interfaces.PO_IF |
above,
below,
classNumberSubProperties,
CLOSED_ABOVE,
CLOSED_BELOW,
MAX,
MIN |
Fields inherited from interface org.apache.xerces.impl.validation.datatypes.eTypes.Interfaces.Property |
accumulate,
classNumberSubProperties,
constraint,
eval,
instance,
merge |
Constructor Summary | |
PartialOrder()
|
|
PartialOrder(java.lang.Class jc,
java.lang.String str)
Constructs a partial order with underlying representation jc and name str |
Method Summary | |
abstract java.lang.Integer |
compareTo(java.lang.Object other)
Returns null if |
java.lang.Object |
getBound(PO_IF.AboveBelow ab,
java.lang.Integer type)
|
boolean |
getClosed(PO_IF.AboveBelow ab)
Default is closed |
java.lang.Object |
glb(java.lang.Object other)
Greatest lower bound of |
boolean |
gt(java.lang.Object other)
Returns false if the argument is not an instance of the implementing class. |
boolean |
isBounded(PO_IF.AboveBelow ab)
Convenience method for getBound( ab , Property.constraint ); |
boolean |
isClosed(PO_IF.AboveBelow ab)
Convenience method for getClosed( ab , Property.constraint ); |
boolean |
lt(java.lang.Object other)
Returns false if the argument is not an instance of the implementing class. |
java.lang.Object |
lub(java.lang.Object other)
Least upper bound of |
static void |
merge(PartialOrder accumulator,
PO_IF scratchProp,
int offset)
|
void |
merge(Property scratch)
this is the accumulator, scratch is the result of checking an instance. |
void |
setBound(PO_IF.AboveBelow ab,
java.lang.Object o,
java.lang.Integer type)
Note that setting o == null, clears bound |
void |
setClosed(PO_IF.AboveBelow ab,
boolean b)
|
Methods inherited from class org.apache.xerces.impl.validation.datatypes.eTypes.Models.AbstractProperty |
accumulate,
add2Report,
clone,
enableSubProp,
getJClass,
getName,
getPossible,
getReport,
getSubProp,
getSubPropEval,
getSubPropMerge,
getSubPropName,
getSubPropNameIndex,
merge,
msg,
resetAccumulator,
resetConstraint,
resetInstance,
setJClass,
setName,
setPossible,
setRequired,
setSubProp,
setSubProp,
setSubPropEval,
setSubPropMerge,
setSubPropName,
toString,
twin,
validate |
Methods inherited from class java.lang.Object |
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
Field Detail |
public static final int MAX
public static final int MIN
public static final int CLOSED_ABOVE
public static final int CLOSED_BELOW
public static final int classNumberSubProperties
Constructor Detail |
public PartialOrder()
public PartialOrder(java.lang.Class jc, java.lang.String str)
Method Detail |
public abstract java.lang.Integer compareTo(java.lang.Object other)
other
- com.ibm.eTypes.Interfaces.PO_IFpublic final java.lang.Object getBound(PO_IF.AboveBelow ab, java.lang.Integer type)
public final boolean getClosed(PO_IF.AboveBelow ab)
public final java.lang.Object glb(java.lang.Object other)
public final boolean gt(java.lang.Object other)
public final boolean isBounded(PO_IF.AboveBelow ab)
public final boolean isClosed(PO_IF.AboveBelow ab)
public final boolean lt(java.lang.Object other)
public final java.lang.Object lub(java.lang.Object other)
public void merge(Property scratch)
public static void merge(PartialOrder accumulator, PO_IF scratchProp, int offset)
public void setBound(PO_IF.AboveBelow ab, java.lang.Object o, java.lang.Integer type)
public void setClosed(PO_IF.AboveBelow ab, boolean b)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |