com.oracle.graal.compiler.test.tutorial

Class StaticAnalysis.MethodState

java.lang.Object

com.oracle.graal.compiler.test.tutorial.StaticAnalysis.WorklistEntry

com.oracle.graal.compiler.test.tutorial.StaticAnalysis.MethodState

Enclosing class:

StaticAnalysis

public class StaticAnalysis.MethodState
extends StaticAnalysis.WorklistEntry

The types of the parameters and return value of a method. Also serves as the worklist element to parse the bytecodes of the method.

Field Summary

Fields

Modifier and Type	Field and Description
private StaticAnalysis.TypeFlow[]	formalParameters
private StaticAnalysis.TypeFlow	formalReturn
private ResolvedJavaMethod	method
private boolean	processed

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	MethodState(ResolvedJavaMethod method)

Method Summary

Modifier and Type	Method and Description
StaticAnalysis.TypeFlow[]	getFormalParameters() All types that the parameters of this method can have.
StaticAnalysis.TypeFlow	getFormalReturn() All types that the return value of this method can have.
protected void	process()

Methods inherited from class java.lang.Object

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

Field Detail

method

private final ResolvedJavaMethod method

formalParameters

private final StaticAnalysis.TypeFlow[] formalParameters

formalReturn

private final StaticAnalysis.TypeFlow formalReturn

processed

private boolean processed

Constructor Detail

MethodState

protected MethodState(ResolvedJavaMethod method)

Method Detail

getFormalParameters

public StaticAnalysis.TypeFlow[] getFormalParameters()

All types that the parameters of this method can have.

getFormalReturn

public StaticAnalysis.TypeFlow getFormalReturn()

All types that the return value of this method can have.

process

protected void process()

Specified by:

process in class StaticAnalysis.WorklistEntry