krieger.oclsolve
Interface StringExpression

All Superinterfaces:

Expression, OclAnyExpression

All Known Subinterfaces:

OclInvalidExpression, OclVoidExpression

public interface StringExpression
extends OclAnyExpression

Represents an OCL expression of type String.

Method Summary

StringExpression	at(IntegerExpression i) Applies the at operation to the expression.
SequenceExpression	characters() Applies the characters operation to the expression.
StringExpression	concat(StringExpression i) Applies the concat operation to the expression.
IntegerExpression	indexOf(StringExpression s) Applies the indexOf operation to the expression.
StringExpression	plus(StringExpression s) Applies the + operation to the expression.
IntegerExpression	size() Applies the size operation to the expression.
StringExpression	substring(IntegerExpression lower, IntegerExpression upper) Applies the substring operation to the expression.
BooleanExpression	toBoolean() Applies the toBoolean operation to the expression.

Methods inherited from interface krieger.oclsolve.OclAnyExpression

oclIsEqualTo, oclIsInvalid, oclIsNew, oclIsNotEqualTo, oclIsUndefined

Methods inherited from interface krieger.oclsolve.Expression

evaluate

Method Detail

plus

StringExpression plus(StringExpression s)

Applies the + operation to the expression.

concat

StringExpression concat(StringExpression i)

Applies the concat operation to the expression.

size

IntegerExpression size()

Applies the size operation to the expression.

substring

StringExpression substring(IntegerExpression lower,
                           IntegerExpression upper)

Applies the substring operation to the expression.

at

StringExpression at(IntegerExpression i)

Applies the at operation to the expression.

indexOf

IntegerExpression indexOf(StringExpression s)

Applies the indexOf operation to the expression.

characters

SequenceExpression characters()

Applies the characters operation to the expression.

toBoolean

BooleanExpression toBoolean()

Applies the toBoolean operation to the expression.