public class ExpressionSVWrapper extends Literal implements Expression, LoopInitializer, KeYRecoderExtension, SVWrapper, ReferencePrefix
ProgramElement.TreeStructure
SourceElement.Position
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
protected StatementContainer |
statementParent |
protected ReferenceSuffix |
suff |
protected SchemaVariable |
sv |
expressionParent
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Modifier | Constructor and Description |
---|---|
|
ExpressionSVWrapper() |
protected |
ExpressionSVWrapper(ExpressionSVWrapper proto) |
|
ExpressionSVWrapper(SchemaVariable sv) |
Modifier and Type | Method and Description |
---|---|
void |
accept(SourceVisitor v) |
ExpressionSVWrapper |
deepClone() |
NonTerminalProgramElement |
getASTParent()
Get AST parent.
|
java.lang.Object |
getEquivalentJavaType() |
ExpressionContainer |
getExpressionContainer()
Get expression container.
|
ReferenceSuffix |
getReferenceSuffix() |
StatementContainer |
getStatementContainer()
Get statement container.
|
SchemaVariable |
getSV()
returns a String name of this meta construct.
|
void |
makeParentRoleValid()
Make parent role valid.
|
void |
setExpressionContainer(ExpressionContainer c)
Set expression container.
|
void |
setReferenceSuffix(ReferenceSuffix path)
Set reference suffix.
|
void |
setStatementContainer(StatementContainer c)
Set statement container.
|
void |
setSV(SchemaVariable sv)
sets the schema variable of sort statement
|
getComments, setComments, validate
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getComments, setComments
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
private static final long serialVersionUID
protected SchemaVariable sv
protected ReferenceSuffix suff
protected StatementContainer statementParent
protected ExpressionSVWrapper(ExpressionSVWrapper proto)
public ExpressionSVWrapper()
public ExpressionSVWrapper(SchemaVariable sv)
public void makeParentRoleValid()
public NonTerminalProgramElement getASTParent()
getASTParent
in interface ProgramElement
getASTParent
in class Literal
public void setSV(SchemaVariable sv)
public SchemaVariable getSV()
SVWrapper
public ExpressionContainer getExpressionContainer()
getExpressionContainer
in interface Expression
getExpressionContainer
in class Literal
public void setExpressionContainer(ExpressionContainer c)
setExpressionContainer
in interface Expression
setExpressionContainer
in class Literal
c
- an expression container.public void accept(SourceVisitor v)
accept
in interface SourceElement
public ExpressionSVWrapper deepClone()
deepClone
in interface Expression
deepClone
in interface SourceElement
deepClone
in interface Statement
public StatementContainer getStatementContainer()
getStatementContainer
in interface Statement
public void setStatementContainer(StatementContainer c)
setStatementContainer
in interface Statement
c
- a statement container.public ReferenceSuffix getReferenceSuffix()
getReferenceSuffix
in interface ReferencePrefix
public void setReferenceSuffix(ReferenceSuffix path)
setReferenceSuffix
in interface ReferencePrefix
path
- a reference suffix.public java.lang.Object getEquivalentJavaType()
getEquivalentJavaType
in class Literal