aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/include/token.H216
-rw-r--r--src/syntax/token.cc88
2 files changed, 152 insertions, 152 deletions
diff --git a/src/include/token.H b/src/include/token.H
index 9cd6ee9d..ef203b12 100644
--- a/src/include/token.H
+++ b/src/include/token.H
@@ -67,117 +67,117 @@ namespace OpenAxiom {
}
// -- Abstract values of tokens.
- enum Value {
- unknown_tv = value(""),
- bar_tv = value("|"),
- dot_tv = value("."),
- dot_dot_tv = value(".."),
- colon_tv = value(":"),
- colon_colon_tv = value("::"),
- colon_dash_tv = value(":-"),
- colon_eq_tv = value(":="),
- at_tv = value("@"),
- comma_tv = value(","),
- semicolon_tv = value(";"),
- star_tv = value("*"),
- plus_tv = value("+"),
- minus_tv = value("-"),
- slash_tv = value("/"),
- backslash_tv = value("\\"),
- slash_slash_tv = value("//"),
- backslash_backslash_tv = value("\\\\"),
- backslash_slash_tv = value("\\/"),
- slash_backslash_tv = value("/\\"),
- less_tv = value("<"),
- less_eq_tv = value("<="),
- greater_tv = value(">"),
- greater_eq_tv = value(">="),
- eq_tv = value("="),
- eq_eq_tv = value("=="),
- tilde_tv = value("~"),
- tilde_eq_tv = value("~="),
- caret_tv = value("^"),
- pound_tv = value("#"),
- dollar_tv = value("$"),
- ampersand_tv = value("&"),
- open_paren_tv = value("("),
- close_paren_tv = value(")"),
- open_bracket_tv = value("["),
- close_bracket_tv = value("]"),
- open_brace_tv = value("{"),
- close_brace_tv = value("}"),
- open_meta_paren_tv = value("(|"),
- close_meta_paren_tv = value("|)"),
- open_meta_bracket_tv = value("[|"),
- close_meta_bracket_tv = value("|]"),
- open_meta_brace_tv = value("{|"),
- close_meta_brace_tv = value("|}"),
- apostrophe_tv = value("'"),
- backquote_tv = value("`"),
- star_star_tv = value("**"),
- implies_tv = value("=>"),
- right_arrow_tv = value("->"),
- left_arrow_tv = value("<-"),
- open_chevron_tv = value("<<"),
- close_chevron_tv = value(">>"),
- fat_arrow_tv = value("==>"),
- equiv_tv = value("<=>"),
- mapsto_tv = value("+->"),
+ enum Value : base_type {
+ Unknown = value(""),
+ Bar = value("|"),
+ Dot = value("."),
+ DotDot = value(".."),
+ Colon = value(":"),
+ ColonColon = value("::"),
+ ColonDash = value(":-"),
+ ColonEq = value(":="),
+ At = value("@"),
+ Comma = value(","),
+ Semicolon = value(";"),
+ Star = value("*"),
+ Plus = value("+"),
+ Minus = value("-"),
+ Slash = value("/"),
+ Backslash = value("\\"),
+ SlashSlash = value("//"),
+ BackslashBackslash = value("\\\\"),
+ BackslashSlash = value("\\/"),
+ SlashBackslash = value("/\\"),
+ Less = value("<"),
+ LessEq = value("<="),
+ Greater = value(">"),
+ GreaterEq = value(">="),
+ Eq = value("="),
+ EqEq = value("=="),
+ Tilde = value("~"),
+ TildeEq = value("~="),
+ Caret = value("^"),
+ Pound = value("#"),
+ Dollar = value("$"),
+ Ampersand = value("&"),
+ OpenParen = value("("),
+ CloseParen = value(")"),
+ OpenBracket = value("["),
+ CloseBracket = value("]"),
+ OpenBrace = value("{"),
+ CloseBrace = value("}"),
+ OpenMetParen = value("(|"),
+ CloseMetaParen = value("|)"),
+ OpenMetaBracket = value("[|"),
+ CloseMetaBracket = value("|]"),
+ OpenMetaBrace = value("{|"),
+ CloseMetaBrace = value("|}"),
+ Apostrophe = value("'"),
+ Backquote = value("`"),
+ StarStar = value("**"),
+ Implies = value("=>"),
+ RightArrow = value("->"),
+ LeftArrow = value("<-"),
+ OpenChevron = value("<<"),
+ CloseChevron = value(">>"),
+ FatArrow = value("==>"),
+ Equiv = value("<=>"),
+ MapsTo = value("+->"),
- add_tv = value("add"),
- and_tv = value("and"),
- by_tv = value("by"),
- do_tv = value("do"),
- for_tv = value("for"),
- has_tv = value("has"),
- if_tv = value("if"),
- in_tv = value("in"),
- is_tv = value("is"),
- mod_tv = value("mod"),
- of_tv = value("of"), // -- Boot only
- or_tv = value("or"),
- quo_tv = value("quo"),
- rem_tv = value("rem"),
- try_tv = value("try"),
- last_trigraph_tv = value("\xff\xff\xff"),
+ Add = value("add"),
+ And = value("and"),
+ By = value("by"),
+ Do = value("do"),
+ For = value("for"),
+ Has = value("has"),
+ If = value("if"),
+ In = value("in"),
+ Is = value("is"),
+ Mod = value("mod"),
+ Of = value("of"), // -- Boot only
+ Or = value("or"),
+ Quo = value("quo"),
+ Rem = value("rem"),
+ Try = value("try"),
+ LastTrigraph = 0xffffff,
- assume_tv, // "assume"
- break_tv, // "break"
- case_tv, // "case"
- catch_tv, // "catch"
- cross_tv, // "cross"
- else_tv, // "else"
- exist_tv, // "exist"
- finally_tv, // "finally"
- from_tv, // "from"
- forall_tv, // "forall"
- function_tv, // "function" -- Boot only
- import_tv, // "import"
- inline_tv, // "inline"
- isnt_tv, // "isnt"
- iterate_tv, // "iterate"
- leave_tv, // "leave"
- macro_tv, // "macro"
- module_tv, // "module" -- Boot only
- namespace_tv, // "namespace" -- Boot only
- pretend_tv, // "pretend"
- repeat_tv, // "repeat"
- return_tv, // "return"
- rule_tv, // "rule"
- structure_tv, // "structure" -- Boot only
- then_tv, // "then"
- throw_tv, // "throw"
- until_tv, // "until"
- with_tv, // "with"
- where_tv, // "where"
- while_tv, // "while"
+ Assume, // "assume"
+ Break, // "break"
+ Case, // "case"
+ Catch, // "catch"
+ Cross, // "cross"
+ Else, // "else"
+ Exists, // "exists"
+ Finally, // "finally"
+ From, // "from"
+ Forall, // "forall"
+ Function, // "function" -- Boot only
+ Import, // "import"
+ Inline, // "inline"
+ Isnt, // "isnt"
+ Iterate, // "iterate"
+ Leave, // "leave"
+ Macro, // "macro"
+ Module, // "module" -- Boot only
+ Namespace, // "namespace" -- Boot only
+ Pretend, // "pretend"
+ Repeat, // "repeat"
+ Return, // "return"
+ Rule, // "rule"
+ Structure, // "structure" -- Boot only
+ Then, // "then"
+ Throw, // "throw"
+ Until, // "until"
+ With, // "with"
+ Where, // "where"
+ While, // "while"
- integer_literal_tv, // integer literal
- string_literal_tv, // string literal
- fp_literal_tv, // floating point literal
- indent_tv, // new line indentation, greater than previous
- unindent_tv, // new line indentation, less than previous
- justify_tv, // align indentation with preceding line.
+ IntegerLiteral, // integer literal
+ StringLiteral, // string literal
+ FPLiteral, // floating point literal
+ Indent, // new line indentation, greater than previous
+ Unindent, // new line indentation, less than previous
+ Justify, // align indentation with preceding line.
};
}
}
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 }
};
}
}
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 00:10:14 +0000