public final class GenericSort extends AbstractSort
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) |
ImmutableSet<Sort> |
getOneOf() |
boolean |
isPossibleInstantiation(Sort p_s) |
declarationString, extendsSorts, extendsSorts, extendsTrans, getCastSymbol, getExactInstanceofSymbol, getInstanceofSymbol, isAbstract, name, toString
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)
public ImmutableSet<Sort> getOneOf()
public boolean isPossibleInstantiation(Sort p_s)
protected boolean checkNonGenericSupersorts(Sort p_s)
Copyright © 2003-2019 The KeY-Project.