org.oclparser.internal.core.typecheck
Class JdtTypeAny

java.lang.Object
  extended byorg.oclparser.internal.core.typecheck.JdtTypeAny
All Implemented Interfaces:
tudresden.ocl.check.types.Any, tudresden.ocl.check.types.Type

public class JdtTypeAny
extends java.lang.Object
implements tudresden.ocl.check.types.Any

Author:
Stefan

Nested Class Summary
 
Nested classes inherited from class tudresden.ocl.check.types.Any
tudresden.ocl.check.types.Any.VoidAny
 
Field Summary
 
Fields inherited from interface tudresden.ocl.check.types.Any
VOID
 
Constructor Summary
JdtTypeAny(org.eclipse.jdt.core.IType type, JdtFacade jdtFacade)
           
 
Method Summary
 boolean conformsTo(tudresden.ocl.check.types.Type t)
           
 boolean equals(java.lang.Object o)
           
 int hashCode()
           
 boolean hasState(java.lang.String name)
           
 tudresden.ocl.check.types.Type navigateParameterized(java.lang.String name, tudresden.ocl.check.types.Type[] params)
           
 tudresden.ocl.check.types.Type navigateQualified(java.lang.String name, tudresden.ocl.check.types.Type[] qualifiers)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

JdtTypeAny

public JdtTypeAny(org.eclipse.jdt.core.IType type,
                  JdtFacade jdtFacade)
Parameters:
type - the corresponding IType.
jdtFacade - the facade used to extract the required information from the JDT model and also from compiled Java classes via Java Reflection.
Method Detail

navigateQualified

public tudresden.ocl.check.types.Type navigateQualified(java.lang.String name,
                                                        tudresden.ocl.check.types.Type[] qualifiers)
                                                 throws tudresden.ocl.check.OclTypeException
Specified by:
navigateQualified in interface tudresden.ocl.check.types.Type
Throws:
tudresden.ocl.check.OclTypeException

navigateParameterized

public tudresden.ocl.check.types.Type navigateParameterized(java.lang.String name,
                                                            tudresden.ocl.check.types.Type[] params)
                                                     throws tudresden.ocl.check.OclTypeException
Specified by:
navigateParameterized in interface tudresden.ocl.check.types.Type
Throws:
tudresden.ocl.check.OclTypeException

hasState

public boolean hasState(java.lang.String name)
Specified by:
hasState in interface tudresden.ocl.check.types.Type

conformsTo

public boolean conformsTo(tudresden.ocl.check.types.Type t)
Specified by:
conformsTo in interface tudresden.ocl.check.types.Type

equals

public boolean equals(java.lang.Object o)
Specified by:
equals in interface tudresden.ocl.check.types.Type

hashCode

public int hashCode()
Specified by:
hashCode in interface tudresden.ocl.check.types.Type

toString

public java.lang.String toString()
Specified by:
toString in interface tudresden.ocl.check.types.Type