524525526527528529530531532533
* @param id * an ID of the Flaw (used as name) * @return the created Flaw */ protected Flaw createFlaw(GSS gss, int id) { Flaw flaw = GSSFactory.eINSTANCE.createFlaw(); flaw.setName("Flaw " + id); gss.getElements().add(flaw); return flaw; }
482483484485486487488489490491492493494
public void testPruneNoFlaws(){ Goal g1 = createGoal(gss, 1); Flaw f1 = createFlaw(gss, 1); Flaw f2 = createFlaw(gss, 2); Flaw f3 = createFlaw(gss, 3); Pattern si1 = createPattern(gss, 1);