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
IOExceptionClassNotFoundExceptionpublic void writeExternal(ObjectOutput out) throws IOException
IOExceptionpublic Forall clone()
RuleConditionElementclone in interface RuleConditionElementclone in class ConditionalElementpublic 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()
RuleConditionElementpublic boolean isPatternScopeDelimiter()
RuleConditionElementpublic boolean isEmptyBetaConstraints()
public void setEmptyBetaConstraints(boolean emptyBetaConstraints)
Copyright © 2001–2015 JBoss by Red Hat. All rights reserved.