C# (CSharp) FaultFinallyContexts Examples

Example #1

File: HeapAnalysis.cs Project: wang-xinhong/CodeContracts

    public static void FFCTest1(FaultFinallyContexts obj)
    {
        try
        {
            Console.WriteLine("TEST");
            if (obj == null)
            {
                goto End;
            }
        }
        finally
        {
            M(obj);
            Console.WriteLine(obj.ToString());
        }
End:
        Console.WriteLine("TEST");
    }

Example #2

File: HeapAnalysis.cs Project: asvishnyakov/CodeContracts

 public static void FFCTest1(FaultFinallyContexts obj)
 {
   try
   {
     Console.WriteLine("TEST");
     if (obj == null)
     {
       goto End;
     }
   }
   finally
   {
     M(obj);
     Console.WriteLine(obj.ToString());
   }
 End:
   Console.WriteLine("TEST");
 }