krieger.oclsolve
Class ClassTranslatorBase<T,TID>

java.lang.Object
  krieger.oclsolve.ClassTranslatorBase<T,TID>

Type Parameters:

T - The type used for representing classes.

TID - A separate type for identifying classes.

public class ClassTranslatorBase<T,TID>
extends java.lang.Object

A base class for a translator that can create a ClassifierFactory from a class diagram.

Constructor Summary

ClassTranslatorBase()

Method Summary

ClassifierFactory<TID>	createClassifierFactory(int bitWidth) Returns a ClassifierFactory for the class diagram.
java.util.Set<T>	getClasses() Returns all classes in the class diagram.
TypeHierarchy<T,TID>	getClassHierarchy() Returns the type hierarchy represented by the class diagram.
boolean	isVolatile(T t) Returns whether new instances of this type can be created by constraint solving.

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassTranslatorBase

public ClassTranslatorBase()

Method Detail

isVolatile

public boolean isVolatile(T t)

Returns whether new instances of this type can be created by constraint solving.

getClasses

public java.util.Set<T> getClasses()

Returns all classes in the class diagram.

getClassHierarchy

public TypeHierarchy<T,TID> getClassHierarchy()

Returns the type hierarchy represented by the class diagram.

createClassifierFactory

public final ClassifierFactory<TID> createClassifierFactory(int bitWidth)

Returns a ClassifierFactory for the class diagram.