pyuseocl.model

Partial AST for USE OCL Model. The elements in this module are generated by the “parser” module.

Classes

Association(name, model[, kind])
AssociationClass(name, model[, isAbstract, ...])
Attribute(name, class_[, code, type])
BasicType(name)
Class(name, model[, isAbstract, superclasses])
Enumeration(name, model[, code, literals])
ExpressionPath(startClass, pathString)
Invariant(name, model[, class, code, ...])
Model(name[, code])
Operation(name, model, class, signature[, ...])
OperationCondition(name, model, operation, ...)
OrderedDict(*args, **kwds)	Dictionary that remembers insertion order
PostCondition(name, model, operation, expression)
PreCondition(name, model, operation, expression)
Role(name, association[, code, cardMin, ...])
SimpleType
SourceElement(name[, code])
TopLevelElement(name, model[, code])

Association

class pyuseocl.model.Association(name, model, kind=None)

AssociationClass

class pyuseocl.model.AssociationClass(name, model, isAbstract=False, superclasses=())

Attribute

class pyuseocl.model.Attribute(name, class_, code=None, type=None)

BasicType

class pyuseocl.model.BasicType(name)

Class

class pyuseocl.model.Class(name, model, isAbstract=False, superclasses=())

Enumeration

class pyuseocl.model.Enumeration(name, model, code=None, literals=())

addLiteral(name)

ExpressionPath

class pyuseocl.model.ExpressionPath(startClass, pathString)

Invariant

class pyuseocl.model.Invariant(name, model, class_=None, code=None, variable='self', expression=None, additionalVariables=(), isExistential=False)

Model

class pyuseocl.model.Model(name, code=None)

findAssociationOrAssociationClass(name)

findRole(associationOrAssociationClassName, roleName)

findClassOrAssociationClass(name)

findInvariant(classOrAssociationClassName, invariantName)

Operation

class pyuseocl.model.Operation(name, model, class_, signature, code=None, expression=None)

OperationCondition

class pyuseocl.model.OperationCondition(name, model, operation, expression, code=None)

OrderedDict

class pyuseocl.model.OrderedDict(*args, **kwds)

Dictionary that remembers insertion order

Initialize an ordered dictionary. The signature is the same as regular dictionaries, but keyword arguments are not recommended because their insertion order is arbitrary.

__setitem__(key, value, dict_setitem=<slot wrapper '__setitem__' of 'dict' objects>)

od.__setitem__(i, y) <==> od[i]=y

__delitem__(key, dict_delitem=<slot wrapper '__delitem__' of 'dict' objects>)

od.__delitem__(y) <==> del od[y]

__iter__() <==> iter(od)

__reversed__() <==> reversed(od)

clear() → None. Remove all items from od.

keys() → list of keys in od

values() → list of values in od

items() → list of (key, value) pairs in od

iterkeys() → an iterator over the keys in od

itervalues()

od.itervalues -> an iterator over the values in od

iteritems()

od.iteritems -> an iterator over the (key, value) pairs in od

update([E, ]**F) → None. Update D from mapping/iterable E and F.

If E present and has a .keys() method, does: for k in E: D[k] = E[k] If E present and lacks .keys() method, does: for (k, v) in E: D[k] = v In either case, this is followed by: for k, v in F.items(): D[k] = v

pop(k[, d]) → v, remove specified key and return the corresponding

value. If key is not found, d is returned if given, otherwise KeyError is raised.

setdefault(k[, d]) → od.get(k,d), also set od[k]=d if k not in od

popitem() → (k, v), return and remove a (key, value) pair.

Pairs are returned in LIFO order if last is true or FIFO order if false.

__repr__() <==> repr(od)

__reduce__()

Return state information for pickling

copy() → a shallow copy of od

classmethod fromkeys(S[, v]) → New ordered dictionary with keys from S.

If not specified, the value defaults to None.

__eq__(other)

od.__eq__(y) <==> od==y. Comparison to another OD is order-sensitive while comparison to a regular mapping is order-insensitive.

__ne__(other)

od.__ne__(y) <==> od!=y

viewkeys() → a set-like object providing a view on od's keys

viewvalues() → an object providing a view on od's values

viewitems() → a set-like object providing a view on od's items

PostCondition

class pyuseocl.model.PostCondition(name, model, operation, expression, code=None)

PreCondition

class pyuseocl.model.PreCondition(name, model, operation, expression, code=None)

Role

class pyuseocl.model.Role(name, association, code=None, cardMin=None, cardMax=None, type=None, isOrdered=False, qualifiers=None, subsets=None, isUnion=False, expression=None)

SimpleType

class pyuseocl.model.SimpleType

SourceElement

class pyuseocl.model.SourceElement(name, code=None)

TopLevelElement

class pyuseocl.model.TopLevelElement(name, model, code=None)