Exemplos de EshSem Utils.VarRenamer em C# (CSharp)

Exemplo n.º 1

Arquivo: BplMatch.cs Projeto: townie/esh

 public BplMatch(string v2Prefix)
 {
     _v2Prefix = v2Prefix;
     _renamer = new Utils.VarRenamer(v2Prefix + ".", new string[] { });
     _eqVarsCounter = 0;
     _numOverallAsserts = 0;
     _havocVar = new LocalVariable(Token.NoToken, new TypedIdent(Token.NoToken, HavocVarName, BType.Bool));
 }

Exemplo n.º 2

Arquivo: BplMatch.cs Projeto: yuedeji/esh

 public BplMatch(string v2Prefix)
 {
     _v2Prefix          = v2Prefix;
     _renamer           = new Utils.VarRenamer(v2Prefix + ".", new string[] { });
     _eqVarsCounter     = 0;
     _numOverallAsserts = 0;
     _havocVar          = new LocalVariable(Token.NoToken, new TypedIdent(Token.NoToken, HavocVarName, BType.Bool));
 }