|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Utility interface for parsing and splitting raw constraints.
Method Summary | |
boolean |
getDoAutoSplit()
Return whether auto split mode is on. |
boolean |
isValidConstraintName(String sName)
Checks the specified name and returns true if it is a valid OCL name. |
OclTree |
parseAndCheckConstraint(String sConstraint,
ModelFacade mfFacade)
Check the specified constraint using the specified model facade for model information. |
List |
splitConstraint(OclTree ocltConstraint)
Split the specified constraint into its constituting constraints. |
Method Detail |
public boolean isValidConstraintName(String sName)
public OclTree parseAndCheckConstraint(String sConstraint, ModelFacade mfFacade) throws OclParserException, IOException, OclTypeException
OclParserException
- if a syntax error occurred.
IOException
- if an I/O operation failed.
OclTypeException
- if a type checking error occurred.public boolean getDoAutoSplit()
splitConstraint(tudresden.ocl.OclTree)
and create one
constraint representation per actual constraint.
public List splitConstraint(OclTree ocltConstraint)
context Test inv: a > 0 inv: a < 10 inv: a * 100 = 900would be split into three constraints:
context Test inv: a > 0 context Test inv: a < 10 context Test inv: a * 100 = 900
|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |