de.uka.ilkd.key.java

Class ProgramPrefixUtil.ProgramPrefixInfo

java.lang.Object

de.uka.ilkd.key.java.ProgramPrefixUtil.ProgramPrefixInfo

Enclosing class:

ProgramPrefixUtil

public static class ProgramPrefixUtil.ProgramPrefixInfo
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private int	length
private MethodFrame	mf

Constructor Summary

Constructors

Constructor and Description
ProgramPrefixInfo(int length, MethodFrame mf)

Method Summary

Modifier and Type	Method and Description
MethodFrame	getInnerMostMethodFrame()
int	getLength()

Methods inherited from class java.lang.Object

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

Field Detail

length

private final int length

mf

private final MethodFrame mf

Constructor Detail

ProgramPrefixInfo

public ProgramPrefixInfo(int length,
                         MethodFrame mf)

Method Detail

getLength

public int getLength()

getInnerMostMethodFrame

public MethodFrame getInnerMostMethodFrame()