public class Public extends VisibilityModifier
Constructor and Description |
---|
Public()
Constructor for the transformation of COMPOST ASTs to KeY.
|
Public(ExtList children)
Constructor for the transformation of COMPOST ASTs to KeY.
|
Modifier and Type | Method and Description |
---|---|
int |
compareTo(VisibilityModifier arg0) |
protected java.lang.String |
getSymbol()
Get symbol.
|
allowsInheritance, isPackageVisible, isPrivate, isPublic
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 Public()
public Public(ExtList children)
children
- the children of this AST element as KeY classes.
May contain: Commentsprotected java.lang.String getSymbol()
public int compareTo(VisibilityModifier arg0)