jminusminus

Class MethodContext

java.lang.Object

jminusminus.Context

jminusminus.LocalContext

jminusminus.MethodContext

 class MethodContext
extends LocalContext

A method context is where formal parameters are declared. Also, it's where we start computing the offsets for local variables (formal parameters included), which are allocated in the current stack frame (for a method invocation).

Field Summary

Fields inherited from class jminusminus.LocalContext

offset

Fields inherited from class jminusminus.Context

classContext, compilationUnitContext, entries, surroundingContext

Constructor Summary

Constructors

Constructor and Description
MethodContext(Context surrounding, boolean isStatic, Type methodReturnType) Construct a method context.

Method Summary

Methods

Modifier and Type	Method and Description
void	confirmMethodHasReturn() Record fact that (non-void) method has at least one return.
boolean	isStatic() Is this method static?
boolean	methodHasReturn() Does this (non-void) method have at least one return?
Type	methodReturnType() Return the return type of this method.
void	writeToStdOut(PrettyPrinter p) Write the contents of this context to STDOUT.

Methods inherited from class jminusminus.LocalContext

nextOffset, offset

Methods inherited from class jminusminus.Context

addEntry, addType, classContext, compilationUnitContext, definingType, lookup, lookupType, methodContext, names, surroundingContext

Methods inherited from class java.lang.Object

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

Constructor Detail

MethodContext

public MethodContext(Context surrounding,
             boolean isStatic,
             Type methodReturnType)

Construct a method context.

Parameters:

surrounding - the surrounding (class) context.

isStatic - is this method static?

methodReturnType - return type of this method.

Method Detail

isStatic

public boolean isStatic()

Is this method static?

Returns:

true or false.

confirmMethodHasReturn

public void confirmMethodHasReturn()

Record fact that (non-void) method has at least one return.

methodHasReturn

public boolean methodHasReturn()

Does this (non-void) method have at least one return?

Returns:

true or false.

methodReturnType

public Type methodReturnType()

Return the return type of this method.

Returns:

return type of this method.

writeToStdOut

public void writeToStdOut(PrettyPrinter p)

Description copied from class: Context

Write the contents of this context to STDOUT.

Overrides:

writeToStdOut in class LocalContext

Parameters:

p - for pretty printing with indentation.