|
||||||||||
| 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 | |||||||||