diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2017-01-15 08:42:04 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2017-01-15 08:42:04 -0800 |
| commit | 77be242e6af75148771620fcbbaad191d1c11b60 (patch) | |
| tree | 476cc4692d235e6f908152e3f12aac61449bebac /src/include | |
| parent | b56562693a88f88e7c290de9e1dc18d96a0da792 (diff) | |
| download | open-axiom-77be242e6af75148771620fcbbaad191d1c11b60.tar.gz | |
TokenValue::Indent, TokenValue::Unindent, TokenValue::Justify
Classify them as formatting tokens. Remove TokenValue::Artificial.
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/open-axiom/token | 4 | ||||
| -rw-r--r-- | src/include/open-axiom/token-value | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/src/include/open-axiom/token b/src/include/open-axiom/token index 1b4f78f0..da508a82 100644 --- a/src/include/open-axiom/token +++ b/src/include/open-axiom/token @@ -66,10 +66,6 @@ namespace OpenAxiom { #define OPENAXIOM_DEFINE_TOKEN(T, ...) T, #include <open-axiom/token-value> #undef OPENAXIOM_DEFINE_TOKEN - Artificial, // Tokens after this are artificial - Indent, // new line indentation, greater than previous - Unindent, // new line indentation, less than previous - Justify, // align indentation with preceding line. EndOfStream // end of token stream }; diff --git a/src/include/open-axiom/token-value b/src/include/open-axiom/token-value index aa8347d3..3becc318 100644 --- a/src/include/open-axiom/token-value +++ b/src/include/open-axiom/token-value @@ -1,5 +1,5 @@ // -*- C++ -*- -// Copyright (C) 2014, Gabriel Dos Reis. +// Copyright (C) 2014-2017, Gabriel Dos Reis. // All rights reserved. // Written by Gabriel Dos Reis. // @@ -144,3 +144,7 @@ OPENAXIOM_DEFINE_TOKEN(Until, "until", Keyword, Language::BootSpad) OPENAXIOM_DEFINE_TOKEN(With, "with", Keyword, Language::Spad) OPENAXIOM_DEFINE_TOKEN(Where, "where", Keyword, Language::BootSpad) OPENAXIOM_DEFINE_TOKEN(While, "while", Keyword, Language::BootSpad) + +OPENAXIOM_DEFINE_TOKEN(Indent, "<indent>", Formatting, Language::All) +OPENAXIOM_DEFINE_TOKEN(Unindent, "<unindent>", Formatting, Language::All) +OPENAXIOM_DEFINE_TOKEN(Justify, "<justify>", Formatting, Language::All) |