public class Synchronized extends Modifier
Constructor and Description |
---|
Synchronized()
Synchronized.
|
Synchronized(ExtList children)
Synchronized.
|
Modifier and Type | Method and Description |
---|---|
protected String |
getSymbol()
Get symbol.
|
getText, prettyPrint, visit
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