Dresden OCL Toolkit

tudresden.ocl.check.types
Interface TypeFactory

All Known Implementing Classes:
DefaultTypeFactory

public interface TypeFactory

The class TypeChecker depends on the package types, not only on this interface. If it is necessary to exchange the whole type system representation and not only the ModelFacade (which does not seem probable) this involves changes at least in TypeChecker and tudresden.ocl.normalize.TypeInformationInsertion. Adaptions to new model information sources (such as CASE tool repositories) is easily possible without exchanging the complete type representation system, see ModelFacade.

See Also:
ModelFacade

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 ofWhichType)
           
 Type getReal()
           
 Type getSequence()
           
 Type getSequence(Type param)
           
 Type getSet()
           
 Type getSet(Type param)
           
 Type getString()
           
 

Method Detail

getBoolean

public Type getBoolean()

getInteger

public Type getInteger()

getReal

public Type getReal()

getString

public Type getString()

getSet

public Type getSet()

getSet

public Type getSet(Type param)

getBag

public Type getBag()

getBag

public Type getBag(Type param)

getSequence

public Type getSequence()

getSequence

public Type getSequence(Type param)

getCollection

public Type getCollection()

getCollection

public Type getCollection(Type param)

getEnumerationElement

public Type getEnumerationElement()

getOclType

public Type getOclType(Type ofWhichType)
Parameters:
ofWhichType - the type that will be the element type of the set returned by allInstances

getOclAny

public Type getOclAny()

get

public Type get(String name)

conforms

public boolean conforms(Type found,
                        Type expected)

assertTrue

public void assertTrue(Type found,
                       Type expected,
                       Node where)

Dresden OCL Toolkit

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