Package de.uka.ilkd.key.java.expression.literal

This package contains representations for the various Java literal types.

See: Description

Class Summary

Class	Description
AbstractIntegerLiteral	This class is a superclass for integer literals (Int, Long, Char).
BooleanLiteral	Boolean literal.
CharLiteral	Char literal.
DoubleLiteral	Double literal.
EmptyMapLiteral
EmptySeqLiteral
EmptySetLiteral
FloatLiteral	Float literal.
FreeLiteral
IntLiteral	Int literal.
LongLiteral	Long literal.
NullLiteral	Null literal.
RealLiteral	JML \real literal.
StringLiteral

Package de.uka.ilkd.key.java.expression.literal Description

This package contains representations for the various Java literal types. Quite special are the non-primitive NullLiteral and StringLiteral.