krieger.oclsolve
Interface SequenceExpression

All Superinterfaces:

CollectionExpression, Expression

All Known Subinterfaces:

OclInvalidExpression, OclVoidExpression

public interface SequenceExpression
extends CollectionExpression

Represents an OCL expression of type Sequence.

Method Summary

SequenceExpression	append(Expression object) Applies the append operation to the expression.
Expression	at(IntegerExpression i) Applies the at operation to the expression.
SequenceExpression	collectNested(IteratorBody<Expression> body) Applies the collectNested iterator to the expression.
Expression	first() Applies the first operation to the expression.
SequenceExpression	including(Expression object) Applies the including operation to the expression.
IntegerExpression	indexOf(Expression obj) Applies the indexOf operation to the expression.
Expression	insertAt(IntegerExpression index, Expression object) Applies the insertAt operation to the expression.
Expression	last() Applies the last operation to the expression.
SequenceExpression	prepend(Expression object) Applies the prepend operation to the expression.
SequenceExpression	reverse() Applies the reverse operation to the expression.
Expression	subSequence(IntegerExpression lower, IntegerExpression upper) Applies the subSequence operation to the expression.
SequenceExpression	union(SequenceExpression s) Applies the union operation to the expression.

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

SequenceExpression union(SequenceExpression s)

Applies the union operation to the expression.

append

SequenceExpression append(Expression object)

Applies the append operation to the expression.

prepend

SequenceExpression prepend(Expression object)

Applies the prepend operation to the expression.

at

Expression at(IntegerExpression i)

Applies the at operation to the expression.

indexOf

IntegerExpression indexOf(Expression obj)

Applies the indexOf operation to the expression.

insertAt

Expression insertAt(IntegerExpression index,
                    Expression object)

Applies the insertAt operation to the expression.

subSequence

Expression subSequence(IntegerExpression lower,
                       IntegerExpression upper)

Applies the subSequence operation to the expression.

first

Expression first()

Applies the first operation to the expression.

last

Expression last()

Applies the last operation to the expression.

including

SequenceExpression including(Expression object)

Applies the including operation to the expression.

reverse

SequenceExpression reverse()

Applies the reverse operation to the expression.

collectNested

SequenceExpression collectNested(IteratorBody<Expression> body)

Applies the collectNested iterator to the expression.