C# (CSharp) APC.ToString Beispiele

Beispiel #1

Datei: GenericNecessaryConditionsGenerator.cs Projekt: zhuyue1314/CodeContracts

 protected void BreakHere(APC pc, AElement pre, string instr = null)
 {
     if (this.TraceInference)
     {
         Console.WriteLine("Visiting: {0}-{1} with {2}", pc.ToString(), instr, pre.ToString());
     }
 }