public abstract class AbstractSort extends java.lang.Object implements Sort
Modifier and Type | Field and Description |
---|---|
private ImmutableSet<Sort> |
ext |
private boolean |
isAbstract |
private Name |
name |
ANY, CAST_NAME, EXACT_INSTANCE_NAME, FORMULA, INSTANCE_NAME, TERMLABEL, UPDATE
Constructor and Description |
---|
AbstractSort(Name name,
ImmutableSet<Sort> ext,
boolean isAbstract) |
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() |
private final Name name
private ImmutableSet<Sort> ext
private final boolean isAbstract
public AbstractSort(Name name, ImmutableSet<Sort> ext, boolean isAbstract)
public final ImmutableSet<Sort> extendsSorts()
Sort
extendsSorts
in interface Sort
public final ImmutableSet<Sort> extendsSorts(Services services)
Sort
extendsSorts
in interface Sort
public final boolean extendsTrans(Sort sort)
Sort
extendsTrans
in interface Sort
public final Name name()
Named
public final 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