org.apache.xerces.impl.validation.datatypes.eTypes.Interfaces
Interface PO_IF

All Known Implementing Classes:
PartialOrder

public interface PO_IF
extends Property

Methods for partial orders

Version:
$Id: PO_IF.java,v 1.1.2.1 2000/10/28 00:04:48 jeffreyr Exp $
Author:
Leonard C. Berman, Jeffrey Rodriguez

Inner Class Summary
static class PO_IF.AboveBelow
           
 
Inner classes inherited from class org.apache.xerces.impl.validation.datatypes.eTypes.Interfaces.Property
Property.ValidationSummary
 
Field Summary
static PO_IF.AboveBelow above
           
static PO_IF.AboveBelow below
           
static int classNumberSubProperties
           
static int CLOSED_ABOVE
           
static int CLOSED_BELOW
           
static int MAX
           
static int MIN
           
 
Fields inherited from interface org.apache.xerces.impl.validation.datatypes.eTypes.Interfaces.Property
accumulate, classNumberSubProperties, constraint, eval, instance, merge
 
Method Summary
 java.lang.Integer compareTo(java.lang.Object other)
          Returns null if this & other are not comparable.
 java.lang.Object getBound(PO_IF.AboveBelow ab, java.lang.Integer type)
           
 java.lang.Object glb(java.lang.Object right)
          Greatest lower bound of this and other (or null )
 boolean gt(java.lang.Object right)
          Returns false if the argument is not an instance of the implementing class.
 boolean isBounded(PO_IF.AboveBelow ab)
          If true, a largest permissible value exists.
 boolean isClosed(PO_IF.AboveBelow ab)
          If true, a value equal to a bound may be valid.
 boolean lt(java.lang.Object right)
          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 this and other (or null )
 void setBound(PO_IF.AboveBelow ab, java.lang.Object o, java.lang.Integer type)
          Letting o==null clears the bound
 
Methods inherited from interface org.apache.xerces.impl.validation.datatypes.eTypes.Interfaces.Property
accumulate, clone, getName, merge, twin, validate
 

Field Detail

MAX

public static final int MAX

MIN

public static final int MIN

CLOSED_ABOVE

public static final int CLOSED_ABOVE

CLOSED_BELOW

public static final int CLOSED_BELOW

classNumberSubProperties

public static final int classNumberSubProperties

above

public static final PO_IF.AboveBelow above

below

public static final PO_IF.AboveBelow below
Method Detail

compareTo

public java.lang.Integer compareTo(java.lang.Object other)
Returns null if this & other are not comparable. Otherwise Integer which is <0, ==0 , or >0 according to whether
this<other, this==other , or this>other
Parameters:
other - com.ibm.eTypes.Interfaces.PO_IF
Returns:
java.lang.Integer

getBound

public java.lang.Object getBound(PO_IF.AboveBelow ab,
                                 java.lang.Integer type)

glb

public java.lang.Object glb(java.lang.Object right)
Greatest lower bound of this and other (or null )

gt

public boolean gt(java.lang.Object right)
Returns false if the argument is not an instance of the implementing class. Returns true if compareTo(right).intValue()>0

isBounded

public boolean isBounded(PO_IF.AboveBelow ab)
If true, a largest permissible value exists.

isClosed

public boolean isClosed(PO_IF.AboveBelow ab)
If true, a value equal to a bound may be valid.

lt

public boolean lt(java.lang.Object right)
Returns false if the argument is not an instance of the implementing class. Returns true if compareTo(right).intValue()<0

lub

public java.lang.Object lub(java.lang.Object other)
Least upper bound of this and other (or null )

setBound

public void setBound(PO_IF.AboveBelow ab,
                     java.lang.Object o,
                     java.lang.Integer type)
Letting o==null clears the bound


Copyright © 1999-2001 Apache XML Project. All Rights Reserved.