Package eu.bandm.tools.umod

Class Checker.V_checkNoDoubleFields

java.lang.Object

eu.bandm.tools.umod.UMod.Visitor

eu.bandm.tools.umod.Checker.V_checkNoDoubleFields

Enclosing class:

Checker

protected class Checker.V_checkNoDoubleFields
extends UMod.Visitor

Aux class to check the uniqueness of field names on each path from root to leaf.

Field Summary

Fields

Modifier and Type	Field	Description
protected UMod.ClassDef	curclass	The currently visited class definition, for message text generation only.
protected Map<String,UMod.FieldDef>	fieldnames	Maps the currently visitied names to field definitions.

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

result

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	V_checkNoDoubleFields()

Method Summary

Modifier and Type	Method	Description
protected void	action(UMod.ClassDef cd)
protected void	action(UMod.FieldDef f)

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

action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, descend_Forest$extBySequence, getResult, match

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

fieldnames

protected Map<String,UMod.FieldDef> fieldnames

Maps the currently visitied names to field definitions.

curclass

protected UMod.ClassDef curclass

The currently visited class definition, for message text generation only.

Constructor Details

V_checkNoDoubleFields

protected V_checkNoDoubleFields()

Method Details

action

protected void action(UMod.ClassDef cd)

Overrides:

action in class UMod.Visitor

action

protected void action(UMod.FieldDef f)

Overrides:

action in class UMod.Visitor