org.oclparser.internal.core.typecheck
Interface IJdtAdapter

All Known Implementing Classes:

JdtAdapter

public interface IJdtAdapter

IJdtAdapter is the interface to the Java type information provided by Eclipse's JDT.

Method Summary

tudresden.ocl.check.types.Type	getOclAnyType()
tudresden.ocl.check.types.Type	getType(org.eclipse.jdt.core.IField f)
tudresden.ocl.check.types.Type	getType(org.eclipse.jdt.core.IType t)
tudresden.ocl.check.types.Type	getType(java.lang.String typeSignature)
boolean	isMap(org.eclipse.jdt.core.IType t) Determines, whether the given class is a map.

Method Detail

getType

public tudresden.ocl.check.types.Type getType(org.eclipse.jdt.core.IType t)

Returns:

the Type object corresponding to the given IType.

getType

public tudresden.ocl.check.types.Type getType(org.eclipse.jdt.core.IField f)

Returns:

the Type object corresponding to the given IField.

getType

public tudresden.ocl.check.types.Type getType(java.lang.String typeSignature)

Returns:

the Type object corresponding to the given type signature (e.g. tudresden.ocl.check.types.Basic.INTEGER for type signature "I").

getOclAnyType

public tudresden.ocl.check.types.Type getOclAnyType()

Returns:

a new object of tudresden.ocl.check.types.Basic.OclAny.

isMap

public boolean isMap(org.eclipse.jdt.core.IType t)

Determines, whether the given class is a map.