Package com.google.turbine.types

Class Erasure

java.lang.Object

com.google.turbine.types.Erasure

public final class Erasure
extends java.lang.Object

Generic type erasure.

Method Summary

Modifier and Type	Method	Description
static Type	erase(Type ty, java.util.function.Function<TyVarSymbol,TypeBoundClass.TyVarInfo> tenv)
static Type.ClassTy	eraseClassTy(Type.ClassTy ty)

Methods inherited from class java.lang.Object

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

Method Detail

erase

public static Type erase(Type ty,
                         java.util.function.Function<TyVarSymbol,TypeBoundClass.TyVarInfo> tenv)

eraseClassTy

public static Type.ClassTy eraseClassTy(Type.ClassTy ty)