Package eu.bandm.tools.umod

Class Checker

java.lang.Object

eu.bandm.tools.umod.Checker

public class Checker
extends Object

Checks the consistency of a particular umod meta-model. Currently only few consistency checks are applied.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	Checker.KeyChecker	Checks whether there is at most one field marked as KEY field.
protected class	Checker.V_checkNoDoubleFields	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 final UMod.Forest	model	The meta-model to check.
protected final MessageReceiver<SimpleMessage<XMLDocumentIdentifier>>	msg	The drain of all messages.

Constructor Summary

Constructors

Constructor	Description
Checker(UMod.Forest model, MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg)	Only constructor.

Method Summary

Modifier and Type	Method	Description
void	check()	Perform consistency checks.
protected void	error(UMod.FieldDef fd, String text)	Send an error message.
static boolean	isAbstract(UMod.FieldDef fd)	Return whether a field is defined as abstract getter or abstract setter.

Methods inherited from class java.lang.Object

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

Field Details

model

protected final UMod.Forest model

The meta-model to check.

msg

protected final MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg

The drain of all messages.

Constructor Details

Checker

public Checker(UMod.Forest model,
 MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg)

Only constructor.

Parameters:

model - the meta-model to check

msg - the drain of all messages.

Method Details

isAbstract

public static boolean isAbstract(UMod.FieldDef fd)

Return whether a field is defined as abstract getter or abstract setter.

Returns:

whether a field is defined as abstract getter or abstract setter.

check

public void check()

Perform consistency checks.

error

protected void error(UMod.FieldDef fd,
 String text)

Send an error message.

Parameters:

fd - the field which is involved.

text - the error text