use of org.abs_models.frontend.ast.Model in project abstools by abstools.
the class DeltaTrieTest method trieStructure2.
@Test
public void trieStructure2() {
Model model = assertParse("module Test;" + "delta D1;" + "delta D2;" + "delta D3;" + "productline PL;" + "features A,B,C;" + "delta D1 when A;" + "delta D2 after D1 when B;" + "delta D3 after D2 when C;" + "root FM {" + " group [0 .. *] { A, B, C }" + "}");
ProductLine pl = model.getProductLine();
DeltaTrie pfgt = ProductLineAnalysisHelper.buildPFGT(pl, new SemanticConditionList());
assertTrue(pfgt.getRoot().isValidProduct());
assertEquals(3, pfgt.getRoot().getChildren().size());
assertTrue(pfgt.getRoot().getChildren().get("D1").isValidProduct());
assertTrue(pfgt.getRoot().getChildren().get("D2").isValidProduct());
assertTrue(pfgt.getRoot().getChildren().get("D3").isValidProduct());
assertEquals(2, pfgt.getRoot().getChildren().get("D1").getChildren().size());
assertEquals(1, pfgt.getRoot().getChildren().get("D2").getChildren().size());
assertEquals(0, pfgt.getRoot().getChildren().get("D3").getChildren().size());
assertTrue(pfgt.getRoot().getChildren().get("D1").getChildren().get("D2").isValidProduct());
assertTrue(pfgt.getRoot().getChildren().get("D1").getChildren().get("D3").isValidProduct());
assertTrue(pfgt.getRoot().getChildren().get("D2").getChildren().get("D3").isValidProduct());
}
use of org.abs_models.frontend.ast.Model in project abstools by abstools.
the class DeltaTrieTest method trieStructure1.
@Test
public void trieStructure1() {
Model model = assertParse("module Test;" + "delta D1;" + "delta D2;" + "productline PL;" + "features A,B;" + "delta D1 after D2 when A;" + "delta D2 when B;" + "root FM {" + " group [0 .. *] { A, B }" + "}");
ProductLine pl = model.getProductLine();
DeltaTrie pfgt = ProductLineAnalysisHelper.buildPFGT(pl, new SemanticConditionList());
// System.out.println(pfgt.toString());
assertTrue(pfgt.getRoot().isValidProduct());
assertEquals(2, pfgt.getRoot().getChildren().size());
assertTrue(pfgt.getRoot().getChildren().get("D1").isValidProduct());
assertTrue(pfgt.getRoot().getChildren().get("D2").isValidProduct());
assertEquals(0, pfgt.getRoot().getChildren().get("D1").getChildren().size());
assertEquals(1, pfgt.getRoot().getChildren().get("D2").getChildren().size());
assertTrue(pfgt.getRoot().getChildren().get("D2").getChildren().get("D1").isValidProduct());
}
use of org.abs_models.frontend.ast.Model in project abstools by abstools.
the class DeltaTrieTest method trieContent.
@Test
public void trieContent() {
// TODO
Model model = assertParse("module Test;" + "class Ccore{}" + "delta D1; uses Test; adds class C1 {Int f1 = 0; Unit m1() {}}" + "delta D2; uses Test; adds class C2 {Int f2 = 0; Unit m2() {}}" + "delta D3;" + // + " modifies class Test.C2 { adds Int f2a = 1; modifies Unit m2() {} adds Unit m2a() {} }"
"" + "" + "" + "" + "productline PL;" + "features A,B;" + "delta D1 when A;" + "delta D2 after D1 when B;" + "delta D3 after D1,D2 when A && B;" + "root FM {" + " group [1 .. *] { A, B }" + "}");
ProductLine pl = model.getProductLine();
DeltaTrie pfgt = ProductLineAnalysisHelper.buildPFGT(pl, new SemanticConditionList());
// TODO: tests
}
use of org.abs_models.frontend.ast.Model in project abstools by abstools.
the class OriginalCallTest method oneDeltaMultipleCalls.
@Test
public void oneDeltaMultipleCalls() throws DeltaModellingException {
Model model = assertParse("module M;" + "interface I {}" + "class C implements I { Unit m() {} Unit n() {} Unit p() {} }" + "delta D;uses M;" + "modifies class C {" + "modifies Unit m() { original(); }" + "modifies Unit n() { original(); }" + "modifies Unit p() { original(); }" + "}");
ClassDecl cls = (ClassDecl) findDecl(model, "M", "C");
DeltaDecl delta = findDelta(model, "D");
assertEquals(1, delta.getNumModuleModifier());
model.applyDeltas(new ArrayList<>(Arrays.asList(delta)));
assertEquals(6, cls.getMethods().getNumChild());
// Model.resolveOriginalCalls(new ArrayList<DeltaDecl>(Arrays.asList(delta)));
// assertEquals(4, delta.getNumModuleModifier());
}
use of org.abs_models.frontend.ast.Model in project abstools by abstools.
the class OriginalCallTest method multipleTargetedOriginalCalls.
@Test
public void multipleTargetedOriginalCalls() throws DeltaModellingException {
Model model = assertParse("module M;" + "class C { }" + "delta D1;" + "uses M;" + "modifies class C { adds Unit m() {} }" + "delta D2;uses M;" + "modifies class C { modifies Unit m() { D1.original(); } }" + "delta D3;uses M;" + "modifies class C { modifies Unit m() { D1.original(); } }");
DeltaDecl d1 = findDelta(model, "D1");
DeltaDecl d2 = findDelta(model, "D2");
DeltaDecl d3 = findDelta(model, "D3");
// Model.resolveOriginalCalls(new ArrayList<DeltaDecl>(Arrays.asList(d1,d2,d3)));
model.applyDeltas(new ArrayList<>(Arrays.asList(d1, d2, d3)));
ClassDecl cls = (ClassDecl) findDecl(model, "M", "C");
assertEquals(cls.getMethods().toString(), 2, cls.getMethods().getNumChild());
assertTrue(cls.getMethod(0).getMethodSig().getName().equals("m"));
assertTrue(cls.getMethod(1).getMethodSig().getName().equals("m$ORIGIN_D1"));
}
Aggregations