Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.java.abstraction |
This package contains the meta model abstractions as used by the
semantical services.
|
de.uka.ilkd.key.speclang.njml |
This package provides the functionalities of parsing JML comments into KeY constructs.
|
Modifier and Type | Method and Description |
---|---|
KeYJavaType |
JavaInfo.getPrimitiveKeYJavaType(PrimitiveType type) |
boolean |
TypeConverter.isImplicitNarrowing(Expression expr,
PrimitiveType to) |
boolean |
TypeConverter.isNarrowing(PrimitiveType from,
PrimitiveType to) |
boolean |
TypeConverter.isWidening(PrimitiveType from,
PrimitiveType to)
These methods are taken from recoder (and modified)
|
Modifier and Type | Field and Description |
---|---|
static PrimitiveType |
PrimitiveType.JAVA_BIGINT |
static PrimitiveType |
PrimitiveType.JAVA_BOOLEAN |
static PrimitiveType |
PrimitiveType.JAVA_BYTE |
static PrimitiveType |
PrimitiveType.JAVA_CHAR |
static PrimitiveType |
PrimitiveType.JAVA_DOUBLE |
static PrimitiveType |
PrimitiveType.JAVA_FLOAT |
static PrimitiveType |
PrimitiveType.JAVA_FREE_ADT |
static PrimitiveType |
PrimitiveType.JAVA_INT |
static PrimitiveType |
PrimitiveType.JAVA_LOCSET |
static PrimitiveType |
PrimitiveType.JAVA_LONG |
static PrimitiveType |
PrimitiveType.JAVA_MAP |
static PrimitiveType |
PrimitiveType.JAVA_REAL |
static PrimitiveType |
PrimitiveType.JAVA_SEQ |
static PrimitiveType |
PrimitiveType.JAVA_SHORT |
static PrimitiveType |
PrimitiveType.PROGRAM_SV |
Modifier and Type | Method and Description |
---|---|
static PrimitiveType |
PrimitiveType.getPrimitiveType(java.lang.String name) |
static PrimitiveType |
PrimitiveType.getPrimitiveTypeByLDT(Name ldtName) |
Modifier and Type | Method and Description |
---|---|
SLExpression |
JmlTermFactory.skolemExprHelper(java.lang.String jmlKeyWord,
PrimitiveType type) |
SLExpression |
JmlTermFactory.skolemExprHelper(org.antlr.runtime.Token jmlKeyWord,
PrimitiveType type) |
Copyright © 2003-2019 The KeY-Project.