krieger.oclsolve
Interface OclVoidExpression

All Superinterfaces:

BagExpression, BooleanExpression, ClassTypeExpression, CollectionExpression, Expression, IntegerExpression, OclAnyExpression, OrderedSetExpression, SequenceExpression, SetExpression, StringExpression

All Known Subinterfaces:

OclInvalidExpression

public interface OclVoidExpression
extends BooleanExpression, IntegerExpression, StringExpression, ClassTypeExpression, SetExpression, OrderedSetExpression, BagExpression, SequenceExpression

Represents an OCL expression of type OclVoid.

Method Summary

OclInvalidExpression	collectNested(IteratorBody<Expression> body) Applies the collectNested iterator to the expression.
OclInvalidExpression	excluding(Expression object) Applies the excluding operation to the expression.
OclInvalidExpression	flatten() Applies the flatten operation to the expression.
OclInvalidExpression	including(Expression object) Applies the including operation to the expression.
OclInvalidExpression	reject(IteratorBody<BooleanExpression> body) Applies the reject iterator to the expression.
OclInvalidExpression	reverse() Applies the reverse operation to the expression.
OclInvalidExpression	select(IteratorBody<BooleanExpression> body) Applies the select iterator to the expression.
OclInvalidExpression	union(SetExpression s) Applies the union operation to the expression, taking a Set as argument.

Methods inherited from interface krieger.oclsolve.BooleanExpression

and, ifThenElse, implies, not, or, xor

Methods inherited from interface krieger.oclsolve.IntegerExpression

div, geq, greaterThan, leq, lessThan, max, min, minus, minus, mod, mult, plus

Methods inherited from interface krieger.oclsolve.StringExpression

at, characters, concat, indexOf, plus, size, substring, toBoolean

Methods inherited from interface krieger.oclsolve.OclAnyExpression

oclIsEqualTo, oclIsInvalid, oclIsNew, oclIsNotEqualTo, oclIsUndefined

Methods inherited from interface krieger.oclsolve.SetExpression

collect, intersection, intersection, minus, symmetricDifference, union

Methods inherited from interface krieger.oclsolve.OrderedSetExpression

at, first, last, subOrderedSet

Methods inherited from interface krieger.oclsolve.BagExpression

collect, intersection, union

Methods inherited from interface krieger.oclsolve.SequenceExpression

append, at, first, indexOf, insertAt, last, prepend, subSequence, union

Methods inherited from interface krieger.oclsolve.CollectionExpression

any, asBag, asOrderedSet, asSequence, asSet, count, excludes, excludesAll, exists, forAll, includes, includesAll, isEmpty, max, min, notEmpty, oclIsEqualTo, one, size, sum

Methods inherited from interface krieger.oclsolve.Expression

evaluate

Method Detail

union

OclInvalidExpression union(SetExpression s)

Description copied from interface: SetExpression

Applies the union operation to the expression, taking a Set as argument.

Specified by:

union in interface BagExpression

Specified by:

union in interface SetExpression

including

OclInvalidExpression including(Expression object)

Description copied from interface: SetExpression

Applies the including operation to the expression.

Specified by:

including in interface BagExpression

Specified by:

including in interface SequenceExpression

Specified by:

including in interface SetExpression

excluding

OclInvalidExpression excluding(Expression object)

Description copied from interface: SetExpression

Applies the excluding operation to the expression.

Specified by:

excluding in interface BagExpression

Specified by:

excluding in interface SetExpression

reverse

OclInvalidExpression reverse()

Description copied from interface: OrderedSetExpression

Applies the reverse operation to the expression.

Specified by:

reverse in interface OrderedSetExpression

Specified by:

reverse in interface SequenceExpression

flatten

OclInvalidExpression flatten()

Description copied from interface: SetExpression

Applies the flatten operation to the expression.

Specified by:

flatten in interface BagExpression

Specified by:

flatten in interface SetExpression

collectNested

OclInvalidExpression collectNested(IteratorBody<Expression> body)

Description copied from interface: SetExpression

Applies the collectNested iterator to the expression.

Specified by:

collectNested in interface BagExpression

Specified by:

collectNested in interface OrderedSetExpression

Specified by:

collectNested in interface SequenceExpression

Specified by:

collectNested in interface SetExpression

select

OclInvalidExpression select(IteratorBody<BooleanExpression> body)

Description copied from interface: SetExpression

Applies the select iterator to the expression.

Specified by:

select in interface BagExpression

Specified by:

select in interface SetExpression

reject

OclInvalidExpression reject(IteratorBody<BooleanExpression> body)

Description copied from interface: SetExpression

Applies the reject iterator to the expression.

Specified by:

reject in interface BagExpression

Specified by:

reject in interface SetExpression