Examples of TypeVariable

com.thoughtworks.qdox.model.TypeVariable
@author Robert Scholte @since 1.10
edu.cmu.cs.crystal.tac.model.TypeVariable
In Java you can make calls that look like the following:
System.exit(0);
Here System is a class, but because out is a static field we access it directly from the class name. In this example, System is a type variable and in three address code System would be represented by an instance of this class. For some reason static fields are represented as {@link SourceVariable}instances and not as a field access to a type variable. @author Kevin Bierhoff
java.lang.reflect.TypeVariable
TypeVariable is the common superinterface for type variables of kinds. A type variable is created the first time it is needed by a reflective method, as specified in this package. If a type variable t is referenced by a type (i.e, class, interface or annotation type) T, and T is declared by the nth enclosing class of T (see JLS 8.1.2), then the creation of t requires the resolution (see JVMS 5) of the ith enclosing class of T, for i = 0 to n, inclusive. Creating a type variable must not cause the creation of its bounds. Repeated creation of a type variable has no effect.
Multiple objects may be instantiated at run-time to represent a given type variable. Even though a type variable is created only once, this does not imply any requirement to cache instances representing the type variable. However, all instances representing a type variable must be equal() to each other. As a consequence, users of type variables must not rely on the identity of instances of classes implementing this interface. @param < D> the type of generic declaration that declared theunderlying type variable. @since 1.5
javax.lang.model.type.TypeVariable
Represents a type variable. A type variable may be explicitly declared by a {@linkplain TypeParameterElement type parameter} of atype, method, or constructor. A type variable may also be declared implicitly, as by the capture conversion of a wildcard type argument (see chapter 5 of The Java™ Language Specification). @author Joseph D. Darcy @author Scott Seligman @author Peter von der Ahé @see TypeParameterElement @since 1.6
lombok.ast.TypeVariable
org.aspectj.weaver.TypeVariable
Represents a type variable with possible bounds. @author Adrian Colyer @author Andy Clement
org.cx4a.rsense.typing.annotation.TypeVariable

Examples of com.thoughtworks.qdox.model.TypeVariable

            // is generic?
            if ( javaMethod.getTypeParameters() != null )
            {
                for ( int i = 0; i < javaMethod.getTypeParameters().length; i++ )
                {
                    TypeVariable typeParam = javaMethod.getTypeParameters()[i];


                    separatorAdded = appendDefaultParamTag( sb, indent, separatorAdded, typeParam );
                }
            }
        }

View Full Code Here

Examples of com.thoughtworks.qdox.model.TypeVariable

                // is generic?
                if ( javaMethod.getTypeParameters() != null )
                {
                    for ( int i = 0; i < javaMethod.getTypeParameters().length; i++ )
                    {
                        TypeVariable typeParam = javaMethod.getTypeParameters()[i];


                        if ( javaEntityTags.getJavadocParamTag( "<" + typeParam.getName() + ">", true ) == null )
                        {
                            appendDefaultParamTag( sb, indent, typeParam );
                        }
                    }
                }

View Full Code Here

Examples of edu.cmu.cs.crystal.tac.model.TypeVariable

        }
        result = new SourceVariable(vb.getName(), vb, method.equals(declaredIn));
      }
      else if(binding instanceof ITypeBinding) {
        ITypeBinding tb = (ITypeBinding) binding;
        result = new TypeVariable(tb);
      }
      else 
        throw new IllegalArgumentException("Not a variable: " + binding);
      variables.put(binding, result);
    }

View Full Code Here

Examples of edu.cmu.cs.crystal.tac.model.TypeVariable

        }
        result = new SourceVariable(vb.getName(), vb, method.equals(declaredIn));
      }
      else if(binding instanceof ITypeBinding) {
        ITypeBinding tb = (ITypeBinding) binding;
        result = new TypeVariable(tb);
      }
      else 
        throw new IllegalArgumentException("Not a variable: " + binding);
      variables.put(binding, result);
    }

View Full Code Here

Examples of java.lang.reflect.TypeVariable


      return typeDescription;
    }
    else if (type instanceof TypeVariable)
    {
      TypeVariable tType = (TypeVariable) type;
      String typeDescription = "type variable named " + tType.getName();


      typeDescription = typeDescription + " bounded by " + getTypeArrayDescription(tType.getBounds());
      return typeDescription;
    }
    return "Unknown";


  }

View Full Code Here

Examples of java.lang.reflect.TypeVariable

         final Class<?> componentRawType = getRawType(genericArrayType.getGenericComponentType());
         return Array.newInstance(componentRawType, 0).getClass();
      }
      else if (type instanceof TypeVariable)
      {
         final TypeVariable typeVar = (TypeVariable) type;
         if (typeVar.getBounds() != null && typeVar.getBounds().length > 0)
         {
            return getRawType(typeVar.getBounds()[0]);
         }
      }
      throw new RuntimeException("Unable to determine base class from Type");
   }

View Full Code Here

Examples of java.lang.reflect.TypeVariable

        getConcreteGeneric(pt.getRawType(), 0) : getConcreteGeneric(pt.getActualTypeArguments()[index], 0);
    } else if (type instanceof WildcardType) {
      WildcardType wt = (WildcardType) type;
      return wt.getUpperBounds().length <= index ? null : getConcreteGeneric(wt.getUpperBounds()[index], 0);
    } else if (type instanceof TypeVariable) {
      TypeVariable tt = (TypeVariable) type;
      return tt.getBounds().length <= index ? null : getConcreteGeneric(tt.getBounds()[index], 0);
    } else if (type instanceof GenericArrayType) {
      GenericArrayType gat = (GenericArrayType) type;
      return getConcreteGeneric(gat.getGenericComponentType(), index);
    } else if (type instanceof Class) {
      return (Class) type;

View Full Code Here

Examples of java.lang.reflect.TypeVariable


            if (superType instanceof ParameterizedType)
            {
                ParameterizedType superPType = (ParameterizedType) superType;


                TypeVariable tv = (TypeVariable) genericType;


                String name = tv.getName();


                TypeVariable[] typeVariables = tv.getGenericDeclaration().getTypeParameters();


                for (int i = 0; i < typeVariables.length; i++)
                {
                    TypeVariable stv = typeVariables[i];


                    // We're trying to match the name of the type variable that is used as the return type
                    // of the method. With that name, we find the corresponding index in the
                    // type declarations. With the index, we check superPType for the Class instance
                    // that defines it. Generics has lots of other options that we simply can't handle.


                    if (stv.getName().equals(name))
                    {
                        Type actualType = superPType.getActualTypeArguments()[i];


                        if (actualType instanceof Class)
                            return (Class) actualType;

View Full Code Here

Examples of java.lang.reflect.TypeVariable


  Type resolveType(Type toResolve) {
    // this implementation is made a little more complicated in an attempt to avoid object-creation
    while (true) {
      if (toResolve instanceof TypeVariable) {
        TypeVariable original = (TypeVariable) toResolve;
        toResolve = MoreTypes.resolveTypeVariable(type, rawType, original);
        if (toResolve == original) {
          return toResolve;
        }


      } else if (toResolve instanceof GenericArrayType) {
        GenericArrayType original = (GenericArrayType) toResolve;
        Type componentType = original.getGenericComponentType();
        Type newComponentType = resolveType(componentType);
        return componentType == newComponentType
            ? original
            : Types.arrayOf(newComponentType);


      } else if (toResolve instanceof ParameterizedType) {
        ParameterizedType original = (ParameterizedType) toResolve;
        Type ownerType = original.getOwnerType();
        Type newOwnerType = resolveType(ownerType);
        boolean changed = newOwnerType != ownerType;


        Type[] args = original.getActualTypeArguments();
        for (int t = 0, length = args.length; t < length; t++) {
          Type resolvedTypeArgument = resolveType(args[t]);
          if (resolvedTypeArgument != args[t]) {
            if (!changed) {
              args = args.clone();
              changed = true;
            }
            args[t] = resolvedTypeArgument;
          }
        }


        return changed
            ? Types.newParameterizedTypeWithOwner(newOwnerType, original.getRawType(), args)
            : original;


      } else if (toResolve instanceof WildcardType) {
        WildcardType original = (WildcardType) toResolve;
        Type[] originalLowerBound = original.getLowerBounds();
        Type[] originalUpperBound = original.getUpperBounds();


        if (originalLowerBound.length == 1) {
          Type lowerBound = resolveType(originalLowerBound[0]);
          if (lowerBound != originalLowerBound[0]) {
            return Types.supertypeOf(lowerBound);

View Full Code Here

Examples of java.lang.reflect.TypeVariable

                ParameterizedType pt = (ParameterizedType)t;
                Type[] args = pt.getActualTypeArguments();
                for (int i = 0; i < args.length; i++) {
                    Type arg = args[i];
                    if (arg instanceof TypeVariable) {
                        TypeVariable var = (TypeVariable)arg;
                        Type[] bounds = var.getBounds();
                        boolean isResolved = false;
                        for (int j = 0; j < bounds.length; j++) {
                            Class<?> cls = InjectionUtils.getRawType(bounds[j]);
                            if (cls != null && cls.isAssignableFrom(expectedType)) {
                                isResolved = true;

View Full Code Here

0 1 2 3 4 5

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.