diff options
author | wuestholz <unknown> | 2015-01-26 23:42:31 +0100 |
---|---|---|
committer | wuestholz <unknown> | 2015-01-26 23:42:31 +0100 |
commit | 466cb430e1ae626a73a483bb29d450a196f2c592 (patch) | |
tree | 877a52cbd838ab26145dd5f5143505ed1249b125 /Source/Core | |
parent | 88acfa270c5d94547d62b1822c7e4abcd0ea640b (diff) |
Fixed minor issue.
Diffstat (limited to 'Source/Core')
-rw-r--r-- | Source/Core/Absy.cs | 6 | ||||
-rw-r--r-- | Source/Core/AbsyQuant.cs | 2 | ||||
-rw-r--r-- | Source/Core/Util.cs | 4 |
3 files changed, 6 insertions, 6 deletions
diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs index 041993a7..9f7e57cf 100644 --- a/Source/Core/Absy.cs +++ b/Source/Core/Absy.cs @@ -128,10 +128,10 @@ namespace Microsoft.Boogie { public Absy(IToken tok) {
Contract.Requires(tok != null);
this._tok = tok;
- this.uniqueId = System.Threading.Interlocked.Increment(ref AbsyNodeCount);
+ this.uniqueId = System.Threading.Interlocked.Increment(ref CurrentAbsyNodeId);
}
- private static int AbsyNodeCount = 0;
+ private static int CurrentAbsyNodeId = -1;
// We uniquely number every AST node to make them
// suitable for our implementation of functional maps.
@@ -162,7 +162,7 @@ namespace Microsoft.Boogie { public virtual Absy Clone() {
Contract.Ensures(Contract.Result<Absy>() != null);
Absy/*!*/ result = cce.NonNull((Absy/*!*/)this.MemberwiseClone());
- result.uniqueId = System.Threading.Interlocked.Increment(ref AbsyNodeCount); // BUGBUG??
+ result.uniqueId = System.Threading.Interlocked.Increment(ref CurrentAbsyNodeId); // BUGBUG??
if (InternalNumberedMetadata != null) {
// This should probably use the lock
diff --git a/Source/Core/AbsyQuant.cs b/Source/Core/AbsyQuant.cs index e7783943..86338d30 100644 --- a/Source/Core/AbsyQuant.cs +++ b/Source/Core/AbsyQuant.cs @@ -622,7 +622,7 @@ namespace Microsoft.Boogie { public abstract class QuantifierExpr : BinderExpr {
public Trigger Triggers;
- static int SkolemIds = 0;
+ static int SkolemIds = -1;
public static int GetNextSkolemId() {
return System.Threading.Interlocked.Increment(ref SkolemIds);
}
diff --git a/Source/Core/Util.cs b/Source/Core/Util.cs index f8428942..4afd6f69 100644 --- a/Source/Core/Util.cs +++ b/Source/Core/Util.cs @@ -676,13 +676,13 @@ namespace Microsoft.Boogie { // any filename extension specified by the user. We base our
// calculations on that there is at most one occurrence of @PROC@.
if (180 <= fileName.Length - 6 + pn.Length) {
- pn = pn.Substring(0, Math.Max(180 - (fileName.Length - 6), 0)) + "-n" + System.Threading.Interlocked.Increment(ref sequenceNumber);
+ pn = pn.Substring(0, Math.Max(180 - (fileName.Length - 6), 0)) + "-n" + System.Threading.Interlocked.Increment(ref sequenceId);
}
return fileName.Replace("@PROC@", pn);
}
- private static int sequenceNumber = 0;
+ private static int sequenceId = -1;
}
}
|