de.uka.ilkd.key.java.recoderext

Class Bigint

java.lang.Object

recoder.abstraction.PrimitiveType

de.uka.ilkd.key.java.recoderext.Bigint

All Implemented Interfaces:

ProgramModelElement, Type, AccessFlags, ModelElement, NamedModelElement

public final class Bigint
extends PrimitiveType

RecodeR extension for JML's \bigint 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
Bigint(java.lang.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

Bigint

public Bigint(java.lang.String name,
              ProgramModelInfo pmi)