Package com.google.turbine.types

Class Canonicalize

java.lang.Object

com.google.turbine.types.Canonicalize

public class Canonicalize
extends java.lang.Object

Canonicalizes qualified type names so qualifiers are always the declaring class of the qualified type.

For example, given:

 class A<T> {
   class Inner {}
 }
 class B extends A<String> {
   Inner i;
 }
 

The canonical name of the type of B.i is A<String>.Inner, not B.Inner.

Constructor Summary

Constructors

Constructor	Description
Canonicalize(SourceFile source, int position, Env<ClassSymbol,TypeBoundClass> env)

Method Summary

Modifier and Type	Method	Description
static Type	canonicalize(SourceFile source, int position, Env<ClassSymbol,TypeBoundClass> env, ClassSymbol sym, Type type)	Canonicalizes the given type.
static Type.ClassTy	canonicalizeClassTy(SourceFile source, int position, Env<ClassSymbol,TypeBoundClass> env, ClassSymbol owner, Type.ClassTy classTy)	Canonicalize a qualified class type, excluding type arguments.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Canonicalize

public Canonicalize(SourceFile source,
                    int position,
                    Env<ClassSymbol,TypeBoundClass> env)

Method Detail

canonicalize

public static Type canonicalize(SourceFile source,
                                int position,
                                Env<ClassSymbol,TypeBoundClass> env,
                                ClassSymbol sym,
                                Type type)

Canonicalizes the given type.

canonicalizeClassTy

public static Type.ClassTy canonicalizeClassTy(SourceFile source,
                                               int position,
                                               Env<ClassSymbol,TypeBoundClass> env,
                                               ClassSymbol owner,
                                               Type.ClassTy classTy)

Canonicalize a qualified class type, excluding type arguments.