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
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)
Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.