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

Method Summary

Modifier and Type	Method and 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 Detail

into

protected UMod.Type into

Constructor Detail

T_2

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

Method Detail

get_into

public UMod.Type get_into()