diff options
| author |  wuestholz <unknown> | 2014-11-23 19:36:53 +0100 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-11-23 19:36:53 +0100 |
| commit | 30de798ff34bbb34ee474ee510aba08c43e9ac7c (patch) | |
| tree | f839eeaa83d596d869228c1a80dad0d43e5593ab /Source/Core/Absy.cs | |
| parent | 8849f5af53d27be7eded969c68bf391b3f8028c0 (diff) | |
Worked on the verification result caching.
Diffstat (limited to 'Source/Core/Absy.cs')
| -rw-r--r-- | Source/Core/Absy.cs | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs index a53165b6..9d446ebd 100644 --- a/Source/Core/Absy.cs +++ b/Source/Core/Absy.cs @@ -1455,6 +1455,26 @@ namespace Microsoft.Boogie { this.Attributes = kv;
}
+ public bool DependenciesCollected { get; set; }
+
+ ISet<Function> functionDependencies;
+
+ public ISet<Function> FunctionDependencies
+ {
+ get { return functionDependencies; }
+ }
+
+ public void AddFunctionDependency(Function function)
+ {
+ Contract.Requires(function != null);
+
+ if (functionDependencies == null)
+ {
+ functionDependencies = new HashSet<Function>();
+ }
+ functionDependencies.Add(function);
+ }
+
public override void Emit(TokenTextWriter stream, int level) {
//Contract.Requires(stream != null);
if (Comment != null) {
|