public class Volatile extends Modifier
Constructor and Description |
---|
Volatile()
Volatile.
|
Volatile(ExtList children)
Constructor for the transformation of COMPOST ASTs to KeY.
|
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
getSymbol()
Get symbol.
|
getText, prettyPrint, visit
computeHashCode, equals, equalsModRenaming, getComments, hashCode, match, prettyPrintMain, reuseSignature
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments, match
equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition
public Volatile()
public Volatile(ExtList children)
children
- the children of this AST element as KeY classes.
May contain: Comments