Class LinearTypeOrderBuilderImpl

    • Constructor Detail

      • LinearTypeOrderBuilderImpl

        public LinearTypeOrderBuilderImpl​(TypeSystem ts)
    • Method Detail

      • add

        public void add​(String[] types)
                 throws CASException
        Description copied from interface: LinearTypeOrderBuilder
        Add pairs types[i] < types[i+1], for each i < (types.length-1), to the partial sort order. This method can be called as often as desired. It will throw an exception if the pairs could not be successfully added to the relation. A pair can not be added if the resulting relation is no longer a partial order. If you need to know exactly which pair fails, always call add() with a two-element array.
        Specified by:
        add in interface LinearTypeOrderBuilder
        Parameters:
        types - types to add
        Throws:
        CASException - When adding pairs would make order inconsistent.