Package eu.bandm.tools.umod

Class UMod.T_map

java.lang.Object

eu.bandm.tools.umod.UMod.Item

eu.bandm.tools.umod.UMod.Type

eu.bandm.tools.umod.UMod.TypeConstructed

eu.bandm.tools.umod.UMod.T_2

eu.bandm.tools.umod.UMod.T_map

Enclosing class:

UMod

public static class UMod.T_map
extends UMod.T_2

Field Summary

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

into

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

from

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_map(UMod.Type f, UMod.Type g)

Method Summary

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

get_into

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

get_from

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_map

public T_map(UMod.Type f,
 UMod.Type g)