de.uka.ilkd.key.java

Class JavaTools

java.lang.Object

de.uka.ilkd.key.java.JavaTools

public final class JavaTools
extends java.lang.Object

Miscellaneous static methods related to Java blocks or statements in KeY. Mostly moved from key.util.MiscTools here.

Author:

bruns

Constructor Summary

Constructors

Constructor and Description
JavaTools()

Method Summary

Modifier and Type	Method and Description
static SourceElement	getActiveStatement(JavaBlock jb) Returns the active statement of the passed a java block.
static ExecutionContext	getInnermostExecutionContext(JavaBlock jb, Services services)
static MethodFrame	getInnermostMethodFrame(JavaBlock jb, Services services) Returns the innermost method frame of the passed java block
static JavaBlock	removeActiveStatement(JavaBlock jb, Services services) Returns the passed java block without its active statement.

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaTools

public JavaTools()

Method Detail

getActiveStatement

public static SourceElement getActiveStatement(JavaBlock jb)

Returns the active statement of the passed a java block.

removeActiveStatement

public static JavaBlock removeActiveStatement(JavaBlock jb,
                                              Services services)

Returns the passed java block without its active statement.

getInnermostMethodFrame

public static MethodFrame getInnermostMethodFrame(JavaBlock jb,
                                                  Services services)

Returns the innermost method frame of the passed java block

getInnermostExecutionContext

public static ExecutionContext getInnermostExecutionContext(JavaBlock jb,
                                                            Services services)