diff options
author | dos-reis <gdr@axiomatics.org> | 2014-08-30 02:30:13 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2014-08-30 02:30:13 +0000 |
commit | 2989854362732a4b0d61a757766158f643d9504b (patch) | |
tree | 83131dbd956842e92ff468e6f8d019a741404947 /src/boot/bemol.cc | |
parent | f54a0b26ac1459b452cf30cafe87468f12c96c19 (diff) | |
download | open-axiom-2989854362732a4b0d61a757766158f643d9504b.tar.gz |
Rename TokenStream<> to Tokenizer<>
Diffstat (limited to 'src/boot/bemol.cc')
-rw-r--r-- | src/boot/bemol.cc | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/boot/bemol.cc b/src/boot/bemol.cc index bff97039..34870e13 100644 --- a/src/boot/bemol.cc +++ b/src/boot/bemol.cc @@ -231,14 +231,18 @@ operator<<(std::ostream& os, const BemolToken& t) { return os; } +using TokenSequence = OpenAxiom::TokenStream<BemolToken>; + +// -- + static void translate_source_file(SourceInput& src, std::ostream& out, const char* path) { while (auto f = src.get()) { out << "================================================\n"; out << f; - OpenAxiom::TokenStream<Fragment, BemolToken> ts { f }; try { - while (auto t = ts.get(OpenAxiom::Language::Boot)) { + TokenSequence ts { f, OpenAxiom::Language::Boot }; + for (auto& t : ts) { out << '\t' << t; switch (t.category) { case TokenCategory::Junk: |