C# (CSharp) EshSem Utils.VarRenamer Exemples

Exemple #1

Fichier : BplMatch.cs Projet : 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));
 }

Exemple #2

Fichier : BplMatch.cs Projet : 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));
 }