org.graalvm.compiler.java

Class JsrScope

java.lang.Object

org.graalvm.compiler.java.JsrScope

public final class JsrScope
extends Object

Represents a subroutine entered via Bytecodes.JSR and exited via Bytecodes.RET.

Field Summary

Fields

Modifier and Type	Field and Description
static JsrScope	EMPTY_SCOPE The scope outside of any JSR/RET subroutine.

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
String	getAncestry() Gets the ancestry of this scope starting with the JsrScope.returnAddress of this scope's most distant ancestor and ending with the JsrScope.returnAddress of this object.
BciBlockMapping.BciBlock	getJsrEntryBlock()
int	hashCode()
boolean	isEmpty() Determines if this is the scope outside of any JSR/RET subroutine.
boolean	isPrefixOf(JsrScope other) Determines if the ancestry of this scope is a prefix of the ancestry of other.
int	nextReturnAddress()
JsrScope	pop() Gets this scope's parent.
JsrScope	push(int returnBci)
JsrScope	push(int returnBci, BciBlockMapping.BciBlock newJsrEntryBlock) Enters a new subroutine from the current scope represented by this object.
String	toString()

Methods inherited from class java.lang.Object

clone, getClass, notify, notifyAll, wait, wait, wait

Field Detail

EMPTY_SCOPE

public static final JsrScope EMPTY_SCOPE

The scope outside of any JSR/RET subroutine.

Method Detail

nextReturnAddress

public int nextReturnAddress()

getJsrEntryBlock

public BciBlockMapping.BciBlock getJsrEntryBlock()

push

public JsrScope push(int returnBci,
                     BciBlockMapping.BciBlock newJsrEntryBlock)

Enters a new subroutine from the current scope represented by this object.

Parameters:

returnBci - the bytecode address returned to when leaving the new scope

Returns:

an object representing the newly entered scope

push

public JsrScope push(int returnBci)

isEmpty

public boolean isEmpty()

Determines if this is the scope outside of any JSR/RET subroutine.

getAncestry

public String getAncestry()

Gets the ancestry of this scope starting with the JsrScope.returnAddress of this scope's most distant ancestor and ending with the JsrScope.returnAddress of this object.

Returns:

a String where each character is a 16-bit BCI. This value can be converted to an int[] with value.chars().toArray().

isPrefixOf

public boolean isPrefixOf(JsrScope other)

Determines if the ancestry of this scope is a prefix of the ancestry of other.

pop

public JsrScope pop()

Gets this scope's parent.

Returns:

this scope's parent or JsrScope.EMPTY_SCOPE if this is the JsrScope.EMPTY_SCOPE

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object