Esempi in C# (CSharp) per Sink.CciTypeToBoogie

Esempio n. 1

 public void AddRecordCall(string label, IExpression value, Bpl.Expr valueBpl)
 {
     // valueBpl.Type only gets set in a few simple cases, while
     // sink.CciTypeToBoogie(value.Type.ResolvedType) should always be correct
     // if BCT is working properly. *cross fingers*
     // ~ REDACTED 2016-06-21
     AddRecordCall(label, sink.CciTypeToBoogie(value.Type.ResolvedType), valueBpl);
 }