|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--EDU.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.
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 |
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: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |