diff options
author | MichalMoskal <unknown> | 2011-02-15 21:37:39 +0000 |
---|---|---|
committer | MichalMoskal <unknown> | 2011-02-15 21:37:39 +0000 |
commit | b6df5bd0a3b71ae1eb2b4912384be6a0dbe39db9 (patch) | |
tree | 12b5943c35324e8d7d0a12b349c2d1d8dfaf2a42 /Source/VCExpr/NameClashResolver.cs | |
parent | e416fb06915c72c0865ee9e280408bf4a2c79fb8 (diff) |
Move name-quoting (already for SMT2 not SMT1) into a seprate class
Diffstat (limited to 'Source/VCExpr/NameClashResolver.cs')
-rw-r--r-- | Source/VCExpr/NameClashResolver.cs | 10 |
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);
|