Weland

What we call a named element for Java is the declaration of one of the following elements : a package, a class, an interface, a constructor, a field or a method. A scope is defined by a named element e and refers to the set of every nodes in the tree formed by the contain-arcs and rooted by e. In the weland syntax, a named element can be prepended by r: where r stands for root. For a given named element e range(e)=scope(e) and range(r:e) = {e}.

• <set_id>=[possibly_rooted_named_element*]
• <set_id>=union([set_id*])
  
• For convenience, there is an import clause of the form
  import [named_element]

• hide<scope_set>[except<scope_set>][from<scope_set>][but-not-from<scope_set>]
• <scope_set>friend-of<scope_set>