|
|||||||||
| Home >> All >> tudresden >> ocl >> check >> [ bootstrap overview ] | PREV PACKAGE NEXT PACKAGE | ||||||||
Package tudresden.ocl.check.bootstrap
This package contains classes for checking the semantical correctness of OCL expressions.
See:
Description
| Class Summary | |
| AnnotatedCodeFragment | |
| BootstrapGenerator | |
| GeneratedTests | |
| SableNameAdapter | this NameAdapter is used adapt the ReflectionFacade to SableCC-generated AST node classes |
| SableOclAnyImpl | |
| SableOclFactory | |
| SableReflectionFacade | |
| SubnodeCollector | |
| Exception Summary | |
| GeneratedTestFailedException | |
Package tudresden.ocl.check.bootstrap Description
This package contains classes for checking the semantical correctness of
OCL expressions. Classes for the representation of types and the access to
model information can be found in the subpackage types.
|
|||||||||
| Home >> All >> tudresden >> ocl >> check >> [ bootstrap overview ] | PREV PACKAGE NEXT PACKAGE | ||||||||