public abstract class VisibilityModifier extends Modifier implements java.lang.Comparable<VisibilityModifier>
null
!
For comparison of modifiers, please use the static methods of this class instead of instanceof
.Constructor and Description |
---|
VisibilityModifier() |
VisibilityModifier(ExtList children)
Constructor for the transformation of COMPOST ASTs to KeY.
|
Modifier and Type | Method and Description |
---|---|
static boolean |
allowsInheritance(VisibilityModifier vm)
Whether it represents at least a
protected modifier. |
static boolean |
isPackageVisible(VisibilityModifier vm)
Whether it represents at least default (package-private) visibility.
|
static boolean |
isPrivate(VisibilityModifier vm)
Whether it represents a
private modifier. |
static boolean |
isPublic(VisibilityModifier vm)
Whether it represents a
public modifier. |
private static boolean |
sane(VisibilityModifier vm) |
getSymbol, 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 VisibilityModifier()
public VisibilityModifier(ExtList children)
children
- the children of this AST element as KeY classes.
May contain: Commentspublic static boolean isPublic(VisibilityModifier vm)
public
modifier.public static boolean allowsInheritance(VisibilityModifier vm)
protected
modifier.public static boolean isPackageVisible(VisibilityModifier vm)
public static boolean isPrivate(VisibilityModifier vm)
private
modifier.private static boolean sane(VisibilityModifier vm)