Dresden OCL Toolkit

tudresden.ocl.check.types
Class DefaultTypeFactory

java.lang.Object
  extended bytudresden.ocl.check.types.DefaultTypeFactory
All Implemented Interfaces:
TypeFactory

public class DefaultTypeFactory
extends Object
implements TypeFactory


Field Summary
protected  ModelFacade myModelFacade
           
(package private) static HashSet predefinedTypeNames
           
 
Constructor Summary
DefaultTypeFactory(ModelFacade mf)
           
 
Method Summary
 void assertTrue(Type found, Type expected, Node where)
           
 boolean conforms(Type found, Type expected)
           
 Type get(String name)
           
 Type getBag()
           
 Type getBag(Type param)
           
 Type getBoolean()
           
 Type getCollection()
           
 Type getCollection(Type param)
           
 Type getEnumerationElement()
           
 Type getInteger()
           
 Type getOclAny()
           
 Type getOclType(Type t)
           
 Type getReal()
           
 Type getSequence()
           
 Type getSequence(Type param)
           
 Type getSet()
           
 Type getSet(Type param)
           
 Type getString()
           
static String toString(Type[] array)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

predefinedTypeNames

static HashSet predefinedTypeNames

myModelFacade

protected ModelFacade myModelFacade
Constructor Detail

DefaultTypeFactory

public DefaultTypeFactory(ModelFacade mf)
Method Detail

getBoolean

public Type getBoolean()
Specified by:
getBoolean in interface TypeFactory

getInteger

public Type getInteger()
Specified by:
getInteger in interface TypeFactory

getReal

public Type getReal()
Specified by:
getReal in interface TypeFactory

getString

public Type getString()
Specified by:
getString in interface TypeFactory

getSet

public Type getSet()
Specified by:
getSet in interface TypeFactory

getSet

public Type getSet(Type param)
Specified by:
getSet in interface TypeFactory

getBag

public Type getBag()
Specified by:
getBag in interface TypeFactory

getBag

public Type getBag(Type param)
Specified by:
getBag in interface TypeFactory

getSequence

public Type getSequence()
Specified by:
getSequence in interface TypeFactory

getSequence

public Type getSequence(Type param)
Specified by:
getSequence in interface TypeFactory

getCollection

public Type getCollection()
Specified by:
getCollection in interface TypeFactory

getCollection

public Type getCollection(Type param)
Specified by:
getCollection in interface TypeFactory

getEnumerationElement

public Type getEnumerationElement()
Specified by:
getEnumerationElement in interface TypeFactory

getOclType

public Type getOclType(Type t)
Specified by:
getOclType in interface TypeFactory
Parameters:
t - the type that will be the element type of the set returned by allInstances

getOclAny

public Type getOclAny()
Specified by:
getOclAny in interface TypeFactory

get

public Type get(String name)
Specified by:
get in interface TypeFactory

conforms

public boolean conforms(Type found,
                        Type expected)
Specified by:
conforms in interface TypeFactory

assertTrue

public void assertTrue(Type found,
                       Type expected,
                       Node where)
Specified by:
assertTrue in interface TypeFactory

toString

public static String toString(Type[] array)

Dresden OCL Toolkit

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