From cd2b498e552434ee97ef12ef6d9f0b7829e00846 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Sat, 2 Apr 2016 09:07:28 +0200 Subject: Get rid of test.exe, respect type/pattern-specific variables in test module We now use target type/pattern-specific variables for that, for example: tests/exe{*}: test = true Note that this is a backwards-incompatible change --- build2/test/rule.cxx | 175 +++++++++++++++------------------------------------ 1 file changed, 49 insertions(+), 126 deletions(-) diff --git a/build2/test/rule.cxx b/build2/test/rule.cxx index 2815cf9..75bae4a 100644 --- a/build2/test/rule.cxx +++ b/build2/test/rule.cxx @@ -19,63 +19,33 @@ namespace build2 match_result rule:: match (action a, target& t, const string&) const { - // First determine if this is a test. This is controlled by - // the test target variable and text. scope variables. - // Also, it feels redundant to specify, say, "test = true" - // and "test.output = test.out" -- the latter already says - // this is a test. So take care of that as well. + // First determine if this is a test. This is controlled by the test + // variable. Also, it feels redundant to specify, say, "test = true" and + // "test.output = test.out" -- the latter already says this is a test. // bool r (false); - lookup l; - - // @@ This logic doesn't take into account target type/pattern- - // specific variables. - // - // @@ Perhaps a find_any()? - // - for (auto p (t.vars.find_namespace ("test")); - p.first != p.second; - ++p.first) { - const variable& var (p.first->first); - const value& val (p.first->second); - - // If we have test, then always use that. + // Use lookup depths to figure out who "overrides" whom. // - if (var.name == "test") - { - l = lookup (val, t); - break; - } + auto p (t.find ("test")); - // Otherwise check for variables that would indicate this - // is a test. - // - if (var.name == "test.input" || - var.name == "test.output" || - var.name == "test.roundtrip" || - var.name == "test.options" || - var.name == "test.arguments") - { + if (p.first && cast (p.first)) r = true; - break; + else + { + auto test = [&t, &p] (const char* n) + { + return t.find (n).second < p.second; + }; + + r = test ("test.input") || + test ("test.output") || + test ("test.roundtrip") || + test ("test.options") || + test ("test.arguments"); } } - if (!r) - { - // See if there is a scope variable. - // - // @@ I don't think we use this (e.g., test.exe = true) anymore. - // We now do exe{*}: test = true. - // - if (!l.defined ()) - l = t.base_scope ()[ - var_pool.insert (string("test.") + t.type ().name)]; - - r = l && cast (l); - } - // If this is the update pre-operation, then all we really need to // do is say we are not a match and the standard matching machinery // will (hopefully) find the rule to update this target. @@ -123,81 +93,53 @@ namespace build2 // output,roundtrip}. // - // First check the target-specific vars since they override any - // scope ones. + // We should have either arguments or input/roundtrip. Again, use + // lookup depth to figure out who takes precedence. // //@@ OVR - auto il (t.vars["test.input"]); - auto ol (t.vars["test.output"]); - auto rl (t.vars["test.roundtrip"]); - auto al (t.vars["test.arguments"]); // Should be input or arguments. - - if (al) - { - if (il) - fail << "both test.input and test.arguments specified for " - << "target " << t; + auto ip (t.find ("test.input")); + auto op (t.find ("test.output")); + auto rp (t.find ("test.roundtrip")); + auto ap (t.find ("test.arguments")); - if (rl) - fail << "both test.roundtrip and test.arguments specified for " - << "target " << t; - } - - scope& bs (t.base_scope ()); - - if (!il && !ol && !rl) + auto test = [&t] (pair& x, const char* xn, + pair& y, const char* yn) { - // @@ Again, don't think we use this anymore. - // - string n ("test."); - n += t.type ().name; - - const variable& in (var_pool.insert (n + ".input")); - const variable& on (var_pool.insert (n + ".output")); - const variable& rn (var_pool.insert (n + ".roundtrip")); - - // We should only keep value(s) that were specified together - // in the innermost scope. - // - // @@ Shouldn't we stop at project root? - // - for (scope* s (&bs); s != nullptr; s = s->parent_scope ()) + if (x.first && y.first) { - ol = s->vars[on]; //@@ OVR - - if (!al) // Not overriden at target level by test.arguments? - { - il = s->vars[in]; //@@ OVR - rl = s->vars[rn]; //@@ OVR - } + if (x.second == y.second) + fail << "both " << xn << " and " << yn << " specified for " + << "target " << t; - if (il || ol || rl) - break; + (x.second < y.second ? y : x) = make_pair (lookup (), size_t (~0)); } - } + }; + + test (ip, "test.input", ap, "test.arguments"); + test (rp, "test.roundtrip", ap, "test.arguments"); + test (ip, "test.input", rp, "test.roundtrip"); + test (op, "test.output", rp, "test.roundtrip"); const name* in; const name* on; // Reduce the roundtrip case to input/output. // - if (rl) + if (rp.first) { - if (il || ol) - fail << "both test.roundtrip and test.input/output specified " - << "for target " << t; - - in = on = &cast (rl); + in = on = &cast (rp.first); } else { - in = il ? &cast (il) : nullptr; - on = ol ? &cast (ol) : nullptr; + in = ip.first ? &cast (ip.first) : nullptr; + on = op.first ? &cast (op.first) : nullptr; } // Resolve them to targets, which normally would be existing files // but could also be targets that need updating. // + scope& bs (t.base_scope ()); + target* it (in != nullptr ? &search (*in, bs) : nullptr); target* ot (on != nullptr ? in == on ? it : &search (*on, bs) : nullptr); @@ -284,29 +226,6 @@ namespace build2 } } - static void - add_arguments (cstrings& args, const target& t, const char* n) - { - string var ("test."); - var += n; - - auto l (t.vars[var]); //@@ OVR - - if (!l) - { - // @@ Again, don't think we do it. - // - var.resize (5); - var += t.type ().name; - var += '.'; - var += n; - l = t.base_scope ()[var_pool.insert (var)]; - } - - if (l) - append_options (args, cast (l)); - } - // The format of args shall be: // // name1 arg arg ... nullptr @@ -388,7 +307,8 @@ namespace build2 // Do we have options? // - add_arguments (args, t, "options"); + if (auto l = t["test.options"]) //@@ OVR + append_options (args, cast (l)); // Do we have input? // @@ -402,7 +322,10 @@ namespace build2 // Maybe arguments then? // else - add_arguments (args, t, "arguments"); + { + if (auto l = t["test.arguments"]) //@@ OVR + append_options (args, cast (l)); + } args.push_back (nullptr); -- cgit v1.1