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