See: Description
Interface | Description |
---|---|
Sort |
Class | Description |
---|---|
AbstractSort |
Abstract base class for implementations of the Sort interface.
|
ArraySort |
The objects of this class represent array sorts (in the sense of *Java*
arrays).
|
GenericSort |
Sort used for generic taclets
Within an SVInstantiations-object a generic sort is instantiated by
a concrete sort, which has to be a subsort of the instantiations of
the supersorts of this sort
|
NullSort |
There is one instance of this class per proof, representing the sort "Null".
|
ProgramSVSort |
Special "sorts" used for schema variables matching program constructs
(class ProgramSV).
|
ProgramSVSort.SimpleExpressionNonStringObjectSort |
This sort represents a type of program schema variables that match
on non string object variables.
|
ProgramSVSort.SimpleExpressionStringSort |
This sort represents a type of program schema variables that match
on string literals and string variables.
|
ProxySort | |
SortImpl |
Standard implementation of the Sort interface.
|
Exception | Description |
---|---|
GenericSupersortException |
this exception is thrown if a generic sort has been declared with
an illegal supersort
|
Copyright © 2003-2019 The KeY-Project.