tudresden.ocl.check.types
Class DefaultTypeFactory
java.lang.Object
tudresden.ocl.check.types.DefaultTypeFactory
- All Implemented Interfaces:
- TypeFactory
- public class DefaultTypeFactory
- extends Object
- implements TypeFactory
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
predefinedTypeNames
static HashSet predefinedTypeNames
myModelFacade
protected ModelFacade myModelFacade
DefaultTypeFactory
public DefaultTypeFactory(ModelFacade mf)
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)
Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.