Class Forall

    • Constructor Detail

      • Forall

        public Forall()
      • Forall

        public Forall​(Pattern basePattern)
    • Method Detail

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