diff options
Diffstat (limited to 'Source/GPUVerify/AccessCollector.cs')
| -rw-r--r-- | Source/GPUVerify/AccessCollector.cs | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/Source/GPUVerify/AccessCollector.cs b/Source/GPUVerify/AccessCollector.cs index 43491460..42ca5cc8 100644 --- a/Source/GPUVerify/AccessCollector.cs +++ b/Source/GPUVerify/AccessCollector.cs @@ -8,13 +8,11 @@ namespace GPUVerify {
abstract class AccessCollector : StandardVisitor
{
- protected ICollection<Variable> GlobalVariables;
- protected ICollection<Variable> TileStaticVariables;
+ protected INonLocalState NonLocalState;
- public AccessCollector(ICollection<Variable> GlobalVariables, ICollection<Variable> TileStaticVariables)
+ public AccessCollector(INonLocalState NonLocalState)
{
- this.GlobalVariables = GlobalVariables;
- this.TileStaticVariables = TileStaticVariables;
+ this.NonLocalState = NonLocalState;
}
protected void MultiDimensionalMapError()
|