org.oclparser.internal.core.typecheck
Class JdtAdapter

java.lang.Object
  org.oclparser.internal.core.typecheck.JdtAdapter

All Implemented Interfaces:

IJdtAdapter

public class JdtAdapter

extends java.lang.Object

implements IJdtAdapter

Constructor Summary

JdtAdapter()

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.
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

JdtAdapter

public JdtAdapter()

Method Detail

getType

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

Specified by:

getType in interface IJdtAdapter

Returns:

the Type object corresponding to the given IType.

getType

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

Specified by:

getType in interface IJdtAdapter

Returns:

the Type object corresponding to the given IField.

getType

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

Specified by:

getType in interface IJdtAdapter

Returns:

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

isMap

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

Description copied from interface: IJdtAdapter

Determines, whether the given class is a map.

Specified by:

isMap in interface IJdtAdapter

getOclAnyType

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

Specified by:

getOclAnyType in interface IJdtAdapter

Returns:

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

toString

public java.lang.String toString()