aboutsummaryrefslogtreecommitdiff
path: root/src/syntax
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2014-08-18 05:16:07 +0000
committerdos-reis <gdr@axiomatics.org>2014-08-18 05:16:07 +0000
commitcfffc75b762f4364623f85a887b7e564421e3127 (patch)
tree8d566d93a027b64eefb3a79483b560ccc0db9491 /src/syntax
parent0350f861dbe72aa960dbfd22034432104229d04f (diff)
downloadopen-axiom-cfffc75b762f4364623f85a887b7e564421e3127.tar.gz
Tidy.
Diffstat (limited to 'src/syntax')
-rw-r--r--src/syntax/token.cc88
1 files changed, 44 insertions, 44 deletions
diff --git a/src/syntax/token.cc b/src/syntax/token.cc
index 297ca416..b1db7ec1 100644
--- a/src/syntax/token.cc
+++ b/src/syntax/token.cc
@@ -1,4 +1,4 @@
-// Copyright (C) 2013, Gabriel Dos Reis.
+// Copyright (C) 2013-2014, Gabriel Dos Reis.
// All rights reserved.
// Written by Gabriel Dos Reis.
//
@@ -40,49 +40,49 @@ namespace OpenAxiom {
};
const Keyword keyword_map[] = {
- { "add", add_tv },
- { "and", and_tv },
- { "assume", assume_tv },
- { "break", break_tv },
- { "by", by_tv },
- { "case", case_tv },
- { "catch", catch_tv },
- { "do", do_tv },
- { "else", else_tv },
- { "exist", exist_tv },
- { "finally", finally_tv },
- { "for", for_tv },
- { "from", from_tv },
- { "function", function_tv },
- { "has", has_tv },
- { "if", if_tv },
- { "import", import_tv },
- { "in", in_tv },
- { "inline", inline_tv },
- { "is", is_tv },
- { "isnt", isnt_tv },
- { "iterate", iterate_tv },
- { "leave", leave_tv },
- { "macro", macro_tv },
- { "mod", mod_tv },
- { "module", module_tv },
- { "namespace", namespace_tv },
- { "of", of_tv },
- { "or", or_tv },
- { "pretend", pretend_tv },
- { "quo", quo_tv },
- { "rem", rem_tv },
- { "repeat", repeat_tv },
- { "return", return_tv },
- { "rule", rule_tv },
- { "structure", structure_tv },
- { "then", then_tv },
- { "throw", throw_tv },
- { "try", try_tv },
- { "until", until_tv },
- { "with", with_tv },
- { "where", where_tv },
- { "while", while_tv }
+ { "add", Value::Add },
+ { "and", Value::And },
+ { "assume", Value::Assume },
+ { "break", Value::Break },
+ { "by", Value::By },
+ { "case", Value::Case },
+ { "catch", Value::Catch },
+ { "do", Value::Do },
+ { "else", Value::Else },
+ { "exist", Value::Exists },
+ { "finally", Value::Finally },
+ { "for", Value::For },
+ { "from", Value::From },
+ { "function", Value::Function },
+ { "has", Value::Has },
+ { "if", Value::If },
+ { "import", Value::Import },
+ { "in", Value::In },
+ { "inline", Value::Inline },
+ { "is", Value::Is },
+ { "isnt", Value::Isnt },
+ { "iterate", Value::Iterate },
+ { "leave", Value::Leave },
+ { "macro", Value::Macro },
+ { "mod", Value::Mod },
+ { "module", Value::Module },
+ { "namespace", Value::Namespace },
+ { "of", Value::Of },
+ { "or", Value::Or },
+ { "pretend", Value::Pretend },
+ { "quo", Value::Quo },
+ { "rem", Value::Rem },
+ { "repeat", Value::Repeat },
+ { "return", Value::Return },
+ { "rule", Value::Rule },
+ { "structure", Value::Structure },
+ { "then", Value::Then },
+ { "throw", Value::Throw },
+ { "try", Value::Try },
+ { "until", Value::Until },
+ { "with", Value::With },
+ { "where", Value::Where },
+ { "while", Value::While }
};
}
}