Package eu.bandm.tools.umod

Class Checker.KeyChecker

java.lang.Object

eu.bandm.tools.umod.UMod.Visitor

eu.bandm.tools.umod.Checker.KeyChecker

Enclosing class:

Checker

protected class Checker.KeyChecker
extends UMod.Visitor

Checks whether there is at most one field marked as KEY field.

Field Summary

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

result

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	KeyChecker()

Method Summary

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

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

Constructor Details

KeyChecker

protected KeyChecker()

Method Details

action

public void action(UMod.FieldDef fd)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.ClassDef cd)

Overrides:

action in class UMod.Visitor