From 550b22dd50ec1a394d33f63dbf493dff46e3ccb7 Mon Sep 17 00:00:00 2001
From: Gabriel Dos Reis <gdr@axiomatics.org>
Date: Mon, 16 Jan 2017 02:01:05 -0800
Subject: Decorate each input line with its kind.

---
 src/include/open-axiom/token | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'src/include/open-axiom/token')

diff --git a/src/include/open-axiom/token b/src/include/open-axiom/token
index da508a82..9eb0b66b 100644
--- a/src/include/open-axiom/token
+++ b/src/include/open-axiom/token
@@ -1,5 +1,5 @@
 // -*- C++ -*-
-// Copyright (C) 2013-2014, Gabriel Dos Reis.
+// Copyright (C) 2013-2017, Gabriel Dos Reis.
 // All rights reserved.
 // Written by Gabriel Dos Reis.
 //
@@ -41,6 +41,12 @@
 #include <open-axiom/dialect>
 
 namespace OpenAxiom {
+   enum class LineKind : uint8_t {
+      Ordinary,                 // Ordinary input line
+      Meta,                     // Input to the attention of the reader
+      Ignorable,                // Ignorable commentary line
+   };
+   
    // Categorization of Boot and Spad tokens.
    enum class TokenCategory : uint8_t {
       Unclassified,             // token of unknown class
-- 
cgit v1.2.3