public final class NullSort extends java.lang.Object implements Sort
Modifier and Type | Field and Description |
---|---|
static Name |
NAME |
ANY, CAST_NAME, EXACT_INSTANCE_NAME, FORMULA, INSTANCE_NAME, TERMLABEL, UPDATE
Modifier and Type | Method and Description |
---|---|
java.lang.String |
declarationString() |
ImmutableSet<Sort> |
extendsSorts() |
ImmutableSet<Sort> |
extendsSorts(Services services) |
boolean |
extendsTrans(Sort sort) |
SortDependingFunction |
getCastSymbol(TermServices services) |
SortDependingFunction |
getExactInstanceofSymbol(TermServices services) |
SortDependingFunction |
getInstanceofSymbol(TermServices services) |
boolean |
isAbstract() |
Name |
name()
returns the name of this element
|
java.lang.String |
toString() |
public static final Name NAME
public NullSort(Sort objectSort)
public ImmutableSet<Sort> extendsSorts()
extendsSorts
in interface Sort
NullSort
.public ImmutableSet<Sort> extendsSorts(Services services)
extendsSorts
in interface Sort
services
- services.public boolean extendsTrans(Sort sort)
extendsTrans
in interface Sort
sort
- some sort.public boolean isAbstract()
isAbstract
in interface Sort
public final SortDependingFunction getCastSymbol(TermServices services)
getCastSymbol
in interface Sort
services
- services.public final SortDependingFunction getInstanceofSymbol(TermServices services)
getInstanceofSymbol
in interface Sort
services
- services.instanceof
symbol of this sort.public final SortDependingFunction getExactInstanceofSymbol(TermServices services)
getExactInstanceofSymbol
in interface Sort
services
- services.exactinstanceof
symbol of this sort.public final java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String declarationString()
declarationString
in interface Sort
Copyright © 2003-2019 The KeY-Project.