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
IOException
ClassNotFoundException
public void writeExternal(ObjectOutput out) throws IOException
IOException
public Forall clone()
RuleConditionElement
clone
in interface RuleConditionElement
clone
in class ConditionalElement
public 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()
RuleConditionElement
public boolean isPatternScopeDelimiter()
RuleConditionElement
public boolean isEmptyBetaConstraints()
public void setEmptyBetaConstraints(boolean emptyBetaConstraints)
Copyright © 2001-2014 JBoss by Red Hat. All Rights Reserved.