public final class EmptySetLiteral extends Literal
ProgramElement.TreeStructure
SourceElement.Position
Modifier and Type | Field and Description |
---|---|
static EmptySetLiteral |
INSTANCE |
expressionParent
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Constructor and Description |
---|
EmptySetLiteral() |
Modifier and Type | Method and Description |
---|---|
void |
accept(SourceVisitor v) |
Expression |
deepClone() |
java.lang.Object |
getEquivalentJavaType() |
getASTParent, getExpressionContainer, setExpressionContainer
getComments, setComments, validate
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getComments, setComments
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
public static final EmptySetLiteral INSTANCE
public Expression deepClone()
public void accept(SourceVisitor v)
public java.lang.Object getEquivalentJavaType()
getEquivalentJavaType
in class Literal
Copyright © 2003-2019 The KeY-Project.