public class SeqConcat extends ADTPrefixConstruct
ProgramElement.TreeStructure
SourceElement.Position
children, expressionParent, INFIX, POSTFIX, PREFIX
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Modifier | Constructor and Description |
---|---|
|
SeqConcat(Expression lhs,
Expression rhs) |
protected |
SeqConcat(SeqConcat proto) |
Modifier and Type | Method and Description |
---|---|
SeqConcat |
deepClone() |
int |
getArity() |
int |
getNotation() |
java.lang.String |
toSource() |
accept, getPrecedence, getReferenceSuffix, setReferenceSuffix, toString
getArguments, getASTParent, getChildAt, getChildCount, getChildPositionCode, getExpressionAt, getExpressionContainer, getExpressionCount, getFirstElement, getLastElement, isLeftAssociative, isToBeParenthesized, makeParentRoleValid, precedes, replaceChild, setArguments, setExpressionContainer
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getComments, setComments, validate
getEndPosition, getFactory, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getASTParent, getComments, setComments
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition
validate
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
public SeqConcat(Expression lhs, Expression rhs)
protected SeqConcat(SeqConcat proto)
public SeqConcat deepClone()
public int getNotation()
getNotation
in class Operator
public java.lang.String toSource()
toSource
in interface SourceElement
toSource
in class JavaSourceElement
Copyright © 2003-2019 The KeY-Project.