Package 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	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	Description
EnumDef(String ident)

Method Summary

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

items

protected List<String> items

docus

protected CheckedMap_RD<String,String> docus

Constructor Details

EnumDef

public EnumDef(String ident)

Method Details

get_docus

protected CheckedMap_RD<String,String> get_docus()