-
Notifications
You must be signed in to change notification settings - Fork 258
/
CompilationData.cs
34 lines (27 loc) · 1.14 KB
/
CompilationData.cs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
using System;
using System.Collections.Generic;
using DafnyCore.Options;
namespace Microsoft.Dafny;
public class CompilationData {
public readonly FreshIdGenerator IdGenerator = new();
public CompilationData(ErrorReporter errorReporter, List<Include> includes, IList<Uri> rootSourceUris, ISet<Uri> alreadyVerifiedRoots, ISet<Uri> alreadyCompiledRoots) {
Includes = includes;
ErrorReporter = errorReporter;
RootSourceUris = rootSourceUris;
AlreadyVerifiedRoots = alreadyVerifiedRoots;
AlreadyCompiledRoots = alreadyCompiledRoots;
}
public DafnyOptions Options => ErrorReporter.Options;
public ErrorReporter ErrorReporter { get; }
public IList<Uri> RootSourceUris { get; }
public ISet<Uri> AlreadyVerifiedRoots { get; }
public ISet<Uri> AlreadyCompiledRoots { get; }
public List<Include> Includes;
// TODO move to DocumentAfterParsing once that's used by the CLI
[FilledInDuringResolution]
public ISet<Uri> UrisToVerify;
// TODO move to DocumentAfterParsing once that's used by the CLI
[FilledInDuringResolution]
public ISet<Uri> UrisToCompile;
public TranslationRecord AlreadyTranslatedRecord { get; set; }
}