Weland

Weland is a simple yet powerfull language to express decoupling intention. Its core predicate is of the form hide Xs except xs from Ys but-not-from ys.

Named elements, scope and range

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 Definition

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

Coupling predicates

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