krieger.oclsolve
Class ClassifierFactory<CID>

java.lang.Object
  krieger.oclsolve.ClassifierFactory<CID>

Type Parameters:

CID - The type used for identifying classes in the class diagram.

All Implemented Interfaces:

java.io.Serializable, Declaration

public class ClassifierFactory<CID>
extends java.lang.Object
implements Declaration

A factory for Classifiers representing OCL types.

See Also:

Serialized Form

Method Summary

void	addToProblem(Problem problem) Adds this declaration to the given Problem.
SetExpression	allInstances(CID className)
Classifier<?>	getBooleanType(Multiplicity mult)
CID	getClass(ClassInstance object)
Classifier<?>	getClassType(CID name, Multiplicity mult)
Classifier<?>	getIntegerType(Multiplicity mult)
Classifier<?>	getStringType(Multiplicity mult)
ClassInstance	newInstance(CID className) Creates a new ClassInstance of the given class type.
ClassInstance	newInstance(java.util.Collection<CID> superTypeNames) Creates a new ClassInstance with the given supertypes whose exact type is unknown.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getBooleanType

public Classifier<?> getBooleanType(Multiplicity mult)

getStringType

public Classifier<?> getStringType(Multiplicity mult)

getIntegerType

public Classifier<?> getIntegerType(Multiplicity mult)

getClassType

public Classifier<?> getClassType(CID name,
                                  Multiplicity mult)

newInstance

public ClassInstance newInstance(CID className)

Creates a new ClassInstance of the given class type.

newInstance

public ClassInstance newInstance(java.util.Collection<CID> superTypeNames)

Creates a new ClassInstance with the given supertypes whose exact type is unknown.

getClass

public CID getClass(ClassInstance object)

allInstances

public SetExpression allInstances(CID className)

addToProblem

public void addToProblem(Problem problem)

Description copied from interface: Declaration

Adds this declaration to the given Problem.

Specified by:

addToProblem in interface Declaration