APIΒΆ

PyUseOCL is decomposed in the following modules.

pyuseocl Wrapper of the USE (OCL) tool.
pyuseocl.useengine Wrapper to the USE engine.
pyuseocl.analyzer This module allows to analyze a USE OCL .use source file:
pyuseocl.model Partial AST for USE OCL Model.
pyuseocl.printer Generate a USE OCL specification from a modeL.
pyuseocl.converter Simple converter from canonical USE OCL expression (expressions returned by USE after parsing) to pyalaocl expression.
pyuseocl.soil Interpreter of soil specifications.
pyuseocl.state Simple metamodel for object states.
pyuseocl.evaluation Model the result of the evaluation of a USE OCL state (a soil file) against a USE OCL model.
pyuseocl.evaluator
pyuseocl.assertion Add support for “assertions” in USE OCL.
pyuseocl.tester
pyuseocl.utils Utilities independent from the use tool.
pyuseocl.utils.errors
pyuseocl.utils.fragments
pyuseocl.utils.sources
pyuseocl.utils.zip