Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.ldt |
This package contains the "language data types" (LDTs) of KeY.
|
Modifier and Type | Method and Description |
---|---|
LDT |
TypeConverter.getModelFor(Sort s) |
Modifier and Type | Method and Description |
---|---|
ImmutableList<LDT> |
TypeConverter.getModels() |
Modifier and Type | Class and Description |
---|---|
class |
BooleanLDT
This class inherits from LDT and implements all method that are
necessary to handle the primitive type boolean.
|
class |
CharListLDT |
class |
DoubleLDT
Complete this class if you want to add support for the Java double type.
|
class |
FloatLDT
Complete this class if you want to add support for the Java float type.
|
class |
FreeLDT
Generic data type, which has no predefined theory.
|
class |
HeapLDT
LDT responsible for the "Heap" sort, and the associated "Field" sort.
|
class |
IntegerLDT
This class inherits from LDT and implements all method that are
necessary to handle integers, shorts and bytes.
|
class |
LocSetLDT |
class |
MapLDT
LDT for maps.
|
class |
PermissionLDT |
class |
RealLDT
Complete this class if you want to add support for the JML \real type.
|
class |
SeqLDT |
Modifier and Type | Method and Description |
---|---|
static java.util.Map<Name,LDT> |
LDT.getNewLDTInstances(Services s) |
Copyright © 2003-2019 The KeY-Project.