Package | Description |
---|---|
de.uka.ilkd.key.rule.inst |
contains classes for the instantiation of schema variables of
Taclet s. |
Modifier and Type | Class and Description |
---|---|
class |
GenericSortException
This exception thrown if there is no appropriate instantiation of
the generic sorts occurring within an "SVInstantiations"-object
|
class |
RigidnessException
this exception is thrown if non-rigid instantiation has been given
for a schema variable only allowing rigid instantiations
|
class |
SortException
this exception is thrown from an "SVInstantiations"-Object if the
sorts of a schema variable and its instantiation are not compatible
(and not generic)
|
Copyright © 2003-2019 The KeY-Project.