public static class ProgramPrefixUtil.ProgramPrefixInfo
extends java.lang.Object
Constructor and Description |
---|
ProgramPrefixInfo(int length,
MethodFrame mf) |
Modifier and Type | Method and Description |
---|---|
MethodFrame |
getInnerMostMethodFrame() |
int |
getLength() |
public ProgramPrefixInfo(int length, MethodFrame mf)
public int getLength()
public MethodFrame getInnerMostMethodFrame()
Copyright © 2003-2019 The KeY-Project.