From 7935281661a3fd50454432fae1bbf4152758137a Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Thu, 13 Oct 2022 06:07:44 +0200 Subject: Add visibility, overridable variable attributes --- libbuild2/dump.cxx | 4 +++ libbuild2/parser.cxx | 81 +++++++++++++++++++++++++++++++++++++++++++------- libbuild2/variable.hxx | 3 ++ 3 files changed, 77 insertions(+), 11 deletions(-) (limited to 'libbuild2') diff --git a/libbuild2/dump.cxx b/libbuild2/dump.cxx index b8ec74e..c28dd31 100644 --- a/libbuild2/dump.cxx +++ b/libbuild2/dump.cxx @@ -83,6 +83,10 @@ namespace build2 const variable& var (p.first); const value& v (p.second); + // On one hand it might be helpful to print the visibility. On the + // other, it is always specified which means there will be a lot of + // noise. So probably not. + // if (var.type != nullptr) os << '[' << var.type->name << "] "; diff --git a/libbuild2/parser.cxx b/libbuild2/parser.cxx index 301acf9..184fa01 100644 --- a/libbuild2/parser.cxx +++ b/libbuild2/parser.cxx @@ -4929,19 +4929,62 @@ namespace build2 string& n (a.name); value& v (a.value); - if (const value_type* t = find_value_type (root_, n)) + if (n == "visibility") { + try + { + string s (convert (move (v))); + + variable_visibility r; + if (s == "global") r = variable_visibility::global; + else if (s == "project") r = variable_visibility::project; + else if (s == "scope") r = variable_visibility::scope; + else if (s == "target") r = variable_visibility::target; + else if (s == "prerequisite") r = variable_visibility::prereq; + else throw invalid_argument ("unknown visibility name"); + + if (vis && r != *vis) + fail (l) << "conflicting variable visibilities: " << s << ", " + << *vis; + + vis = r; + } + catch (const invalid_argument& e) + { + fail (l) << "invalid " << n << " attribute value: " << e; + } + } + else if (n == "overridable") + { + try + { + // Treat absent value (represented as NULL) as true. + // + bool r (v.null || convert (move (v))); + + if (ovr && r != *ovr) + fail (l) << "conflicting variable overridabilities"; + + ovr = r; + } + catch (const invalid_argument& e) + { + fail (l) << "invalid " << n << " attribute value: " << e; + } + } + else if (const value_type* t = find_value_type (root_, n)) + { + if (!v.null) + fail (l) << "unexpected value in attribute " << a; + if (type != nullptr && t != type) - fail (l) << "multiple variable types: " << n << ", " << type->name; + fail (l) << "conflicting variable types: " << n << ", " + << type->name; type = t; - // Fall through. } else fail (l) << "unknown variable attribute " << a; - - if (!v.null) - fail (l) << "unexpected value in attribute " << a; } if (type != nullptr && var.type != nullptr) @@ -4953,11 +4996,27 @@ namespace build2 << var.type->name << " to " << type->name; } - //@@ TODO: the same checks for vis and ovr (when we have the corresponding - // attributes). + if (vis) + { + // Note that this logic naturally makes sure that a project-private + // variable doesn't have global visibility (since it would have been + // entered with the project visibility). + // + if (var.visibility == *vis) + vis = nullopt; + else if (var.visibility > *vis) // See variable_pool::update(). + fail (l) << "changing variable " << var << " visibility from " + << var.visibility << " to " << *vis; + } - //@@ TODO: need to verify/diagnose ovr and visibility for project-private - // variables. + if (ovr) + { + // Note that the overridability incompatibilities are diagnosed by + // update(). So we just need to diagnose the project-private case. + // + if (*ovr && var.owner != &ctx->var_pool) + fail (l) << "private variable " << var << " cannot be overridable"; + } if (type || vis || ovr) var.owner->update (const_cast (var), @@ -4996,7 +5055,7 @@ namespace build2 else if (const value_type* t = find_value_type (root_, n)) { if (type != nullptr && t != type) - fail (l) << "multiple value types: " << n << ", " << type->name; + fail (l) << "conflicting value types: " << n << ", " << type->name; type = t; // Fall through. diff --git a/libbuild2/variable.hxx b/libbuild2/variable.hxx index 9206cbb..cc4792e 100644 --- a/libbuild2/variable.hxx +++ b/libbuild2/variable.hxx @@ -106,6 +106,9 @@ namespace build2 scope, // This scope (no outer scopes). target, // Target and target type/pattern-specific. prereq // Prerequisite-specific. + + // Note: remember to update the visibility attribute parsing if adding + // any new values here. }; // VC14 reports ambiguity but seems to work if we don't provide any. -- cgit v1.1