eu.bandm.tools.umod

Class UMod.EnumDef

java.lang.Object

eu.bandm.tools.umod.UMod.Item

eu.bandm.tools.umod.UMod.ClassLike

eu.bandm.tools.umod.UMod.EnumDef

Enclosing class:

UMod

public static class UMod.EnumDef
extends UMod.ClassLike

Field Summary

Fields

Modifier and Type	Field and Description
protected CheckedMap_RD<String,String>	docus
protected List<String>	items

Fields inherited from class eu.bandm.tools.umod.UMod.ClassLike

compiled, ident, type

Fields inherited from class eu.bandm.tools.umod.UMod.Item

location

Constructor Summary

Constructors

Constructor and Description
EnumDef(String ident)

Method Summary

Modifier and Type	Method and Description
protected CheckedMap_RD<String,String>	get_docus()

Methods inherited from class eu.bandm.tools.umod.UMod.ClassLike

get_ident

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

items

protected List<String> items

docus

protected CheckedMap_RD<String,String> docus

Constructor Detail

EnumDef

public EnumDef(String ident)

Method Detail

get_docus

protected CheckedMap_RD<String,String> get_docus()