Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

change "missing up reference" to concrete level name #7

Open
florianschanda opened this issue May 26, 2023 · 0 comments
Open

change "missing up reference" to concrete level name #7

florianschanda opened this issue May 26, 2023 · 0 comments
Assignees
Labels
lobster-core Affects core LOBSTER tools

Comments

@florianschanda
Copy link
Collaborator

florianschanda commented May 26, 2023

Example 1:

requirements "Requirements" {
   source: "trlc.lobster";
}

implementation "Code" {
	trace to: "Requirements";
       source: "python.lobster";
}

If an item from python.lobster does not contain a link to an item from trlc.lobster, then currently the HTML report displays the message "missing up reference".
Instead, it shall print "missing up reference to Requirements".

Example 2:

requirements "Level A1" {
   source: "a1.lobster";
   requires: "Code";
}

requirements "Level A2" {
   source: "a2.lobster";
   requires: "Code";
}

implementation "B" {
	trace to: "A1";
        trace to: "A2";
       source: "b.lobster";
}

If an item from b.lobster does not contain a link to an item from a1.lobster, and also no link to an item from a2.lobster, then the HTML report shall print the following messages:

  1. "missing up reference to A1"
  2. "missing up reference to A2"

Once #10 is implemented, the messages must be more sophisticated. They must include all optional sources.

@florianschanda florianschanda added the lobster-core Affects core LOBSTER tools label Aug 26, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
lobster-core Affects core LOBSTER tools
Projects
None yet
Development

No branches or pull requests

3 participants