Exemplos de UniqueNamer.PushScope em C# (CSharp)

Exemplo n.º 1

Arquivo: IsaUniqueNamer.cs Projeto: gauravpartha/boogie_proofgen

 public void PushScope()
 {
     uniqueNamer.PushScope();
 }