Package eu.bandm.tools.umod

Class UMod.T_int

java.lang.Object

eu.bandm.tools.umod.UMod.Item

eu.bandm.tools.umod.UMod.Type

eu.bandm.tools.umod.UMod.TypePrime

eu.bandm.tools.umod.UMod.TypeBasic

eu.bandm.tools.umod.UMod.T_int

Enclosing class:

UMod

public static class UMod.T_int
extends UMod.TypeBasic

Field Summary

Fields inherited from class eu.bandm.tools.umod.UMod.TypeBasic

boxed, name

Fields inherited from class eu.bandm.tools.umod.UMod.Type

javaDecl, javaImpl

Fields inherited from class eu.bandm.tools.umod.UMod.Item

location

Constructor Summary

Constructors

Constructor	Description
T_int(String n, EnvironmentClass di, EnvironmentClass b)

Method Summary

Methods inherited from class eu.bandm.tools.umod.UMod.TypeBasic

get_name

Methods inherited from class eu.bandm.tools.umod.UMod.Item

get_location, set_location

Methods inherited from class java.lang.Object

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

Constructor Details

T_int

public T_int(String n,
 EnvironmentClass di,
 EnvironmentClass b)