internal TryBlock MakeTryBlock(List<CILLabel> labels)
{
Contract.Requires(labels != null);
Contract.Ensures(Contract.Result<TryBlock>() != null);
TryBlock tBlock = new TryBlock(CILInstructions.GetLabel(labels, tryOffset),
CILInstructions.GetLabel(labels, tryOffset + tryLength));
CILLabel hStart = CILInstructions.GetLabel(labels, handlerOffset);
CILLabel hEnd = CILInstructions.GetLabel(labels, handlerOffset + handlerLength);
HandlerBlock handler = null;
switch (clauseType)
{
case (EHClauseType.Exception):
handler = new Catch((Class)classToken, hStart, hEnd);
break;
case (EHClauseType.Filter):
handler = new Filter(CILInstructions.GetLabel(labels, filterOffset), hStart, hEnd);
break;
case (EHClauseType.Finally):
handler = new Finally(hStart, hEnd);
break;
case (EHClauseType.Fault):
handler = new Fault(hStart, hEnd);
break;
}
tBlock.AddHandler(handler);
return tBlock;
}
/// <summary>
/// Mark this position as the end of the last started block and
/// make it a filter block. This filter block is associated with the
/// specified try block. The format is:
/// filterLab: ...
/// ...
/// filterHandler : ...
/// ...
/// </summary>
/// <param name="filterLab">the label where the filter code is</param>
/// <param name="tryBlock">the try block associated with this filter block</param>
public void EndFilterBlock(CILLabel filterLab, TryBlock tryBlock)
{
Filter filBlock = new Filter(filterLab, (CILLabel)blockStack.Pop(), NewCodedLabel());
tryBlock.AddHandler(filBlock);
}