Class Forall

All Implemented Interfaces:
Externalizable, Serializable, Cloneable, RuleComponent, RuleConditionElement

public class Forall extends ConditionalElement
The forall conditional element.
See Also:
  • Constructor Details

    • Forall

      public Forall()
    • Forall

      public Forall(Pattern basePattern)
    • Forall

      public Forall(Pattern basePattern, List<Pattern> remainingPatterns)
  • Method Details

    • readExternal

      public void readExternal(ObjectInput in) throws IOException, ClassNotFoundException
      Throws:
      IOException
      ClassNotFoundException
    • writeExternal

      public void writeExternal(ObjectOutput out) throws IOException
      Throws:
      IOException
    • clone

      public Forall clone()
      Description copied from interface: RuleConditionElement
      Returns a clone from itself
      Specified by:
      clone in interface RuleConditionElement
      Specified by:
      clone in class ConditionalElement
      Returns:
    • getInnerDeclarations

      public Map<String,Declaration> getInnerDeclarations()
      Forall inner declarations are only provided by the base patterns since it negates the remaining patterns
      Returns:
    • getOuterDeclarations

      public Map<String,Declaration> getOuterDeclarations()
      Forall does not export any declarations
      Returns:
    • resolveDeclaration

      public Declaration resolveDeclaration(String identifier)
      Forall can only resolve declarations from its base pattern
      Returns:
    • getBasePattern

      public Pattern getBasePattern()
      Returns:
      the basePattern
    • setBasePattern

      public void setBasePattern(Pattern basePattern)
      Parameters:
      basePattern - the basePattern to set
    • getRemainingPatterns

      public List<Pattern> getRemainingPatterns()
      Returns:
      the remainingPatterns
    • setRemainingPatterns

      public void setRemainingPatterns(List<Pattern> remainingPatterns)
      Parameters:
      remainingPatterns - the remainingPatterns to set
    • addRemainingPattern

      public void addRemainingPattern(Pattern pattern)
      Adds one more pattern to the list of remaining patterns
    • getNestedElements

      public List<Pattern> getNestedElements()
      Description copied from interface: RuleConditionElement
      Returs a list of RuleConditionElement's that are nested inside the current element
      Returns:
    • isPatternScopeDelimiter

      public boolean isPatternScopeDelimiter()
      Description copied from interface: RuleConditionElement
      Returns true in case this RuleConditionElement delimits a pattern visibility scope. For instance, AND CE is not a scope delimiter, while NOT CE is a scope delimiter
      Returns:
    • isEmptyBetaConstraints

      public boolean isEmptyBetaConstraints()
    • setEmptyBetaConstraints

      public void setEmptyBetaConstraints(boolean emptyBetaConstraints)
    • toString

      public String toString()
      Overrides:
      toString in class Object