| 1 | # -- PAGE application packages -- |
|---|
| 2 | # -- ---- plugin management |
|---|
| 3 | |
|---|
| 4 | package ifneeded page::pluginmgr 0.2 [list source [file join $dir pluginmgr.tcl]] |
|---|
| 5 | |
|---|
| 6 | # -- PAGE plugin packages |
|---|
| 7 | # -- ---- Canned configurations |
|---|
| 8 | |
|---|
| 9 | package ifneeded page::config::peg 0.1 [list source [file join $dir plugins/config_peg.tcl]] |
|---|
| 10 | |
|---|
| 11 | # -- PAGE plugin packages |
|---|
| 12 | # -- ---- Readers |
|---|
| 13 | |
|---|
| 14 | package ifneeded page::reader::peg 0.1 [list source [file join $dir plugins/reader_peg.tcl]] |
|---|
| 15 | package ifneeded page::reader::lemon 0.1 [list source [file join $dir plugins/reader_lemon.tcl]] |
|---|
| 16 | package ifneeded page::reader::hb 0.1 [list source [file join $dir plugins/reader_hb.tcl]] |
|---|
| 17 | package ifneeded page::reader::ser 0.1 [list source [file join $dir plugins/reader_ser.tcl]] |
|---|
| 18 | package ifneeded page::reader::treeser 0.1 [list source [file join $dir plugins/reader_treeser.tcl]] |
|---|
| 19 | |
|---|
| 20 | # -- PAGE plugin packages |
|---|
| 21 | # -- ---- Writers |
|---|
| 22 | |
|---|
| 23 | package ifneeded page::writer::null 0.1 [list source [file join $dir plugins/writer_null.tcl]] |
|---|
| 24 | package ifneeded page::writer::me 0.1 [list source [file join $dir plugins/writer_me.tcl]] |
|---|
| 25 | package ifneeded page::writer::mecpu 0.1.1 [list source [file join $dir plugins/writer_mecpu.tcl]] |
|---|
| 26 | package ifneeded page::writer::tree 0.1 [list source [file join $dir plugins/writer_tree.tcl]] |
|---|
| 27 | package ifneeded page::writer::tpc 0.1 [list source [file join $dir plugins/writer_tpc.tcl]] |
|---|
| 28 | package ifneeded page::writer::hb 0.1 [list source [file join $dir plugins/writer_hb.tcl]] |
|---|
| 29 | package ifneeded page::writer::ser 0.1 [list source [file join $dir plugins/writer_ser.tcl]] |
|---|
| 30 | package ifneeded page::writer::peg 0.1 [list source [file join $dir plugins/writer_peg.tcl]] |
|---|
| 31 | package ifneeded page::writer::identity 0.1 [list source [file join $dir plugins/writer_identity.tcl]] |
|---|
| 32 | |
|---|
| 33 | # -- PAGE plugin packages |
|---|
| 34 | # -- ---- Transformations |
|---|
| 35 | |
|---|
| 36 | package ifneeded page::transform::reachable 0.1 \ |
|---|
| 37 | [list source [file join $dir plugins/transform_reachable.tcl]] |
|---|
| 38 | package ifneeded page::transform::realizable 0.1 \ |
|---|
| 39 | [list source [file join $dir plugins/transform_realizable.tcl]] |
|---|
| 40 | package ifneeded page::transform::mecpu 0.1 \ |
|---|
| 41 | [list source [file join $dir plugins/transform_mecpu.tcl]] |
|---|
| 42 | |
|---|
| 43 | # -- PAGE packages -- |
|---|
| 44 | # -- --- Parsing and normalization packages used by the reader plugins. |
|---|
| 45 | |
|---|
| 46 | package ifneeded page::parse::peg 0.1 [list source [file join $dir parse_peg.tcl]] |
|---|
| 47 | package ifneeded page::parse::lemon 0.1 [list source [file join $dir parse_lemon.tcl]] |
|---|
| 48 | package ifneeded page::parse::pegser 0.1 [list source [file join $dir parse_pegser.tcl]] |
|---|
| 49 | package ifneeded page::parse::peghb 0.1 [list source [file join $dir parse_peghb.tcl]] |
|---|
| 50 | |
|---|
| 51 | package ifneeded page::util::norm::peg 0.1 [list source [file join $dir util_norm_peg.tcl]] |
|---|
| 52 | package ifneeded page::util::norm::lemon 0.1 [list source [file join $dir util_norm_lemon.tcl]] |
|---|
| 53 | |
|---|
| 54 | # @mdgen EXCLUDE: peg_grammar.tcl |
|---|
| 55 | ### package ifneeded pg::peg::grammar 0.1 [list source [file join $dir peg_grammar.tcl]] |
|---|
| 56 | |
|---|
| 57 | # -- PAGE packages -- |
|---|
| 58 | # -- --- Code generation packages used by the writer plugins. |
|---|
| 59 | |
|---|
| 60 | package ifneeded page::gen::tree::text 0.1 [list source [file join $dir gen_tree_text.tcl]] |
|---|
| 61 | package ifneeded page::gen::peg::cpkg 0.1 [list source [file join $dir gen_peg_cpkg.tcl]] |
|---|
| 62 | package ifneeded page::gen::peg::hb 0.1 [list source [file join $dir gen_peg_hb.tcl]] |
|---|
| 63 | package ifneeded page::gen::peg::ser 0.1 [list source [file join $dir gen_peg_ser.tcl]] |
|---|
| 64 | package ifneeded page::gen::peg::canon 0.1 [list source [file join $dir gen_peg_canon.tcl]] |
|---|
| 65 | package ifneeded page::gen::peg::me 0.1 [list source [file join $dir gen_peg_me.tcl]] |
|---|
| 66 | package ifneeded page::gen::peg::mecpu 0.1 [list source [file join $dir gen_peg_mecpu.tcl]] |
|---|
| 67 | |
|---|
| 68 | # -- Transformation Helper Packages -- |
|---|
| 69 | |
|---|
| 70 | package ifneeded page::analysis::peg::minimize 0.1 [list source [file join $dir analysis_peg_minimize.tcl]] |
|---|
| 71 | package ifneeded page::analysis::peg::reachable 0.1 [list source [file join $dir analysis_peg_reachable.tcl]] |
|---|
| 72 | package ifneeded page::analysis::peg::realizable 0.1 [list source [file join $dir analysis_peg_realizable.tcl]] |
|---|
| 73 | package ifneeded page::analysis::peg::emodes 0.1 [list source [file join $dir analysis_peg_emodes.tcl]] |
|---|
| 74 | package ifneeded page::compiler::peg::mecpu 0.1.1 [list source [file join $dir compiler_peg_mecpu.tcl]] |
|---|
| 75 | |
|---|
| 76 | # -- Various other utilities -- |
|---|
| 77 | |
|---|
| 78 | package ifneeded page::util::peg 0.1 [list source [file join $dir util_peg.tcl]] |
|---|
| 79 | package ifneeded page::util::quote 0.1 [list source [file join $dir util_quote.tcl]] |
|---|
| 80 | package ifneeded page::util::flow 0.1 [list source [file join $dir util_flow.tcl]] |
|---|
