Beispiel #1
0
 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;
 }
Beispiel #2
0
        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);
        }
Beispiel #3
0
 /// <summary>
 /// Mark this position as the end of the last started block and
 /// make it a finally block.  This finally block is associated with the
 /// specified try block.
 /// </summary>
 /// <param name="tryBlock">the try block associated with this finally block</param>
 public void EndFinallyBlock(TryBlock tryBlock)
 {
     Finally finBlock = new Finally((CILLabel)blockStack.Pop(), NewCodedLabel());
       tryBlock.AddHandler(finBlock);
 }