Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.java.expression.literal |
This package contains representations for the various Java literal types.
|
de.uka.ilkd.key.java.visitor |
contains classes representing visitors traversing the tree
structure of Java programs.
|
Class and Description |
---|
BooleanLiteral
Boolean literal.
|
CharLiteral
Char literal.
|
DoubleLiteral
Double literal.
|
EmptyMapLiteral |
EmptySeqLiteral |
EmptySetLiteral |
FloatLiteral
Float literal.
|
IntLiteral
Int literal.
|
LongLiteral
Long literal.
|
NullLiteral
Null literal.
|
StringLiteral |
Class and Description |
---|
AbstractIntegerLiteral
This class is a superclass for integer literals (Int, Long, Char).
|
BooleanLiteral
Boolean literal.
|
EmptyMapLiteral |
EmptySeqLiteral |
EmptySetLiteral |
FreeLiteral |
NullLiteral
Null literal.
|
Class and Description |
---|
BooleanLiteral
Boolean literal.
|
CharLiteral
Char literal.
|
DoubleLiteral
Double literal.
|
EmptyMapLiteral |
EmptySeqLiteral |
EmptySetLiteral |
FloatLiteral
Float literal.
|
IntLiteral
Int literal.
|
LongLiteral
Long literal.
|
NullLiteral
Null literal.
|
StringLiteral |
Copyright © 2003-2019 The KeY-Project.