A B C D E F G H I K L M N O P Q R S T U V X

A

addAssociation(PID, PID, CID, Multiplicity, CID, Multiplicity, boolean) - Method in class krieger.oclsolve.PropertyContainer
Adds an association to the container.
addAttribute(PID, CID, Classifier<?>, boolean) - Method in class krieger.oclsolve.PropertyContainer
Adds an attribute to the container.
addConstraint(BooleanExpression) - Method in class krieger.oclsolve.Problem
Conjoins the given constraint with the problem.
addQuery(Expression) - Method in class krieger.oclsolve.Problem
Registers the given query for evaluation.
addToProblem(Problem) - Method in class krieger.oclsolve.ClassEncoding
 
addToProblem(Problem) - Method in class krieger.oclsolve.ClassifierFactory
 
addToProblem(Problem) - Method in interface krieger.oclsolve.Declaration
Adds this declaration to the given Problem.
addToProblem(Problem) - Method in class krieger.oclsolve.PropertyContainer
 
allInstances(CID) - Method in class krieger.oclsolve.ClassifierFactory
 
and(BooleanExpression) - Method in interface krieger.oclsolve.BooleanExpression
Applies the and operation to the expression.
any(IteratorBody<BooleanExpression>) - Method in interface krieger.oclsolve.CollectionExpression
Applies the any iterator to the expression.
append(Expression) - Method in interface krieger.oclsolve.SequenceExpression
Applies the append operation to the expression.
asBag() - Method in interface krieger.oclsolve.CollectionExpression
Applies the asBag operation to the expression.
asOrderedSet() - Method in interface krieger.oclsolve.CollectionExpression
Applies the asOrderedSet operation to the expression.
asSequence() - Method in interface krieger.oclsolve.CollectionExpression
Applies the asSequence operation to the expression.
asSet() - Method in interface krieger.oclsolve.CollectionExpression
Applies the asSet operation to the expression.
assignValue(Object) - Method in interface krieger.oclsolve.Constant
Assigns the given constant value.
assignValue(ClassInstance, Object) - Method in interface krieger.oclsolve.Property
Assigns a value to the property for the given class instance.
at(IntegerExpression) - Method in interface krieger.oclsolve.OrderedSetExpression
Applies the at operation to the expression.
at(IntegerExpression) - Method in interface krieger.oclsolve.SequenceExpression
Applies the at operation to the expression.
at(IntegerExpression) - Method in interface krieger.oclsolve.StringExpression
Applies the at operation to the expression.

B

BagExpression - Interface in krieger.oclsolve
Represents an OCL expression of type Bag.
BooleanExpression - Interface in krieger.oclsolve
Represents an OCL expression of type Boolean.

C

call(String, Object, Class<?>, Object...) - Static method in class krieger.oclruntime.MethodBody
Calls a method body stored in a resource.
call(Object, Object...) - Method in class krieger.oclruntime.MethodBody
Calls this method body.
characters() - Method in interface krieger.oclsolve.StringExpression
Applies the characters operation to the expression.
ClassEncoding - Class in krieger.oclsolve
Represents an encoding of a class diagram.
Classifier<T extends Expression> - Class in krieger.oclsolve
Represents an OCL type.
ClassifierFactory<CID> - Class in krieger.oclsolve
A factory for Classifiers representing OCL types.
ClassInstance - Class in krieger.oclsolve
Represents a class instance.
ClassTranslatorBase<T,TID> - Class in krieger.oclsolve
A base class for a translator that can create a ClassifierFactory from a class diagram.
ClassTranslatorBase() - Constructor for class krieger.oclsolve.ClassTranslatorBase
 
ClassTypeExpression - Interface in krieger.oclsolve
Represents an OCL expression whose type is a class.
collect(IteratorBody<Expression>) - Method in interface krieger.oclsolve.BagExpression
Applies the collect iterator to the expression.
collect(IteratorBody<Expression>) - Method in interface krieger.oclsolve.SetExpression
Applies the collect iterator to the expression.
CollectionExpression - Interface in krieger.oclsolve
Represents an OCL expression of type Collection.
collectNested(IteratorBody<Expression>) - Method in interface krieger.oclsolve.BagExpression
Applies the collectNested iterator to the expression.
collectNested(IteratorBody<Expression>) - Method in interface krieger.oclsolve.OclVoidExpression
 
collectNested(IteratorBody<Expression>) - Method in interface krieger.oclsolve.OrderedSetExpression
Applies the collectNested iterator to the expression.
collectNested(IteratorBody<Expression>) - Method in interface krieger.oclsolve.SequenceExpression
Applies the collectNested iterator to the expression.
collectNested(IteratorBody<Expression>) - Method in interface krieger.oclsolve.SetExpression
Applies the collectNested iterator to the expression.
concat(StringExpression) - Method in interface krieger.oclsolve.StringExpression
Applies the concat operation to the expression.
Constant<T> - Interface in krieger.oclsolve
Represents a constant value.
count(Expression) - Method in interface krieger.oclsolve.CollectionExpression
Applies the count operation to the expression.
createAssociation(CID, Multiplicity, CID, Multiplicity, boolean, boolean) - Method in class krieger.oclsolve.PropertyFactory
Returns an new association.
createAttribute(CID, Classifier<?>, boolean, boolean) - Method in class krieger.oclsolve.PropertyFactory
Returns an new attribute.
createClassifierFactory(int) - Method in class krieger.oclsolve.ClassTranslatorBase
Returns a ClassifierFactory for the class diagram.

D

Declaration - Interface in krieger.oclsolve
Represents an entity that can be added to a Problem.
DEFAULT - Static variable in class krieger.oclsolve.Multiplicity
 
div(IntegerExpression) - Method in interface krieger.oclsolve.IntegerExpression
Applies the div operation to the expression.

E

EMPTYBAG - Static variable in class krieger.oclsolve.ExpressionFactory
 
EMPTYSEQUENCE - Static variable in class krieger.oclsolve.ExpressionFactory
 
EMPTYSET - Static variable in class krieger.oclsolve.ExpressionFactory
 
equals(Object) - Method in class krieger.oclruntime.PropertyID
 
equals(Object) - Method in class krieger.oclsolve.ClassInstance
 
evaluate(Object, Object...) - Method in class krieger.oclruntime.QueryEvaluator
Evaluates all queries.
evaluate() - Method in interface krieger.oclsolve.Expression
Evaluates the expression.
evaluate(Expression) - Method in interface krieger.oclsolve.IteratorBody
Evaluates the body.
excludes(Expression) - Method in interface krieger.oclsolve.CollectionExpression
Applies the excludes operation to the expression.
excludesAll(CollectionExpression) - Method in interface krieger.oclsolve.CollectionExpression
Applies the excludesAll operation to the expression.
excluding(Expression) - Method in interface krieger.oclsolve.BagExpression
Applies the excluding operation to the expression.
excluding(Expression) - Method in interface krieger.oclsolve.OclVoidExpression
 
excluding(Expression) - Method in interface krieger.oclsolve.SetExpression
Applies the excluding operation to the expression.
exists(IteratorBody<BooleanExpression>) - Method in interface krieger.oclsolve.CollectionExpression
Applies the exists iterator to the expression.
Expression - Interface in krieger.oclsolve
Represents an OCL expression.
ExpressionFactory - Class in krieger.oclsolve
A factory for OCL expressions.

F

FALSE - Static variable in class krieger.oclsolve.ExpressionFactory
 
first() - Method in interface krieger.oclsolve.OrderedSetExpression
Applies the first operation to the expression.
first() - Method in interface krieger.oclsolve.SequenceExpression
Applies the first operation to the expression.
flatten() - Method in interface krieger.oclsolve.BagExpression
Applies the flatten operation to the expression.
flatten() - Method in interface krieger.oclsolve.OclVoidExpression
 
flatten() - Method in interface krieger.oclsolve.SetExpression
Applies the flatten operation to the expression.
forAll(IteratorBody<BooleanExpression>) - Method in interface krieger.oclsolve.CollectionExpression
Applies the forAll iterator to the expression.

G

geq(IntegerExpression) - Method in interface krieger.oclsolve.IntegerExpression
Applies the >= operation to the expression.
getAllTypes() - Method in class krieger.oclsolve.TypeHierarchy
Returns all types in the type hierachy.
getBooleanType(Multiplicity) - Method in class krieger.oclsolve.ClassifierFactory
 
getClass(ClassInstance) - Method in class krieger.oclsolve.ClassifierFactory
 
getClasses() - Method in class krieger.oclsolve.ClassTranslatorBase
Returns all classes in the class diagram.
getClassHierarchy() - Method in class krieger.oclsolve.ClassTranslatorBase
Returns the type hierarchy represented by the class diagram.
getClassType(CID, Multiplicity) - Method in class krieger.oclsolve.ClassifierFactory
 
getExpression() - Method in interface krieger.oclsolve.Variable
Returns an Expresssion representing the variable.
getIntegerConstant(BigInteger) - Static method in class krieger.oclsolve.ExpressionFactory
 
getIntegerConstant(long) - Static method in class krieger.oclsolve.ExpressionFactory
 
getIntegerRange(IntegerExpression, IntegerExpression) - Static method in class krieger.oclsolve.ExpressionFactory
 
getIntegerType(Multiplicity) - Method in class krieger.oclsolve.ClassifierFactory
 
getLower() - Method in class krieger.oclsolve.Multiplicity
 
getName(T) - Method in class krieger.oclsolve.TypeHierarchy
Returns an identifier for the given type.
getPath(T) - Method in class krieger.oclsolve.TypeHierarchy
Returns a path to the Java file for the given type/class.
getProperty(PID, boolean) - Method in class krieger.oclsolve.PropertyContainer
Looks up a property in the container.
getResult(K) - Method in class krieger.oclruntime.QueryEvaluator
Returns the result of the evaluation for the given query.
getStringConstant(String) - Static method in class krieger.oclsolve.ExpressionFactory
 
getStringType(Multiplicity) - Method in class krieger.oclsolve.ClassifierFactory
 
getSubtypes(T) - Method in class krieger.oclsolve.TypeHierarchy
Returns the subtypes of the given type.
getUpper() - Method in class krieger.oclsolve.Multiplicity
 
getValue(ClassTypeExpression) - Method in interface krieger.oclsolve.Property
Evaluates the property for the given class instance.
getValue(ClassInstance) - Method in interface krieger.oclsolve.Property
Evaluates the property for the given class instance.
greaterThan(IntegerExpression) - Method in interface krieger.oclsolve.IntegerExpression
Applies the > operation to the expression.

H

hashCode() - Method in class krieger.oclruntime.PropertyID
 
hashCode() - Method in class krieger.oclsolve.ClassInstance
 

I

ifThenElse(Expression, Expression) - Method in interface krieger.oclsolve.BooleanExpression
Returns an Expression representing an OCL if-then-else expression.
implies(BooleanExpression) - Method in interface krieger.oclsolve.BooleanExpression
Applies the implies operation to the expression.
includes(Expression) - Method in interface krieger.oclsolve.CollectionExpression
Applies the includes operation to the expression.
includesAll(CollectionExpression) - Method in interface krieger.oclsolve.CollectionExpression
Applies the includesAll operation to the expression.
including(Expression) - Method in interface krieger.oclsolve.BagExpression
Applies the including operation to the expression.
including(Expression) - Method in interface krieger.oclsolve.OclVoidExpression
 
including(Expression) - Method in interface krieger.oclsolve.SequenceExpression
Applies the including operation to the expression.
including(Expression) - Method in interface krieger.oclsolve.SetExpression
Applies the including operation to the expression.
indexOf(Expression) - Method in interface krieger.oclsolve.SequenceExpression
Applies the indexOf operation to the expression.
indexOf(StringExpression) - Method in interface krieger.oclsolve.StringExpression
Applies the indexOf operation to the expression.
insertAt(IntegerExpression, Expression) - Method in interface krieger.oclsolve.SequenceExpression
Applies the insertAt operation to the expression.
IntegerExpression - Interface in krieger.oclsolve
Represents an OCL expression of type Integer.
intersection(SetExpression) - Method in interface krieger.oclsolve.BagExpression
Applies the intersection operation to the expression.
intersection(SetExpression) - Method in interface krieger.oclsolve.SetExpression
Applies the intersection operation to the expression, taking a Set as argument.
intersection(BagExpression) - Method in interface krieger.oclsolve.SetExpression
Applies the intersection operation to the expression, taking a Bag as argument.
INVALID - Static variable in class krieger.oclsolve.ExpressionFactory
 
isAbstract(T) - Method in class krieger.oclsolve.TypeHierarchy
Returns whether the given type is abstract.
isEmpty() - Method in interface krieger.oclsolve.CollectionExpression
Applies the isEmpty operation to the expression.
isInfinite() - Method in class krieger.oclsolve.Multiplicity
 
isOrdered() - Method in class krieger.oclsolve.Multiplicity
 
isUnique() - Method in class krieger.oclsolve.Multiplicity
 
isVolatile(T) - Method in class krieger.oclsolve.ClassTranslatorBase
Returns whether new instances of this type can be created by constraint solving.
IteratorBody<T extends Expression> - Interface in krieger.oclsolve
Represents a body of an OCL iterator expression.

K

krieger.oclruntime - package krieger.oclruntime
Contains classes for executing/simulating operations specified in OCL, possibly embedded in a Java application.
krieger.oclsolve - package krieger.oclsolve
Provides support for solving OCL constraints.

L

last() - Method in interface krieger.oclsolve.OrderedSetExpression
Applies the last operation to the expression.
last() - Method in interface krieger.oclsolve.SequenceExpression
Applies the last operation to the expression.
leq(IntegerExpression) - Method in interface krieger.oclsolve.IntegerExpression
Applies the <= operation to the expression.
lessThan(IntegerExpression) - Method in interface krieger.oclsolve.IntegerExpression
Applies the < operation to the expression.

M

max() - Method in interface krieger.oclsolve.CollectionExpression
Applies the max operation to the expression.
max(IntegerExpression) - Method in interface krieger.oclsolve.IntegerExpression
Applies the max operation to the expression.
maximize(IntegerExpression) - Method in class krieger.oclsolve.Problem
Equivalent to minimize(f.minus()).
MethodBody - Class in krieger.oclruntime
Represents a Java method body generated from an OCL operation contract.
MethodBody(ClassifierFactory<String>, PropertyContainer<PropertyID, String>, Collection<PropertyID>, Constant<?>, List<Constant<? extends Expression>>, Variable<? extends Expression>, Problem, QueryEvaluator<PropertyID>) - Constructor for class krieger.oclruntime.MethodBody
Constructs a new method body.
min() - Method in interface krieger.oclsolve.CollectionExpression
Applies the min operation to the expression.
min(IntegerExpression) - Method in interface krieger.oclsolve.IntegerExpression
Applies the min operation to the expression.
minimize(IntegerExpression) - Method in class krieger.oclsolve.Problem
Sets the objective function to be minimized when solving the problem.
minus() - Method in interface krieger.oclsolve.IntegerExpression
Applies the unary - operation to the expression.
minus(IntegerExpression) - Method in interface krieger.oclsolve.IntegerExpression
Applies the binary - operation to the expression.
minus(SetExpression) - Method in interface krieger.oclsolve.SetExpression
Applies the - operation to the expression.
mod(IntegerExpression) - Method in interface krieger.oclsolve.IntegerExpression
Applies the mod operation to the expression.
mult(IntegerExpression) - Method in interface krieger.oclsolve.IntegerExpression
Applies the * operation to the expression.
Multiplicity - Class in krieger.oclsolve
Represents a multiplicity.
Multiplicity(int, int, boolean, boolean) - Constructor for class krieger.oclsolve.Multiplicity
 

N

newConstant() - Method in class krieger.oclsolve.Classifier
Returns a new Constant of this type.
newInstance(CID) - Method in class krieger.oclsolve.ClassifierFactory
Creates a new ClassInstance of the given class type.
newInstance(Collection<CID>) - Method in class krieger.oclsolve.ClassifierFactory
Creates a new ClassInstance with the given supertypes whose exact type is unknown.
newVariable() - Method in class krieger.oclsolve.Classifier
Returns a new Variable of this type.
not() - Method in interface krieger.oclsolve.BooleanExpression
Applies the not operation to the expression.
notEmpty() - Method in interface krieger.oclsolve.CollectionExpression
Applies the notEmpty operation to the expression.
NULL - Static variable in class krieger.oclsolve.ExpressionFactory
 

O

OclAnyExpression - Interface in krieger.oclsolve
Represents an OCL expression of type OclAny.
OclInvalidExpression - Interface in krieger.oclsolve
Represents an OCL expression of type OclInvalid.
oclIsEqualTo(CollectionExpression) - Method in interface krieger.oclsolve.CollectionExpression
Applies the = operation to the expression.
oclIsEqualTo(OclAnyExpression) - Method in interface krieger.oclsolve.OclAnyExpression
Applies the = operation to the expression.
oclIsInvalid() - Method in interface krieger.oclsolve.OclAnyExpression
Applies the oclIsInvalid operation to the expression.
oclIsNew() - Method in interface krieger.oclsolve.OclAnyExpression
Applies the oclIsNew operation to the expression.
oclIsNotEqualTo(OclAnyExpression) - Method in interface krieger.oclsolve.OclAnyExpression
Applies the <> operation to the expression.
oclIsUndefined() - Method in interface krieger.oclsolve.OclAnyExpression
Applies the oclIsUndefined operation to the expression.
OclVoidExpression - Interface in krieger.oclsolve
Represents an OCL expression of type OclVoid.
one(IteratorBody<BooleanExpression>) - Method in interface krieger.oclsolve.CollectionExpression
Applies the one iterator to the expression.
or(BooleanExpression) - Method in interface krieger.oclsolve.BooleanExpression
Applies the or operation to the expression.
OrderedSetExpression - Interface in krieger.oclsolve
Represents an OCL expression of type OrderedSet.

P

plus(IntegerExpression) - Method in interface krieger.oclsolve.IntegerExpression
Applies the + operation to the expression.
plus(StringExpression) - Method in interface krieger.oclsolve.StringExpression
Applies the + operation to the expression.
prepend(Expression) - Method in interface krieger.oclsolve.SequenceExpression
Applies the prepend operation to the expression.
Problem - Class in krieger.oclsolve
Represents an OCL constraint satisfaction problem.
Problem() - Constructor for class krieger.oclsolve.Problem
 
Property - Interface in krieger.oclsolve
Represents a (UML) property.
PropertyContainer<PID,CID> - Class in krieger.oclsolve
Represents a container for (UML) properties.
PropertyContainer(ClassifierFactory<CID>) - Constructor for class krieger.oclsolve.PropertyContainer
Creates a PropertyContainer from a ClassifierFactory.
PropertyFactory<CID> - Class in krieger.oclsolve
Represents a factory for (UML) properties.
PropertyFactory(ClassifierFactory<CID>) - Constructor for class krieger.oclsolve.PropertyFactory
Creates a PropertyFactory from a ClassifierFactory.
PropertyID - Class in krieger.oclruntime
Identifies a property.
PropertyID(String, String) - Constructor for class krieger.oclruntime.PropertyID
 

Q

QueryEvaluator<K> - Class in krieger.oclruntime
A class for evaluating OCL queries represented by Expressions in the context of a method call.
QueryEvaluator(ClassifierFactory<String>, PropertyContainer<PropertyID, String>, Constant<?>, List<Constant<? extends Expression>>, Variable<? extends Expression>, Problem, Map<K, ? extends Expression>) - Constructor for class krieger.oclruntime.QueryEvaluator
Constructs a new QueryEvaluator.

R

reject(IteratorBody<BooleanExpression>) - Method in interface krieger.oclsolve.BagExpression
Applies the reject iterator to the expression.
reject(IteratorBody<BooleanExpression>) - Method in interface krieger.oclsolve.OclVoidExpression
 
reject(IteratorBody<BooleanExpression>) - Method in interface krieger.oclsolve.SetExpression
Applies the reject iterator to the expression.
reverse() - Method in interface krieger.oclsolve.OclVoidExpression
 
reverse() - Method in interface krieger.oclsolve.OrderedSetExpression
Applies the reverse operation to the expression.
reverse() - Method in interface krieger.oclsolve.SequenceExpression
Applies the reverse operation to the expression.

S

select(IteratorBody<BooleanExpression>) - Method in interface krieger.oclsolve.BagExpression
Applies the select iterator to the expression.
select(IteratorBody<BooleanExpression>) - Method in interface krieger.oclsolve.OclVoidExpression
 
select(IteratorBody<BooleanExpression>) - Method in interface krieger.oclsolve.SetExpression
Applies the select iterator to the expression.
SequenceExpression - Interface in krieger.oclsolve
Represents an OCL expression of type Sequence.
SetExpression - Interface in krieger.oclsolve
Represents an OCL expression of type Set.
setTimeout(Integer) - Method in class krieger.oclsolve.Problem
Sets the timeout for constraint solving.
size() - Method in interface krieger.oclsolve.CollectionExpression
Applies the size operation to the expression.
size() - Method in interface krieger.oclsolve.StringExpression
Applies the size operation to the expression.
solve() - Method in class krieger.oclsolve.Problem
Solves the constraint satisfaction problem.
StringExpression - Interface in krieger.oclsolve
Represents an OCL expression of type String.
subOrderedSet(IntegerExpression, IntegerExpression) - Method in interface krieger.oclsolve.OrderedSetExpression
Applies the subOrderedSet operation to the expression.
subSequence(IntegerExpression, IntegerExpression) - Method in interface krieger.oclsolve.SequenceExpression
Applies the subSequence operation to the expression.
substring(IntegerExpression, IntegerExpression) - Method in interface krieger.oclsolve.StringExpression
Applies the substring operation to the expression.
sum() - Method in interface krieger.oclsolve.CollectionExpression
Applies the sum operation to the expression.
symmetricDifference(SetExpression) - Method in interface krieger.oclsolve.SetExpression
Applies the symmetricDifference operation to the expression.

T

toBoolean() - Method in interface krieger.oclsolve.StringExpression
Applies the toBoolean operation to the expression.
toString() - Method in class krieger.oclruntime.PropertyID
 
toString() - Method in class krieger.oclsolve.ClassInstance
 
TRUE - Static variable in class krieger.oclsolve.ExpressionFactory
 
TypeHierarchy<T,TID> - Class in krieger.oclsolve
Represents a type hierarchy.
TypeHierarchy() - Constructor for class krieger.oclsolve.TypeHierarchy
 

U

union(SetExpression) - Method in interface krieger.oclsolve.BagExpression
Applies the union operation to the expression, taking a Set as argument.
union(BagExpression) - Method in interface krieger.oclsolve.BagExpression
Applies the union operation to the expression, taking a Bag as argument.
union(SetExpression) - Method in interface krieger.oclsolve.OclVoidExpression
 
union(SequenceExpression) - Method in interface krieger.oclsolve.SequenceExpression
Applies the union operation to the expression.
union(SetExpression) - Method in interface krieger.oclsolve.SetExpression
Applies the union operation to the expression, taking a Set as argument.
union(BagExpression) - Method in interface krieger.oclsolve.SetExpression
Applies the union operation to the expression, taking a Bag as argument.

V

Variable<T> - Interface in krieger.oclsolve
Represents a variable that holds a value of some OCL type.

X

xor(BooleanExpression) - Method in interface krieger.oclsolve.BooleanExpression
Applies the xor operation to the expression.

A B C D E F G H I K L M N O P Q R S T U V X