|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface LinearTypeOrderBuilder
Defines a pre-order on types. This pre-order is later embedded in a total order an can be used in index comparators.
Method Summary | |
---|---|
void |
add(String[] types)
Add pairs types[i] < types[i+1], for each i < (types.length-1), to the partial sort order. |
LinearTypeOrder |
getOrder()
Return a total order of the type names added earlier that is consistent with the pre-order defined through calls to add(). |
Method Detail |
---|
void add(String[] types) throws CASException
types
-
CASException
- When adding pairs would make order inconsistent.LinearTypeOrder getOrder() throws CASException
CASException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |