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

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 and 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 Detail

T_int

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