Uses of Interface
com.google.turbine.type.Type

Packages that use Type

Package	Description
com.google.turbine.binder
com.google.turbine.binder.bound
com.google.turbine.binder.bytecode
com.google.turbine.lower
com.google.turbine.processing
com.google.turbine.type
com.google.turbine.types

Uses of Type in com.google.turbine.binder

Methods in com.google.turbine.binder with parameters of type Type

Modifier and Type	Method	Description
@Nullable Const.Value	ConstEvaluator.evalFieldInitializer(Tree.Expression expression, Type type)

Uses of Type in com.google.turbine.binder.bound

Methods in com.google.turbine.binder.bound that return Type

Modifier and Type	Method	Description
@Nullable Type	TypeBoundClass.TyVarInfo.lowerBound()	The lower bound.
Type	TypeBoundClass.MethodInfo.returnType()	Type return type, possibly {#link Type#VOID}.
@Nullable Type	SourceTypeBoundClass.superClassType()	The super-class type.
@Nullable Type	TypeBoundClass.superClassType()	The super-class type.
Type	TurbineClassValue.type()	The class name.
Type	TypeBoundClass.FieldInfo.type()	The field type.
Type	TypeBoundClass.ParamInfo.type()	The parameter type.
Type	TypeBoundClass.RecordComponentInfo.type()	The record component type.

Methods in com.google.turbine.binder.bound that return types with arguments of type Type

Modifier and Type	Method	Description
com.google.common.collect.ImmutableList<Type>	TypeBoundClass.MethodInfo.exceptions()	Thrown exceptions.
com.google.common.collect.ImmutableList<Type>	SourceTypeBoundClass.interfaceTypes()
com.google.common.collect.ImmutableList<Type>	TypeBoundClass.interfaceTypes()	Implemented interface types.

Constructors in com.google.turbine.binder.bound with parameters of type Type

Constructor	Description
FieldInfo(FieldSymbol sym, Type type, int access, com.google.common.collect.ImmutableList<AnnoInfo> annotations, @Nullable Tree.VarDecl decl, @Nullable Const.Value value)
MethodInfo(MethodSymbol sym, com.google.common.collect.ImmutableMap<TyVarSymbol,TypeBoundClass.TyVarInfo> tyParams, Type returnType, com.google.common.collect.ImmutableList<TypeBoundClass.ParamInfo> parameters, com.google.common.collect.ImmutableList<Type> exceptions, int access, @Nullable Const defaultValue, @Nullable Tree.MethDecl decl, com.google.common.collect.ImmutableList<AnnoInfo> annotations, @Nullable TypeBoundClass.ParamInfo receiver)
ParamInfo(ParamSymbol sym, Type type, com.google.common.collect.ImmutableList<AnnoInfo> annotations, int access)
RecordComponentInfo(RecordComponentSymbol sym, Type type, com.google.common.collect.ImmutableList<AnnoInfo> annotations, int access)
SourceTypeBoundClass(com.google.common.collect.ImmutableList<Type> interfaceTypes, com.google.common.collect.ImmutableList<ClassSymbol> permits, @Nullable Type superClassType, com.google.common.collect.ImmutableMap<TyVarSymbol,TypeBoundClass.TyVarInfo> typeParameterTypes, int access, com.google.common.collect.ImmutableList<TypeBoundClass.RecordComponentInfo> components, com.google.common.collect.ImmutableList<TypeBoundClass.MethodInfo> methods, com.google.common.collect.ImmutableList<TypeBoundClass.FieldInfo> fields, @Nullable ClassSymbol owner, TurbineTyKind kind, com.google.common.collect.ImmutableMap<java.lang.String,ClassSymbol> children, com.google.common.collect.ImmutableMap<java.lang.String,TyVarSymbol> typeParameters, CompoundScope enclosingScope, CompoundScope scope, MemberImportIndex memberImports, @Nullable AnnotationMetadata annotationMetadata, com.google.common.collect.ImmutableList<AnnoInfo> annotations, SourceFile source, Tree.TyDecl decl)
TurbineClassValue(Type type)
TyVarInfo(Type.IntersectionTy upperBound, @Nullable Type lowerBound, com.google.common.collect.ImmutableList<AnnoInfo> annotations)

Constructor parameters in com.google.turbine.binder.bound with type arguments of type Type

Constructor

Description

SourceTypeBoundClass(com.google.common.collect.ImmutableList<Type> interfaceTypes, com.google.common.collect.ImmutableList<ClassSymbol> permits, @Nullable Type superClassType, com.google.common.collect.ImmutableMap<TyVarSymbol,TypeBoundClass.TyVarInfo> typeParameterTypes, int access, com.google.common.collect.ImmutableList<TypeBoundClass.RecordComponentInfo> components, com.google.common.collect.ImmutableList<TypeBoundClass.MethodInfo> methods, com.google.common.collect.ImmutableList<TypeBoundClass.FieldInfo> fields, @Nullable ClassSymbol owner, TurbineTyKind kind, com.google.common.collect.ImmutableMap<java.lang.String,ClassSymbol> children, com.google.common.collect.ImmutableMap<java.lang.String,TyVarSymbol> typeParameters, CompoundScope enclosingScope, CompoundScope scope, MemberImportIndex memberImports, @Nullable AnnotationMetadata annotationMetadata, com.google.common.collect.ImmutableList<AnnoInfo> annotations, SourceFile source, Tree.TyDecl decl)

Uses of Type in com.google.turbine.binder.bytecode

Methods in com.google.turbine.binder.bytecode that return types with arguments of type Type

Modifier and Type	Method	Description
com.google.common.collect.ImmutableList<Type>	BytecodeBoundClass.interfaceTypes()

Methods in com.google.turbine.binder.bytecode with parameters of type Type

Modifier and Type	Method	Description
static Const.Value	BytecodeBinder.bindConstValue(Type type, Const.Value value)

Uses of Type in com.google.turbine.lower

Methods in com.google.turbine.lower with parameters of type Type

Modifier and Type	Method	Description
@Nullable java.lang.String	LowerSignature.fieldSignature(Type type)	A field signature, or null if the descriptor provides all necessary type information.
Sig.TySig	LowerSignature.signature(Type ty)	Translates types to signatures.

Uses of Type in com.google.turbine.processing

Methods in com.google.turbine.processing that return Type

Modifier and Type	Method	Description
abstract Type	TurbineTypeMirror.asTurbineType()
Type	TurbineTypeMirror.TurbineNullType.asTurbineType()

Methods in com.google.turbine.processing that return types with arguments of type Type

Modifier and Type	Method	Description
com.google.common.collect.ImmutableList<Type>	TurbineTypes.directSupertypes(Type t)

Methods in com.google.turbine.processing with parameters of type Type

Modifier and Type	Method	Description
com.google.common.collect.ImmutableList<Type>	TurbineTypes.directSupertypes(Type t)

Uses of Type in com.google.turbine.type

Classes in com.google.turbine.type that implement Type

Modifier and Type	Class	Description
static class	Type.ArrayTy	An array type.
static class	Type.ClassTy	A class type.
static class	Type.ErrorTy	An error type.
static class	Type.IntersectionTy	An intersection type.
static class	Type.MethodTy	A method type.
static class	Type.PrimTy	A primitive type.
static class	Type.TyVar	A type variable.
static class	Type.WildLowerBoundedTy	An lower-bounded wildcard type.
static class	Type.WildTy	A wildcard type, valid only inside (possibly nested) type arguments.
static class	Type.WildUnboundedTy	An unbounded wildcard type.
static class	Type.WildUpperBoundedTy	An upper-bounded wildcard type.

Fields in com.google.turbine.type declared as Type

Modifier and Type	Field	Description
static Type	Type.NONE	The void type.
static Type	Type.VOID	The void type.

Methods in com.google.turbine.type that return Type

Modifier and Type	Method	Description
abstract Type	Type.WildLowerBoundedTy.bound()	The lower bound.
abstract Type	Type.WildTy.bound()
Type	Type.WildUnboundedTy.bound()
abstract Type	Type.WildUpperBoundedTy.bound()	The upper bound.
abstract Type	Type.ArrayTy.elementType()	The element type of the array.
abstract @Nullable Type	Type.MethodTy.receiverType()	The type of the receiver parameter (see JLS 8.4.1).
abstract Type	Type.MethodTy.returnType()

Methods in com.google.turbine.type that return types with arguments of type Type

Modifier and Type	Method	Description
abstract com.google.common.collect.ImmutableList<Type>	Type.IntersectionTy.bounds()
abstract com.google.common.collect.ImmutableList<Type>	Type.MethodTy.parameters()
abstract com.google.common.collect.ImmutableList<Type>	Type.ClassTy.SimpleClassTy.targs()	The type arguments.
abstract com.google.common.collect.ImmutableList<Type>	Type.MethodTy.thrown()

Methods in com.google.turbine.type with parameters of type Type

Modifier and Type	Method	Description
static Type.ArrayTy	Type.ArrayTy.create(Type elem, com.google.common.collect.ImmutableList<AnnoInfo> annos)
static Type.MethodTy	Type.MethodTy.create(com.google.common.collect.ImmutableSet<TyVarSymbol> tyParams, Type returnType, Type receiverType, com.google.common.collect.ImmutableList<Type> parameters, com.google.common.collect.ImmutableList<Type> thrown)
static Type.WildLowerBoundedTy	Type.WildLowerBoundedTy.create(Type bound, com.google.common.collect.ImmutableList<AnnoInfo> annotations)
static Type.WildUpperBoundedTy	Type.WildUpperBoundedTy.create(Type bound, com.google.common.collect.ImmutableList<AnnoInfo> annotations)

Method parameters in com.google.turbine.type with type arguments of type Type

Modifier and Type	Method	Description
static Type.ClassTy.SimpleClassTy	Type.ClassTy.SimpleClassTy.create(ClassSymbol sym, com.google.common.collect.ImmutableList<Type> targs, com.google.common.collect.ImmutableList<AnnoInfo> annos)
static Type.IntersectionTy	Type.IntersectionTy.create(com.google.common.collect.ImmutableList<Type> bounds)
static Type.MethodTy	Type.MethodTy.create(com.google.common.collect.ImmutableSet<TyVarSymbol> tyParams, Type returnType, Type receiverType, com.google.common.collect.ImmutableList<Type> parameters, com.google.common.collect.ImmutableList<Type> thrown)

Uses of Type in com.google.turbine.types

Methods in com.google.turbine.types that return Type

Modifier and Type	Method	Description
static Type	Canonicalize.canonicalize(SourceFile source, int position, Env<ClassSymbol,TypeBoundClass> env, ClassSymbol sym, Type type)	Canonicalizes the given type.
static Type	Deannotate.deannotate(Type ty)
static Type	Erasure.erase(Type ty, java.util.function.Function<TyVarSymbol,TypeBoundClass.TyVarInfo> tenv)

Methods in com.google.turbine.types with parameters of type Type

Modifier and Type	Method	Description
static Type	Canonicalize.canonicalize(SourceFile source, int position, Env<ClassSymbol,TypeBoundClass> env, ClassSymbol sym, Type type)	Canonicalizes the given type.
static Type	Deannotate.deannotate(Type ty)
static Type	Erasure.erase(Type ty, java.util.function.Function<TyVarSymbol,TypeBoundClass.TyVarInfo> tenv)