C# (CSharp) AST.A1Local Exemples

Exemple #1

Fichier : DAG.cs Projet : plasma-umass/DataDebug

 private string DOTNodeName(AST.Address addr)
 {
     return "\"" + addr.A1Local() + "[" + (_formulas.ContainsKey(addr) ? DOTEscapedFormulaString(_formulas[addr]) : readCOMValueAtAddress(addr)) + "]\"";
 }