| private GetLocalsModified ( int subroutineIndex ) : bool[] | ||
| subroutineIndex | int | |
| return | bool[] | |
internal bool[] GetLocalsModified(int subroutineIndex)
{
if (subroutines != null)
{
foreach (Subroutine s in subroutines)
{
if (s.SubroutineIndex == subroutineIndex)
{
return s.LocalsModified;
}
}
}
throw new VerifyError("return from wrong subroutine");
}