diff options
author | Ally Donaldson <unknown> | 2013-07-22 10:54:53 +0100 |
---|---|---|
committer | Ally Donaldson <unknown> | 2013-07-22 10:54:53 +0100 |
commit | 5664c5e30f16b74eae4cdcb0b9ba65d5b030c815 (patch) | |
tree | fe40419b6ac67768a9274cc64d7277e350fe1561 /Source/Core/StandardVisitor.cs | |
parent | 8547ab2737f6bcb185398e4cbc3edde3847cb085 (diff) |
Refactoring of VariableSeq and TypeSeq
Diffstat (limited to 'Source/Core/StandardVisitor.cs')
-rw-r--r-- | Source/Core/StandardVisitor.cs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/Core/StandardVisitor.cs b/Source/Core/StandardVisitor.cs index 800a5494..927b73fe 100644 --- a/Source/Core/StandardVisitor.cs +++ b/Source/Core/StandardVisitor.cs @@ -194,7 +194,7 @@ namespace Microsoft.Boogie { public virtual CtorType VisitCtorType(CtorType node) {
Contract.Requires(node != null);
Contract.Ensures(Contract.Result<CtorType>() != null);
- for (int i = 0; i < node.Arguments.Length; ++i)
+ for (int i = 0; i < node.Arguments.Count; ++i)
node.Arguments[i] = cce.NonNull((Type/*!*/)this.Visit(node.Arguments[i]));
return node;
}
@@ -362,7 +362,7 @@ namespace Microsoft.Boogie { //
// NOTE: when overriding this method, you have to make sure that
// the bound variables of the map type are updated correctly
- for (int i = 0; i < node.Arguments.Length; ++i)
+ for (int i = 0; i < node.Arguments.Count; ++i)
node.Arguments[i] = cce.NonNull((Type/*!*/)this.Visit(node.Arguments[i]));
node.Result = cce.NonNull((Type/*!*/)this.Visit(node.Result));
return node;
@@ -512,7 +512,7 @@ namespace Microsoft.Boogie { Contract.Requires(node != null);
Contract.Ensures(Contract.Result<Type>() != null);
node.ExpandedType = cce.NonNull((Type/*!*/)this.Visit(node.ExpandedType));
- for (int i = 0; i < node.Arguments.Length; ++i)
+ for (int i = 0; i < node.Arguments.Count; ++i)
node.Arguments[i] = cce.NonNull((Type/*!*/)this.Visit(node.Arguments[i]));
return node;
}
|