public class Forall extends ConditionalElement
| Constructor and Description |
|---|
Forall() |
Forall(Pattern basePattern) |
Forall(Pattern basePattern,
List 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 |
getInnerDeclarations()
Forall inner declarations are only provided by the base patterns
since it negates the remaining patterns
|
List |
getNestedElements()
Returs a list of RuleConditionElement's that are nested
inside the current element
|
Map |
getOuterDeclarations()
Forall does not export any declarations
|
List |
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 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 getInnerDeclarations()
public Map getOuterDeclarations()
public Declaration resolveDeclaration(String identifier)
public Pattern getBasePattern()
public void setBasePattern(Pattern basePattern)
basePattern - the basePattern to setpublic List getRemainingPatterns()
public void setRemainingPatterns(List remainingPatterns)
remainingPatterns - the remainingPatterns to setpublic void addRemainingPattern(Pattern pattern)
pattern - public List getNestedElements()
RuleConditionElementpublic boolean isPatternScopeDelimiter()
RuleConditionElementpublic boolean isEmptyBetaConstraints()
public void setEmptyBetaConstraints(boolean emptyBetaConstraints)
Copyright © 2001–2015 JBoss by Red Hat. All rights reserved.