public final class GenericSort extends AbstractSort
Modifier and Type | Field and Description |
---|---|
private ImmutableSet<Sort> |
oneOf
list of sorts this generic sort may be instantiated with;
EMPTY_SORT_SORT means that every sort may be used
|
ANY, CAST_NAME, EXACT_INSTANCE_NAME, FORMULA, INSTANCE_NAME, TERMLABEL, UPDATE
Constructor and Description |
---|
GenericSort(Name name) |
GenericSort(Name name,
ImmutableSet<Sort> ext,
ImmutableSet<Sort> oneOf)
creates a generic sort
|
Modifier and Type | Method and Description |
---|---|
protected boolean |
checkNonGenericSupersorts(Sort p_s) |
private void |
checkSupersorts() |
ImmutableSet<Sort> |
getOneOf() |
boolean |
isPossibleInstantiation(Sort p_s) |
declarationString, extendsSorts, extendsSorts, extendsTrans, getCastSymbol, getExactInstanceofSymbol, getInstanceofSymbol, isAbstract, name, toString
private final ImmutableSet<Sort> oneOf
public GenericSort(Name name, ImmutableSet<Sort> ext, ImmutableSet<Sort> oneOf) throws GenericSupersortException
ext
- supersorts of this sort, which have to be either
concrete sorts or plain generic sorts (i.e. not collection
sorts of generic sorts)GenericSupersortException
public GenericSort(Name name)
private void checkSupersorts() throws GenericSupersortException
GenericSupersortException
public ImmutableSet<Sort> getOneOf()
public boolean isPossibleInstantiation(Sort p_s)
protected boolean checkNonGenericSupersorts(Sort p_s)