diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-18 18:58:40 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-18 18:58:40 -0700 |
| commit | 8a0df70ffb8d57d1bd210ce2e1c9522ba0967365 (patch) | |
| tree | 3ac2809b04db9cafb22dcab4c69cfd878e074487 /Source/DafnyExtension/IdentifierTagger.cs | |
| parent | 4ce6e734a389716fecaf152781702fafa42f2670 (diff) | |
Refactor the error reporting code
The new error reporting system has a simpler interface, isn't tied to the
resolver, and contains error source information.
Diffstat (limited to 'Source/DafnyExtension/IdentifierTagger.cs')
| -rw-r--r-- | Source/DafnyExtension/IdentifierTagger.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/DafnyExtension/IdentifierTagger.cs b/Source/DafnyExtension/IdentifierTagger.cs index 262dddcd..13991496 100644 --- a/Source/DafnyExtension/IdentifierTagger.cs +++ b/Source/DafnyExtension/IdentifierTagger.cs @@ -136,9 +136,9 @@ namespace DafnyLanguage List<IdRegion> newRegions = new List<IdRegion>();
- foreach (var addInfo in program.AdditionalInformation)
+ foreach (var info in program.reporter.AllMessages[ErrorLevel.Info])
{
- IdRegion.Add(newRegions, addInfo.Token, addInfo.Text, addInfo.Length);
+ IdRegion.Add(newRegions, info.token, info.message, info.token.val.Length);
}
foreach (var module in program.Modules) {
|