eu.bandm.tools.umod

Class UMod.T_dsum

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_dsum

Enclosing class:

UMod

public static class UMod.T_dsum
extends UMod.TypeConstructed

Field Summary

Fields

Modifier and Type	Field and Description
protected List<UMod.Type>	combined
protected List<String>	names

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_dsum(List<UMod.Type> t)
T_dsum(UMod.Type... c)

Method Summary

Modifier and Type	Method and Description
List<UMod.Type>	get_combined()
List<String>	get_names()

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

combined

protected List<UMod.Type> combined

names

protected List<String> names

Constructor Detail

T_dsum

public T_dsum(List<UMod.Type> t)

T_dsum

public T_dsum(UMod.Type... c)

Method Detail

get_combined

public List<UMod.Type> get_combined()

get_names

public List<String> get_names()