|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectEDU.utwente.CoCompose.lang.ModelVisitor
EDU.utwente.CoCompose.translate.ConceptFormConstraintsVisitor
Checks the concept form constraints of the model. Supports incremental checking, i.e. only checks for concepts with determined concept forms. Concept checkming part.
Field Summary |
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. |
void |
visitImplementation(Implementation implementation)
Check concept form constraints for this concept 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 |
public ConceptFormConstraintsVisitor(FormConstraintsVisitor parent)
parent
- The parent visitor.Method Detail |
public void visitConcept(Concept concept) throws CoComposeException
visitConcept
in class ModelVisitor
concept
- The concept to check the forms for.
CoComposeException
- if one of the model's constraints are not fulfilled or
if the concept form constraints are not met.public void visitImplementation(Implementation implementation) throws CoComposeException
visitImplementation
in class ModelVisitor
implementation
- The concept implementation to check.
CoComposeException
- if one of the model's constraints are not fulfilled or
if the concept form constraints are not met.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |