public class MethodStackInfo extends java.lang.Object implements NameCreationInfo
Constructor and Description |
---|
MethodStackInfo(ProgramElement element) |
Modifier and Type | Method and Description |
---|---|
static NameCreationInfo |
create(ProgramElement program) |
ImmutableList<IProgramMethod> |
getMethodStack()
returns the method call stack
|
java.lang.String |
infoAsString() |
public MethodStackInfo(ProgramElement element)
public static NameCreationInfo create(ProgramElement program)
public ImmutableList<IProgramMethod> getMethodStack()
public java.lang.String infoAsString()
infoAsString
in interface NameCreationInfo
Copyright © 2003-2019 The KeY-Project.