public class Synchronized extends Modifier
Constructor and Description |
---|
Synchronized()
Synchronized.
|
Synchronized(ExtList children)
Synchronized.
|
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 Synchronized()
public Synchronized(ExtList children)
children
- the children of this AST element as KeY classes.
May contain: Comments