Package | Description |
---|---|
de.uka.ilkd.key.logic.sort |
This package contains different kinds and implementations subtyping interface Sort.
|
Modifier and Type | Class and Description |
---|---|
class |
ArraySort
The objects of this class represent array sorts (in the sense of *Java*
arrays).
|
class |
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
|
class |
ProgramSVSort
Special "sorts" used for schema variables matching program constructs
(class ProgramSV).
|
static class |
ProgramSVSort.SimpleExpressionNonStringObjectSort
This sort represents a type of program schema variables that match
on non string object variables.
|
static class |
ProgramSVSort.SimpleExpressionStringSort
This sort represents a type of program schema variables that match
on string literals and string variables.
|
class |
ProxySort |
class |
SortImpl
Standard implementation of the Sort interface.
|
Copyright © 2003-2019 The KeY-Project.