Package org.teavm.model.analysis

Class ClassInference

java.lang.Object

org.teavm.model.analysis.ClassInference

public class ClassInference
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ClassInference(DependencyInfo dependencyInfo, ClassHierarchy hierarchy, java.lang.Iterable<? extends java.lang.String> classNames, int overflowLimit)

Method Summary

Modifier and Type	Method	Description
java.lang.String[]	classesOf(int variableIndex)
java.util.List<? extends MethodReference>	getMethodImplementations(MethodDescriptor descriptor)
void	infer(Program program, MethodReference methodReference)
boolean	isOverflow(int variableIndex)

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassInference

public ClassInference(DependencyInfo dependencyInfo,
                      ClassHierarchy hierarchy,
                      java.lang.Iterable<? extends java.lang.String> classNames,
                      int overflowLimit)

Method Detail

infer

public void infer(Program program,
                  MethodReference methodReference)

isOverflow

public boolean isOverflow(int variableIndex)

getMethodImplementations

public java.util.List<? extends MethodReference> getMethodImplementations(MethodDescriptor descriptor)

classesOf

public java.lang.String[] classesOf(int variableIndex)