Commit 12c53f9d authored by Simon Barner's avatar Simon Barner
Browse files

GREEN

refs 3090
parent 89c2fbf7
......@@ -56,7 +56,7 @@ import org.fortiss.af3.tools.nusmv.xml.counterexample.Value;
*
* @author $Author$
* @version $Rev$
* @ConQAT.Rating YELLOW Hash: 3124E9C382855FE9BAC7D18E0B30753C
* @ConQAT.Rating GREEN Hash: 70A1F669D2D45736F725A1C1D34A03E0
*/
public class OCRAResultBuilder {
......@@ -133,7 +133,7 @@ public class OCRAResultBuilder {
Optional<Contract> con =
filterStream(lCons, x -> x.getName().equals(contract.getName())).findAny();
if(!con.isPresent()) {
throw new RuntimeException("Ocra output does not contain any contract with name: " +
throw new RuntimeException("ORCA output does not contain any contract with name: " +
contract.getName());
}
......@@ -199,7 +199,7 @@ public class OCRAResultBuilder {
if(lc.size() != 1) {
throw new RuntimeException("The number of components analyzed in OCRA output is not 1.");
}
// There is at least a system component, i.e., at least one component in the list.
// Checked above.
Component c = lc.get(0);
List<Contract> lCons = c.getContract();
return lCons;
......
......@@ -55,7 +55,7 @@ import org.fortiss.af3.project.model.typesystem.ITypeDefinition;
*
* @author $Author$
* @version $Rev$
* @ConQAT.Rating YELLOW Hash: 44C0BB34D9F61A9EBB676A5804323606
* @ConQAT.Rating GREEN Hash: F3ED40587F6ACC9159BC69AD134668FF
*/
public class OCRATextGenerator {
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment