diff options
| author |  wuestholz <unknown> | 2013-07-15 17:43:38 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-15 17:43:38 -0700 |
| commit | 5e7d25359f1bd5425d5400019bfe08bcc87fb30f (patch) | |
| tree | d5cf6b55f289518245115cfae103e6c79c7a7906 /Source/DafnyExtension/TokenTagger.cs | |
| parent | 238e4c37734fa8d8baf1740cbe0fc145dd675bf8 (diff) | |
DafnyExtension: Added support for collecting additional information during resolution and displaying it.
Diffstat (limited to 'Source/DafnyExtension/TokenTagger.cs')
| -rw-r--r-- | Source/DafnyExtension/TokenTagger.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Source/DafnyExtension/TokenTagger.cs b/Source/DafnyExtension/TokenTagger.cs index 4980bf0a..abe67751 100644 --- a/Source/DafnyExtension/TokenTagger.cs +++ b/Source/DafnyExtension/TokenTagger.cs @@ -30,7 +30,8 @@ namespace DafnyLanguage public enum DafnyTokenKind
{
Keyword, Number, String, Comment,
- VariableIdentifier, VariableIdentifierDefinition
+ VariableIdentifier, VariableIdentifierDefinition,
+ AdditionalInformation
}
public class DafnyTokenTag : ITag
|