de.uka.ilkd.key.java.recoderext

Class Real

java.lang.Object

recoder.abstraction.PrimitiveType

de.uka.ilkd.key.java.recoderext.Real

All Implemented Interfaces:

ProgramModelElement, Type, AccessFlags, ModelElement, NamedModelElement

public final class Real
extends PrimitiveType

recoder extension for JML's \real type.

Author:

bruns

Nested Class Summary

Nested classes/interfaces inherited from interface recoder.abstraction.ProgramModelElement

ProgramModelElement.LexicalOrder

Field Summary

Fields inherited from interface recoder.abstraction.ProgramModelElement

LEXICAL_ORDER

Fields inherited from interface recoder.bytecode.AccessFlags

ABSTRACT, ANNOTATION, BRIDGE, ENUM, FINAL, INTERFACE, NATIVE, PRIVATE, PROTECTED, PUBLIC, STATIC, STRICT, SUPER, SYNCHRONIZED, SYNTHETIC, TRANSIENT, VARARGS, VOLATILE

Constructor Summary

Constructors

Constructor and Description
Real(String name, ProgramModelInfo pmi)

Method Summary

Methods inherited from class recoder.abstraction.PrimitiveType

deepClone, getFullName, getName, getProgramModelInfo, setProgramModelInfo, validate

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Real

public Real(String name,
            ProgramModelInfo pmi)