addDomainListener

fireRefinementAdded

takeFrom

analyseDomain

public void analyseDomain()

checkConsistency

public void checkConsistency()

Checks the consistency of this domain. This method calls
the Refinement.checkConsistency() method of each
refinement, catches and remembers any SyntaxExceptions
that are thrown, and, if there were any exceptions, throws
a combined SyntaxException that describes them all.

Throws:

SyntaxException - if there are unused or undeclared
variables or if any constraint refers to a nonexistent node.