Index

_

__delitem__() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method) __eq__() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method) __instancecheck__() (pyuseocl.utils.fragments.ABCMeta method) __iter__() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method) __ne__() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method)

__reduce__() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method) __repr__() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method) __reversed__() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method) __setitem__() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method) __subclasscheck__() (pyuseocl.utils.fragments.ABCMeta method)

A

ABCMeta (class in pyuseocl.utils.fragments) abstractmethod() (in module pyuseocl.utils.fragments) addChild() (pyuseocl.utils.fragments.Fragment method) addError() (pyuseocl.utils.sources.SourceFile method) addLiteral() (pyuseocl.model.Enumeration method) analyzeUSEModel() (pyuseocl.useengine.USEEngine class method) ancestors() (pyuseocl.utils.fragments.Fragment method)

AnnotatedSourceFile (class in pyuseocl.utils.sources) Association (class in pyuseocl.model) association() (pyuseocl.printer.UseOCLPrinter method) AssociationClass (class in pyuseocl.model) associationClass() (pyuseocl.printer.UseOCLPrinter method) Attribute (class in pyuseocl.model) attribute() (pyuseocl.printer.UseOCLPrinter method)

B

BasicType (class in pyuseocl.model)

C

CardinalityViolation (class in pyuseocl.evaluation) cardinalityViolations (pyuseocl.evaluation.ModelEvaluation attribute) checkSoilFileWithUSEModel() (pyuseocl.useengine.USEEngine class method) children (pyuseocl.utils.fragments.Fragment attribute) Class (class in pyuseocl.model) class_() (pyuseocl.printer.UseOCLPrinter method) clear() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method) clearErrors() (pyuseocl.utils.sources.SourceFile method)

closing() (pyuseocl.utils.fragments.Fragmenter method) (pyuseocl.utils.fragments.RegexpFragmenter method) collectionOperators0 (pyuseocl.converter.UseOCLConverter attribute) command (pyuseocl.useengine.USEEngine attribute) commandExitCode (pyuseocl.analyzer.UseOCLModelFile attribute) (pyuseocl.useengine.USEEngine attribute) convertCanonicalOCLExpression() (pyuseocl.converter.UseOCLConverter class method) convertCanonicalOCLInvariantHeader() (pyuseocl.converter.UseOCLConverter class method) convertCanonicalOCLInvariants() (pyuseocl.converter.UseOCLConverter class method) copy() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method)

D

depth() (pyuseocl.utils.fragments.Fragment method) descendants() (pyuseocl.utils.fragments.Fragment method) description() (pyuseocl.utils.errors.LocalizedError method) (pyuseocl.utils.errors.SourceError method)

directory (pyuseocl.utils.zip.ZipArtefact attribute) do() (pyuseocl.printer.UseOCLPrinter method)

E

end (pyuseocl.utils.fragments.Fragment attribute) Enumeration (class in pyuseocl.model) enumeration() (pyuseocl.printer.UseOCLPrinter method) err (pyuseocl.useengine.USEEngine attribute) errors (pyuseocl.analyzer.UseOCLModelFile attribute) (pyuseocl.utils.sources.SourceFile attribute)

evaluateSoilFilesWithUSEModel() (pyuseocl.useengine.USEEngine class method) execute() (pyuseocl.soil.UseSoilSpecification method) expectedResult (pyuseocl.assertion.InvariantAssertion attribute) ExpressionPath (class in pyuseocl.model)

F

fileName (pyuseocl.utils.sources.SourceFile attribute) filter (pyuseocl.utils.zip.ZipArtefact attribute) findAssociationOrAssociationClass() (pyuseocl.model.Model method) findClassOrAssociationClass() (pyuseocl.model.Model method) findInvariant() (pyuseocl.model.Model method) findRole() (pyuseocl.model.Model method) Fragment (class in pyuseocl.utils.fragments)

fragment (pyuseocl.utils.sources.AnnotatedSourceFile attribute) fragmentAtPosition() (pyuseocl.utils.fragments.Fragment method) Fragmenter (class in pyuseocl.utils.fragments) fragmentsAtPosition() (pyuseocl.utils.fragments.Fragment method) fragmentsOfValue() (pyuseocl.utils.fragments.Fragment method) free() (pyuseocl.utils.zip.ZipArtefact method) fromkeys() (pyuseocl.model.OrderedDict class method) (pyuseocl.state.OrderedDict class method)

G

getInvariantEvaluation() (pyuseocl.evaluation.ModelEvaluation method)

H

here() (pyuseocl.utils.fragments.Fragmenter method) (pyuseocl.utils.fragments.RegexpFragmenter method)

I

Invariant (class in pyuseocl.model) invariant() (pyuseocl.printer.UseOCLPrinter method) InvariantAssertion (class in pyuseocl.assertion) InvariantAssertionEvaluation (class in pyuseocl.assertion) InvariantEvaluation (class in pyuseocl.evaluation) invariantEvaluations (pyuseocl.evaluation.ModelEvaluation attribute) InvariantValidation (class in pyuseocl.evaluation) InvariantViolation (class in pyuseocl.evaluation) isCorrect (pyuseocl.assertion.InvariantAssertion attribute)

isEmptySoilFile() (in module pyuseocl.soil) isValid (pyuseocl.analyzer.UseOCLModelFile attribute) isZipRemote (pyuseocl.utils.zip.ZipArtefact attribute) items() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method) iterators (pyuseocl.converter.UseOCLConverter attribute) iteritems() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method) iterkeys() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method) itervalues() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method)

K

keys() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method)

L

Link (class in pyuseocl.state) LinkObject (class in pyuseocl.state)

LocalizedError (class in pyuseocl.utils.errors)

M

message (pyuseocl.utils.errors.SourceError attribute) Model (class in pyuseocl.model) model (pyuseocl.analyzer.UseOCLModelFile attribute) model() (pyuseocl.printer.UseOCLPrinter method)

ModelEvaluation (class in pyuseocl.evaluation) ModelValidation (class in pyuseocl.evaluation) ModelViolation (class in pyuseocl.evaluation)

N

name (pyuseocl.utils.sources.SourceFile attribute)

O

Object (class in pyuseocl.state) oclExpressionReplacements (pyuseocl.converter.UseOCLConverter attribute) opening() (pyuseocl.utils.fragments.Fragmenter method) (pyuseocl.utils.fragments.RegexpFragmenter method) Operation (class in pyuseocl.model) operation() (pyuseocl.printer.UseOCLPrinter method)

OperationCondition (class in pyuseocl.model) OrderedDict (class in pyuseocl.model) (class in pyuseocl.state) out (pyuseocl.useengine.USEEngine attribute) out() (pyuseocl.printer.UseOCLPrinter method) outAndErr (pyuseocl.useengine.USEEngine attribute)

P

parent (pyuseocl.utils.fragments.Fragment attribute) pop() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method) popitem() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method) PostCondition (class in pyuseocl.model) PreCondition (class in pyuseocl.model) printStatus() (pyuseocl.analyzer.UseOCLModelFile method) pyuseocl (module) pyuseocl.analyzer (module) pyuseocl.assertion (module) pyuseocl.converter (module) pyuseocl.evaluation (module)

pyuseocl.model (module) pyuseocl.printer (module) pyuseocl.soil (module) pyuseocl.state (module) pyuseocl.useengine (module) pyuseocl.utils (module) pyuseocl.utils.errors (module) pyuseocl.utils.fragments (module) pyuseocl.utils.sources (module) pyuseocl.utils.zip (module)

R

range() (pyuseocl.utils.fragments.Fragment method) rangeAndValue() (pyuseocl.utils.fragments.Fragment method) RegexpFragmenter (class in pyuseocl.utils.fragments)

register() (pyuseocl.utils.fragments.ABCMeta method) Role (class in pyuseocl.model) role() (pyuseocl.printer.UseOCLPrinter method)

S

saveCanonicalModelFile() (pyuseocl.analyzer.UseOCLModelFile method) set() (pyuseocl.state.LinkObject method) (pyuseocl.state.Object method) setdefault() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method) SimpleType (class in pyuseocl.model) SourceElement (class in pyuseocl.model) SourceError (class in pyuseocl.utils.errors) SourceFile (class in pyuseocl.utils.sources)

sourceFile (pyuseocl.utils.errors.LocalizedError attribute) (pyuseocl.utils.errors.SourceError attribute) sourceLines (pyuseocl.utils.sources.SourceFile attribute) start (pyuseocl.utils.fragments.Fragment attribute) State (class in pyuseocl.state) state (pyuseocl.evaluation.ModelEvaluation attribute) StateElement (class in pyuseocl.state)

T

targetDirectory (pyuseocl.utils.zip.ZipArtefact attribute)

TopLevelElement (class in pyuseocl.model)

U

update() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method) USE_OCL_COMMAND (pyuseocl.useengine.USEEngine attribute) useCommand (pyuseocl.converter.UseOCLConverter attribute) USEEngine (class in pyuseocl.useengine) UseOCLConverter (class in pyuseocl.converter)

UseOCLModelFile (class in pyuseocl.analyzer) UseOCLPrinter (class in pyuseocl.printer) UseSoilSpecification (class in pyuseocl.soil) useVersion() (pyuseocl.useengine.USEEngine class method)

V

value (pyuseocl.utils.fragments.Fragment attribute) values() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method) viewitems() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method)

viewkeys() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method) viewvalues() (pyuseocl.model.OrderedDict method) (pyuseocl.state.OrderedDict method)

W

withUseOCL() (pyuseocl.useengine.USEEngine class method)

Z

ZipArtefact (class in pyuseocl.utils.zip) zipFile (pyuseocl.utils.zip.ZipArtefact attribute)

zipFileId (pyuseocl.utils.zip.ZipArtefact attribute)