public class Forall extends ConditionalElement
Constructor and Description |
---|
Forall() |
Forall(Pattern basePattern) |
Forall(Pattern basePattern,
List<Pattern> remainingPatterns) |
Modifier and Type | Method and Description |
---|---|
void |
addRemainingPattern(Pattern pattern)
Adds one more pattern to the list of remaining patterns
|
Forall |
clone()
Returns a clone from itself
|
Pattern |
getBasePattern() |
Map<String,Declaration> |
getInnerDeclarations()
Forall inner declarations are only provided by the base patterns
since it negates the remaining patterns
|
List<Pattern> |
getNestedElements()
Returs a list of RuleConditionElement's that are nested
inside the current element
|
Map<String,Declaration> |
getOuterDeclarations()
Forall does not export any declarations
|
List<Pattern> |
getRemainingPatterns() |
boolean |
isEmptyBetaConstraints() |
boolean |
isPatternScopeDelimiter()
Returns true in case this RuleConditionElement delimits
a pattern visibility scope.
|
void |
readExternal(ObjectInput in) |
Declaration |
resolveDeclaration(String identifier)
Forall can only resolve declarations from its base pattern
|
void |
setBasePattern(Pattern basePattern) |
void |
setEmptyBetaConstraints(boolean emptyBetaConstraints) |
void |
setRemainingPatterns(List<Pattern> remainingPatterns) |
String |
toString() |
void |
writeExternal(ObjectOutput out) |
public Forall()
public Forall(Pattern basePattern)
public void readExternal(ObjectInput in) throws IOException, ClassNotFoundException
IOException
ClassNotFoundException
public void writeExternal(ObjectOutput out) throws IOException
IOException
public Forall clone()
RuleConditionElement
clone
in interface RuleConditionElement
clone
in class ConditionalElement
public Map<String,Declaration> getInnerDeclarations()
public Map<String,Declaration> getOuterDeclarations()
public Declaration resolveDeclaration(String identifier)
public Pattern getBasePattern()
public void setBasePattern(Pattern basePattern)
basePattern
- the basePattern to setpublic void setRemainingPatterns(List<Pattern> remainingPatterns)
remainingPatterns
- the remainingPatterns to setpublic void addRemainingPattern(Pattern pattern)
public List<Pattern> getNestedElements()
RuleConditionElement
public boolean isPatternScopeDelimiter()
RuleConditionElement
public boolean isEmptyBetaConstraints()
public void setEmptyBetaConstraints(boolean emptyBetaConstraints)
Copyright © 2001–2020 JBoss by Red Hat. All rights reserved.