Package eu.bandm.tools.umod

Class UMod.T_opt

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_opt

Enclosing class:

UMod

public static class UMod.T_opt
extends UMod.TypeConstructed

Field Summary

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_opt(UMod.Type f)

Method Summary

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_opt

public T_opt(UMod.Type f)