public final class NullSort extends java.lang.Object implements Sort
Modifier and Type | Field and Description |
---|---|
private java.lang.ref.WeakReference<ImmutableSet<Sort>> |
extCache |
private java.lang.ref.WeakReference<Services> |
lastServices |
static Name |
NAME |
private Sort |
objectSort |
ANY, CAST_NAME, EXACT_INSTANCE_NAME, FORMULA, INSTANCE_NAME, TERMLABEL, UPDATE
Modifier and Type | Method and Description |
---|---|
java.lang.String |
declarationString() |
ImmutableSet<Sort> |
extendsSorts()
Returns the direct supersorts of this sort.
|
ImmutableSet<Sort> |
extendsSorts(Services services)
Returns the direct supersorts of this sort.
|
boolean |
extendsTrans(Sort sort)
Tells whether the given sort is a reflexive, transitive subsort of this
sort.
|
SortDependingFunction |
getCastSymbol(TermServices services)
returns the cast symbol of this Sort
|
SortDependingFunction |
getExactInstanceofSymbol(TermServices services)
returns the exactinstanceof symbol of this Sort
|
SortDependingFunction |
getInstanceofSymbol(TermServices services)
returns the instanceof symbol of this Sort
|
boolean |
isAbstract()
Tells whether this sort has no exact elements.
|
Name |
name()
returns the name of this element
|
java.lang.String |
toString() |
public static final Name NAME
private final Sort objectSort
private java.lang.ref.WeakReference<Services> lastServices
private java.lang.ref.WeakReference<ImmutableSet<Sort>> extCache
public NullSort(Sort objectSort)
public ImmutableSet<Sort> extendsSorts()
Sort
extendsSorts
in interface Sort
public ImmutableSet<Sort> extendsSorts(Services services)
Sort
extendsSorts
in interface Sort
public boolean extendsTrans(Sort sort)
Sort
extendsTrans
in interface Sort
public boolean isAbstract()
Sort
isAbstract
in interface Sort
public final SortDependingFunction getCastSymbol(TermServices services)
Sort
getCastSymbol
in interface Sort
public final SortDependingFunction getInstanceofSymbol(TermServices services)
Sort
getInstanceofSymbol
in interface Sort
public final SortDependingFunction getExactInstanceofSymbol(TermServices services)
Sort
getExactInstanceofSymbol
in interface Sort
public final java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String declarationString()
declarationString
in interface Sort