|
|||||||||
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.CompositeFormConstraintsVisitor
Checks the concept form constraints of the model. Supports incremental checking, i.e. only checks for concepts with determined concept forms. Composite checking part.
Fields inherited from class EDU.utwente.CoCompose.lang.ModelVisitor |
log |
Constructor Summary | |
CompositeFormConstraintsVisitor(FormConstraintsVisitor parent)
Constructs a CompositeFormConstraintsVisitor. |
Method Summary | |
void |
checkCompositeRole(CompositeRole role,
ImplementationGenerator implementation)
Checks a CompositeRole object. |
void |
checkConcept(Concept concept,
CompositeRole role,
ImplementationGenerator implementation)
Checks a Concept object. |
void |
visitComposite(Composite composite)
Checks the concept form constraints for the composite. PRE: The model must be defined for this composite. |
void |
visitImplementationGenerator(ImplementationGenerator implementation)
Check concept form constraints for this implementation generator. PRE: The composite and model must be defined for this implementation generator. |
void |
visitImplementationRolePart(ImplementationRolePart rolepart)
Check concept form constraints for this implementation generator's role part. PRE: The implementation generator, composite and model must be defined for this role part. |
Methods inherited from class EDU.utwente.CoCompose.lang.ModelVisitor |
getUpdate, run, setErrorReporter, setLogger, setUpdate, startModel, visitAbstractConcept, visitCompositePartConcept, visitCompositeRole, visitConcept, visitConstrainedConcept, visitImplementation, 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 CompositeFormConstraintsVisitor(FormConstraintsVisitor parent)
parent
- The parent visitor.Method Detail |
public void visitComposite(Composite composite) throws CoComposeException
visitComposite
in class ModelVisitor
composite
- The composite 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 visitImplementationGenerator(ImplementationGenerator implementation) throws CoComposeException
visitImplementationGenerator
in class ModelVisitor
implementation
- The implementation generator to check.CoComposeException
- if one of the model's constraints are not fulfilled or
if the concept form constraints are not met.public void checkCompositeRole(CompositeRole role, ImplementationGenerator implementation) throws CoComposeException
role
- The composite role to check.implementation
- The implementation generator to check.CoComposeException
- if visiting operation failed.public void checkConcept(Concept concept, CompositeRole role, ImplementationGenerator implementation) throws CoComposeException
concept
- The concept to check.role
- The composite role to check.implementation
- The implementation generator to check.CoComposeException
- if visiting operation failed.public void visitImplementationRolePart(ImplementationRolePart rolepart) throws CoComposeException
visitImplementationRolePart
in class ModelVisitor
rolepart
- The implementation generator role part 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 |