alamarche / reqspec

VSCode language server for ReqSpec DSL
GNU General Public License v3.0
1 stars 0 forks source link

Scoping of x-references between requirement or goal sets #19

Closed alamarche closed 1 year ago

alamarche commented 1 year ago

Default Langium ScopeProvider limits cross-references to flow from inner-most blocks to outer-most blocks (e.g. in Python, a variable in a for loop can reference a variable immediately outside of the loop block, but not one within an adjacent loop block).

Often, a requirement in a given set needs to x-reference a requirement in another set like so (which is not currently possible):

req set Set1 {
     req RequirementInSet1
}

req set Set2 {
     req RequirementInSet2 {
          refines RequirementInSet1
     }
}
alamarche commented 1 year ago

Resolved in 57acb50