Package eu.bandm.tools.umod

Class UMod.T_2

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

Direct Known Subclasses:

UMod.T_copair, UMod.T_map, UMod.T_pair, UMod.T_rel

Enclosing class:

UMod

public abstract static class UMod.T_2
extends UMod.TypeConstructed

Field Summary

Fields

Modifier and Type	Field	Description
protected UMod.Type	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_2(UMod.Type f, UMod.Type g)

Method Summary

Modifier and Type	Method	Description
UMod.Type	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

Field Details

into

protected UMod.Type into

Constructor Details

T_2

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

Method Details

get_into

public UMod.Type get_into()