use of abs.frontend.ast.Model in project abstools by abstools.
the class OriginalCallTest method oneDeltaMultipleCalls.
@Test
public void oneDeltaMultipleCalls() throws DeltaModellingException {
Model model = assertParseOk("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 abs.frontend.ast.Model in project abstools by abstools.
the class OriginalCallTest method originalCall.
@Test
public void originalCall() throws DeltaModellingException {
Model model = assertParseOk("module M;" + "interface I {}" + "class C implements I { Unit m() {} }" + "delta D; uses M;" + "modifies class C { modifies Unit m() { original(); } }" + "delta D2; uses M;" + "modifies class C { modifies Unit m() { original(); } }");
ClassDecl cls = (ClassDecl) findDecl(model, "M", "C");
assertTrue(cls.getMethods().getNumChild() == 1);
DeltaDecl delta1 = findDelta(model, "D");
assertTrue(delta1.getNumModuleModifier() == 1);
assertTrue(((ModifyClassModifier) delta1.getModuleModifier(0)).getNumModifier() == 1);
DeltaDecl delta2 = findDelta(model, "D2");
assertTrue(delta2.getNumModuleModifier() == 1);
assertTrue(((ModifyClassModifier) delta2.getModuleModifier(0)).getNumModifier() == 1);
/*Model.resolveOriginalCalls(new ArrayList<DeltaDecl>(Arrays.asList(delta1,delta2)));
assertTrue(delta1.getNumModuleModifier() == 2);
assertTrue(delta2.getNumModuleModifier() == 2);*/
model.applyDeltas(new ArrayList<>(Arrays.asList(delta1, delta2)));
// there should be 3 methods now: the original one and those added by the two deltas
assertEquals(3, cls.getMethods().getNumChild());
assertTrue(cls.getMethod(0).getMethodSig().getName().equals("m"));
assertTrue(cls.getMethod(1).getMethodSig().getName().equals("m$ORIGIN_core"));
assertTrue(cls.getMethod(2).getMethodSig().getName().equals("m$ORIGIN_D"));
}
use of abs.frontend.ast.Model in project abstools by abstools.
the class OriginalCallTest method originalCall2.
@Test
public void originalCall2() throws DeltaModellingException {
Model model = assertParseOk("module M;" + "interface I {}" + "class C implements I { Unit m() {} }" + "delta D; uses M;" + "modifies class C { modifies Unit m() { original(); } }" + "delta D2; uses M;" + "modifies class C { modifies Unit m() { original(); } }");
ClassDecl cls = (ClassDecl) findDecl(model, "M", "C");
assertTrue(cls.getMethods().getNumChild() == 1);
DeltaDecl delta1 = findDelta(model, "D");
assertTrue(delta1.getNumModuleModifier() == 1);
assertTrue(((ModifyClassModifier) delta1.getModuleModifier(0)).getNumModifier() == 1);
DeltaDecl delta2 = findDelta(model, "D2");
assertTrue(delta2.getNumModuleModifier() == 1);
assertTrue(((ModifyClassModifier) delta2.getModuleModifier(0)).getNumModifier() == 1);
/*Model.resolveOriginalCalls(new ArrayList<DeltaDecl>(Arrays.asList(delta1,delta2)));
assertTrue(delta1.getNumModuleModifier() == 2);
assertTrue(delta2.getNumModuleModifier() == 2);*/
model.applyDeltas(new ArrayList<>(Arrays.asList(delta1, delta2)));
// there should be 3 methods now: the original one and those added by the two deltas
assertEquals(3, cls.getMethods().getNumChild());
assertTrue(cls.getMethod(0).getMethodSig().getName().equals("m"));
assertTrue(cls.getMethod(1).getMethodSig().getName().equals("m$ORIGIN_core"));
assertTrue(cls.getMethod(2).getMethodSig().getName().equals("m$ORIGIN_D"));
}
use of abs.frontend.ast.Model in project abstools by abstools.
the class OriginalCallTest method targetedDeltaNotYetApplied.
@Test
public void targetedDeltaNotYetApplied() throws DeltaModellingException {
Model model = assertParseOk("module M;" + "class C { Unit m() {} }" + "delta D1;" + "uses M;" + "modifies class C { modifies Unit m() { core.original(); } }" + "delta D2;" + "uses M;" + "modifies class C { modifies Unit m() { D1.original(); } }");
DeltaDecl d1 = findDelta(model, "D1");
DeltaDecl d2 = findDelta(model, "D2");
try {
// applying deltas in wrong order (D2 then D1) should throw an exception
// because D2 has a targeted original call to a method in D1
// Model.resolveOriginalCalls(new ArrayList<DeltaDecl>(Arrays.asList(d2,d1)));
model.applyDeltas(new ArrayList<>(Arrays.asList(d2, d1)));
fail("expected a DeltaModellingException");
} catch (DeltaModellingException e) {
assertThat(e.getMessage(), containsString("has not yet been applied"));
}
}
use of abs.frontend.ast.Model in project abstools by abstools.
the class PartialFunctionTest method prettyPrintImplemented.
@Test
public void prettyPrintImplemented() throws NotImplementedYetException, IOException {
Model model = expand(parse("apply(inc)(0);", applyFunction(), incFunction()));
PartialFunctionDecl func = getPartialFunction(model, "apply");
assertNotNull(func);
try (StringWriter writer = new StringWriter();
PrintWriter pw = new PrintWriter(writer)) {
func.prettyPrint(pw, new DefaultABSFormatter(pw));
assertFalse(writer.toString().isEmpty());
}
}
Aggregations