Class UnionAssumption

  • All Implemented Interfaces:
    Assumption

    public class UnionAssumption
    extends java.lang.Object
    implements Assumption
    An assumption that combines two other assumptions. A check on this assumption checks both of the child assumptions.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void check()
      Checks that this assumption is still valid.
      java.lang.String getName()
      A name for the assumption that is used for debug output.
      void invalidate()
      Invalidates this assumption.
      boolean isValid()
      Checks whether the assumption is still valid.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Method Detail

      • invalidate

        public void invalidate()
        Description copied from interface: Assumption
        Invalidates this assumption. Performs no operation, if the assumption is already invalid.
        Specified by:
        invalidate in interface Assumption
      • getName

        public java.lang.String getName()
        Description copied from interface: Assumption
        A name for the assumption that is used for debug output.
        Specified by:
        getName in interface Assumption
        Returns:
        the name of the assumption
      • isValid

        public boolean isValid()
        Description copied from interface: Assumption
        Checks whether the assumption is still valid.
        Specified by:
        isValid in interface Assumption
        Returns:
        a boolean value indicating the validity of the assumption