public final class JavaTools
extends java.lang.Object
Constructor and Description |
---|
JavaTools() |
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 MethodFrame |
getInnermostMethodFrame(ProgramElement pe,
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.
|
public static SourceElement getActiveStatement(JavaBlock jb)
public static JavaBlock removeActiveStatement(JavaBlock jb, Services services)
public static MethodFrame getInnermostMethodFrame(ProgramElement pe, Services services)
public static MethodFrame getInnermostMethodFrame(JavaBlock jb, Services services)
public static ExecutionContext getInnermostExecutionContext(JavaBlock jb, Services services)
Copyright © 2003-2019 The KeY-Project.