VisType vis_type;
// Only assigned if vis_type is IN_PATH
SimplePath in_path;
+ Location locus;
// should this store location info?
public:
// Creates a Visibility - TODO make constructor protected or private?
- Visibility (VisType vis_type, SimplePath in_path)
- : vis_type (vis_type), in_path (std::move (in_path))
+ Visibility (VisType vis_type, SimplePath in_path,
+ Location locus = Location ())
+ : vis_type (vis_type), in_path (std::move (in_path)), locus (locus)
{}
VisType get_vis_type () const { return vis_type; }
// Returns whether visibility is public or not.
bool is_public () const { return vis_type != PRIV && !is_error (); }
+ Location get_locus () const { return locus; }
+
// Creates an error visibility.
static Visibility create_error ()
{
static Visibility create_crate (Location crate_tok_location)
{
return Visibility (PUB_CRATE,
- SimplePath::from_str ("crate", crate_tok_location));
+ SimplePath::from_str ("crate", crate_tok_location),
+ crate_tok_location);
}
// Creates a public visibility with self-relative paths
static Visibility create_self (Location self_tok_location)
{
return Visibility (PUB_SELF,
- SimplePath::from_str ("self", self_tok_location));
+ SimplePath::from_str ("self", self_tok_location),
+ self_tok_location);
}
// Creates a public visibility with parent module-relative paths
static Visibility create_super (Location super_tok_location)
{
return Visibility (PUB_SUPER,
- SimplePath::from_str ("super", super_tok_location));
+ SimplePath::from_str ("super", super_tok_location),
+ super_tok_location);
}
// Creates a private visibility
// Creates a public visibility with a given path or whatever.
static Visibility create_in_path (SimplePath in_path)
{
- return Visibility (PUB_IN_PATH, std::move (in_path));
+ return Visibility (PUB_IN_PATH, std::move (in_path), in_path.get_locus ());
}
std::string as_string () const;
private:
VisType vis_type;
HIR::SimplePath path;
+ Location locus;
// should this store location info?
public:
Visibility (VisType vis_type,
- HIR::SimplePath path = HIR::SimplePath::create_empty ())
- : vis_type (vis_type), path (std::move (path))
+ HIR::SimplePath path = HIR::SimplePath::create_empty (),
+ Location locus = Location ())
+ : vis_type (vis_type), path (std::move (path)), locus (locus)
{}
// Returns whether visibility is in an error state.