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

Classes

• AbstractIntegerLiteral
• BooleanLiteral
• CharLiteral
• DoubleLiteral
• EmptyMapLiteral
• EmptySeqLiteral
• EmptySetLiteral
• FloatLiteral
• FreeLiteral
• IntLiteral
• LongLiteral
• NullLiteral
• RealLiteral
• StringLiteral