BOCL_Interpreter

• BOCL Evaluator
  • Evaluator
    • Evaluator.addToExp()
    • Evaluator.checkAndAdd()
    • Evaluator.checkInLinkEnds()
    • Evaluator.checkInObj()
    • Evaluator.evaluate()
    • Evaluator.getID()
    • Evaluator.getValidObjects()
    • Evaluator.get_value()
    • Evaluator.handle()
    • Evaluator.handleCollect()
    • Evaluator.handleExcludes()
    • Evaluator.handleExists()
    • Evaluator.handleForAll()
    • Evaluator.handleIFExp()
    • Evaluator.handleIncludes()
    • Evaluator.handleOCLIsTypeOf()
    • Evaluator.handleSize()
    • Evaluator.preprocessLogicalExp()
    • Evaluator.update_logical_exp()
    • Evaluator.valid_object()
    • Evaluator.verifyBody()
• BOCL Wrapper
  • OCLWrapper
    • OCLWrapper.dm
    • OCLWrapper.om
    • OCLWrapper.evaluate()