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