Move name-quoting (already for SMT2 not SMT1) into a seprate class

1 files changed, 10 insertions, 0 deletions

diff --git a/Source/VCExpr/NameClashResolver.cs b/Source/VCExpr/NameClashResolver.cs
index bfccdb3a..4c6fcbb5 100644
--- a/Source/VCExpr/NameClashResolver.cs
+++ b/Source/VCExpr/NameClashResolver.cs
@@ -168,6 +168,16 @@ namespace Microsoft.Boogie.VCExprAST {
       return res;

     }

 

+    public virtual string GetQuotedName(Object thingie, string inherentName)

+    {

+      return GetName(thingie, inherentName);

+    }

+

+    public virtual string GetQuotedLocalName(Object thingie, string inherentName)

+    {

+      return GetLocalName(thingie, inherentName);

+    }

+

     public string Lookup(Object thingie) {

       Contract.Requires(thingie != null);

       Contract.Ensures(Contract.Result<string>() != null);