Package eu.bandm.tools.umod

Class UMod.TypeConstructed

java.lang.Object

eu.bandm.tools.umod.UMod.Item

eu.bandm.tools.umod.UMod.Type

eu.bandm.tools.umod.UMod.TypeConstructed

Direct Known Subclasses:

UMod.T_2, UMod.T_dsum, UMod.T_opt, UMod.T_power, UMod.T_seq

Enclosing class:

UMod

public abstract static class UMod.TypeConstructed
extends UMod.Type

Field Summary

Fields

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

Method Summary

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

from

protected UMod.Type from

Constructor Details

TypeConstructed

public TypeConstructed(UMod.Type f)

TypeConstructed

public TypeConstructed()

Method Details

get_from

public UMod.Type get_from()