Dresden OCL Toolkit

tudresden.ocl.check
Class TypeCheckerFactory

java.lang.Object
  extended bytudresden.ocl.check.TypeCheckerFactory
All Implemented Interfaces:
QueryableFactory

public class TypeCheckerFactory
extends Object
implements QueryableFactory


Constructor Summary
TypeCheckerFactory()
           
 
Method Summary
 NameBoundQueryable getNameBoundQueryable(TypeQueryable tq, OclTree tree, TypeFactory factory)
           
 TypeQueryable getTypeQueryable(NameBoundQueryable nbq, OclTree tree, TypeFactory factory)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TypeCheckerFactory

public TypeCheckerFactory()
Method Detail

getTypeQueryable

public TypeQueryable getTypeQueryable(NameBoundQueryable nbq,
                                      OclTree tree,
                                      TypeFactory factory)
Specified by:
getTypeQueryable in interface QueryableFactory

getNameBoundQueryable

public NameBoundQueryable getNameBoundQueryable(TypeQueryable tq,
                                                OclTree tree,
                                                TypeFactory factory)
Specified by:
getNameBoundQueryable in interface QueryableFactory
Parameters:
tq - the TypeQueryable the client that is requesting a NameBoundQueryable aquired before through getTypeQueryable; null, if the client did not do that

Dresden OCL Toolkit

Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.