de.uka.ilkd.key.logic

Class MethodStackInfo

java.lang.Object

de.uka.ilkd.key.logic.MethodStackInfo

All Implemented Interfaces:

NameCreationInfo

public class MethodStackInfo
extends java.lang.Object
implements NameCreationInfo

Field Summary

Fields

Modifier and Type	Field and Description
private ProgramElement	element

Constructor Summary

Constructors

Constructor and Description
MethodStackInfo(ProgramElement element)

Method Summary

Modifier and Type	Method and Description
static NameCreationInfo	create(ProgramElement program)
ImmutableList<IProgramMethod>	getMethodStack() returns the method call stack
java.lang.String	infoAsString()

Methods inherited from class java.lang.Object

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

Field Detail

element

private final ProgramElement element

Constructor Detail

MethodStackInfo

public MethodStackInfo(ProgramElement element)

Method Detail

create

public static NameCreationInfo create(ProgramElement program)

getMethodStack

public ImmutableList<IProgramMethod> getMethodStack()

returns the method call stack

infoAsString

public java.lang.String infoAsString()

Specified by:

infoAsString in interface NameCreationInfo