|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use OclContextException | |
| de.tuberlin.cs.cis.ocl.check | Provides classes for OCL context and type checking. |
| Uses of OclContextException in de.tuberlin.cs.cis.ocl.check |
| Subclasses of OclContextException in de.tuberlin.cs.cis.ocl.check | |
class |
TypeConformanceException
Thrown when a type or a property of a type does not conform to the OCL 1.5 type system or is ambigious. |
| Methods in de.tuberlin.cs.cis.ocl.check that throw OclContextException | |
Environment |
ContextChecker.checkContext(de.tuberlin.cs.cis.ocl.parser.node.Start ast)
Runs a context check on specified OCL constraints in the context of this context checker's model. |
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||