EDU.utwente.CoCompose.translate
Class ConceptFormConstraintsVisitor

java.lang.Object
  |
  +--EDU.utwente.CoCompose.lang.ModelVisitor
        |
        +--EDU.utwente.CoCompose.translate.ConceptFormConstraintsVisitor
All Implemented Interfaces:
java.lang.Runnable

public class ConceptFormConstraintsVisitor
extends ModelVisitor

Checks the concept form constraints of the model. Supports incremental checking, i.e. only checks for concepts with determined concept forms. Concept checkming part.

Version:
0.1.10, 5 June 2003
Author:
Dennis Wagelaar

Fields inherited from class EDU.utwente.CoCompose.lang.ModelVisitor
log
 
Constructor Summary
ConceptFormConstraintsVisitor(FormConstraintsVisitor parent)
          Constructs a ConceptFormConstraintsVisitor.
 
Method Summary
 void visitConcept(Concept concept)
          Checks the concept form constraints for the concept.
PRE: The model must be defined for this concept.
 void visitImplementation(Implementation implementation)
          Check concept form constraints for this concept implementation.
PRE: The concept and model must be defined for the implementation.
 
Methods inherited from class EDU.utwente.CoCompose.lang.ModelVisitor
getUpdate, run, setErrorReporter, setLogger, setUpdate, startModel, visitAbstractConcept, visitComposite, visitCompositePartConcept, visitCompositeRole, visitConstrainedConcept, visitImplementationGenerator, visitImplementationRolePart, visitLink, visitModel, visitPublishedConcept, visitSolutionPattern, visitSolutionRole
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ConceptFormConstraintsVisitor

public ConceptFormConstraintsVisitor(FormConstraintsVisitor parent)
Constructs a ConceptFormConstraintsVisitor.
Parameters:
parent - The parent visitor.
Method Detail

visitConcept

public void visitConcept(Concept concept)
                  throws CoComposeException
Checks the concept form constraints for the concept.
PRE: The model must be defined for this concept.
Overrides:
visitConcept in class ModelVisitor
Parameters:
concept - The concept to check the forms for.
Throws:
CoComposeException - if one of the model's constraints are not fulfilled or if the concept form constraints are not met.

visitImplementation

public void visitImplementation(Implementation implementation)
                         throws CoComposeException
Check concept form constraints for this concept implementation.
PRE: The concept and model must be defined for the implementation.
Overrides:
visitImplementation in class ModelVisitor
Parameters:
implementation - The concept implementation to check.
Throws:
CoComposeException - if one of the model's constraints are not fulfilled or if the concept form constraints are not met.