|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--de.tuberlin.cs.cis.ocl.check.ContextChecker
Controls the use of OCL constructs represented by an abstract syntax tree produced by the parser. In contrary to the parser, this examination is not solely based on the syntax, but also on semantics of OCL constraints. Contextual tests of context dependent language features as well as a type check are performed.
TypeFacade
Constructor Summary | |
ContextChecker(TypeFacade model)
Constructs a context checker in the context of a model. |
Method Summary | |
Environment |
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. |
TypeFacade |
getModel()
Returns the model the context check is based on. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public ContextChecker(TypeFacade model)
model
- a model providing types for typechecking
purposes.Method Detail |
public Environment checkContext(de.tuberlin.cs.cis.ocl.parser.node.Start ast) throws OclContextException
ast
- the OCL Constraint AST to check.
OclContextException
- if the AST is contextual malformed.public TypeFacade getModel()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |