Example 1 with ModifyClassModifier
use of abs.frontend.ast.ModifyClassModifier in project abstools by abstools.
the class TraitTest method addRemoveModifierAtRuntime.
@Test
public void addRemoveModifierAtRuntime() {
Model model = assertParseOk("module M;" + "class C { Unit m(){skip;} }");
ClassDecl cls = (ClassDecl) findDecl(model, "M", "C");
MethodSig sig = AbsASTBuilderUtil.createMethodSig("m", AbsASTBuilderUtil.getUnit());
List<MethodSig> l = new List<>(sig);
RemoveMethodModifier opr = new RemoveMethodModifier(l);
ModifyClassModifier mcn = new ModifyClassModifier();
mcn.setName("M.C");
DeltaAccess acc = new DeltaAccess(cls.getModuleDecl().getName());
DeltaDecl dd = new DeltaDecl();
dd.setName("MyDelta");
dd.addDeltaAccess(acc);
dd.addModuleModifier(mcn);
mcn.addModifier(opr);
mcn.setParent(dd);
acc.setParent(dd);
opr.setParent(mcn);
sig.setParent(opr);
CompilationUnit cu = model.getCompilationUnitList().getChild(0);
cu.addDeltaDecl(dd);
dd.setParent(cu);
model.applyDelta(dd);
assertEquals(0, cls.getMethods().getNumChild());
}
Also used :
CompilationUnit(abs.frontend.ast.CompilationUnit)
MethodSig(abs.frontend.ast.MethodSig)
RemoveMethodModifier(abs.frontend.ast.RemoveMethodModifier)
ClassDecl(abs.frontend.ast.ClassDecl)
DeltaAccess(abs.frontend.ast.DeltaAccess)
Model(abs.frontend.ast.Model)
List(abs.frontend.ast.List)
DeltaDecl(abs.frontend.ast.DeltaDecl)
ModifyClassModifier(abs.frontend.ast.ModifyClassModifier)
Test(org.junit.Test)
Example 2 with ModifyClassModifier
use of abs.frontend.ast.ModifyClassModifier in project abstools by abstools.
the class TraitTest method addAddModifierAtRuntimeBackComp.
@Test
public void addAddModifierAtRuntimeBackComp() {
Model model = assertParseOk("module M;" + "class C { Unit m(){skip;} }");
ClassDecl cls = (ClassDecl) findDecl(model, "M", "C");
MethodSig sig = AbsASTBuilderUtil.createMethodSig("n", AbsASTBuilderUtil.getUnit());
MethodImpl impl = new MethodImpl(sig, new Block(new List<>(), new List<>(new SkipStmt())), false);
AddMethodModifier opr = new AddMethodModifier(impl);
assertNotNull(opr.getMethodImpl());
ModifyClassModifier mcn = new ModifyClassModifier();
mcn.setName("M.C");
DeltaAccess acc = new DeltaAccess(cls.getModuleDecl().getName());
DeltaDecl dd = new DeltaDecl();
dd.setName("MyDelta");
dd.addDeltaAccess(acc);
dd.addModuleModifier(mcn);
mcn.addModifier(opr);
mcn.setParent(dd);
acc.setParent(dd);
opr.setParent(mcn);
sig.setParent(opr);
CompilationUnit cu = model.getCompilationUnitList().getChild(0);
cu.addDeltaDecl(dd);
dd.setParent(cu);
model.applyDelta(dd);
assertEquals(2, cls.getMethods().getNumChild());
}
Also used :
CompilationUnit(abs.frontend.ast.CompilationUnit)
MethodSig(abs.frontend.ast.MethodSig)
ClassDecl(abs.frontend.ast.ClassDecl)
MethodImpl(abs.frontend.ast.MethodImpl)
DeltaAccess(abs.frontend.ast.DeltaAccess)
AddMethodModifier(abs.frontend.ast.AddMethodModifier)
Model(abs.frontend.ast.Model)
Block(abs.frontend.ast.Block)
List(abs.frontend.ast.List)
DeltaDecl(abs.frontend.ast.DeltaDecl)
SkipStmt(abs.frontend.ast.SkipStmt)
ModifyClassModifier(abs.frontend.ast.ModifyClassModifier)
Test(org.junit.Test)
Example 3 with ModifyClassModifier
use of abs.frontend.ast.ModifyClassModifier in project abstools by abstools.
the class TraitTest method resolveTest.
@Test
public void resolveTest() {
Model model = assertParseOk("module TestMod;" + "interface Inter {}" + "trait T = { " + " Unit printLine_1(){println(\"I'm 1!\");}" + " Unit printLine_2(){println(\"I'm 2!\");}" + "}" + "trait T2 = { " + " Unit printLine_2(){println(\"I'm 2!\");}" + " Unit printLine_3(){println(\"I'm 3!\");}" + "}" + "class InterImpl(Inter inter) implements Inter { }" + "" + "delta D3;" + "modifies class TestMod.InterImpl{" + " adds Int i = 0;" + " adds T modifies T2" + "}");
ClassDecl cls = (ClassDecl) findDecl(model, "TestMod", "InterImpl");
assertNotNull(cls);
assertTrue(cls.getMethods().getNumChild() == 0);
model.applyTraits();
DeltaDecl delta = findDelta(model, "D3");
assertNotNull(delta);
assertThat(delta, instanceOf(DeltaDecl.class));
ModifyClassModifier mm = (ModifyClassModifier) delta.getModuleModifier(0);
DeltaTraitModifier dml = (DeltaTraitModifier) mm.getModifier(1);
AddMethodModifier mcl = (AddMethodModifier) dml.getMethodModifier();
TraitExpr expr = mcl.getTraitExpr();
TraitExpr set = expr.resolve(cls.getModuleDecl());
assertTrue(set.getChild(0).getNumChild() == 3);
}
Also used :
ClassDecl(abs.frontend.ast.ClassDecl)
TraitExpr(abs.frontend.ast.TraitExpr)
AddMethodModifier(abs.frontend.ast.AddMethodModifier)
Model(abs.frontend.ast.Model)
DeltaDecl(abs.frontend.ast.DeltaDecl)
DeltaTraitModifier(abs.frontend.ast.DeltaTraitModifier)
ModifyClassModifier(abs.frontend.ast.ModifyClassModifier)
Test(org.junit.Test)
Example 4 with ModifyClassModifier
use of abs.frontend.ast.ModifyClassModifier in project abstools by abstools.
the class TraitTest method resolveTest2.
@Test
public void resolveTest2() {
// this tests that the given delta is wrong (as we take T union T2 and thus have printLine_2 twice)
Model model = assertParseOk("module TestMod;" + "interface Inter {}" + "trait T = { " + " Unit printLine_1(){println(\"I'm 1!\");}" + " Unit printLine_2(){println(\"I'm 2!\");}" + "}" + "trait T2 = { " + " Unit printLine_2(){println(\"I'm 2!\");}" + " Unit printLine_3(){println(\"I'm 3!\");}" + "}" + "class InterImpl(Inter inter) implements Inter { }" + "" + "delta D3;" + "modifies class TestMod.InterImpl{" + " adds Int i = 0;" + " modifies T adds T2" + "}");
ClassDecl cls = (ClassDecl) findDecl(model, "TestMod", "InterImpl");
assertNotNull(cls);
assertTrue(cls.getMethods().getNumChild() == 0);
model.applyTraits();
DeltaDecl delta = findDelta(model, "D3");
assertNotNull(delta);
assertThat(delta, instanceOf(DeltaDecl.class));
ModifyClassModifier mm = (ModifyClassModifier) delta.getModuleModifier(0);
DeltaTraitModifier dml = (DeltaTraitModifier) mm.getModifier(1);
ModifyMethodModifier mcl = (ModifyMethodModifier) dml.getMethodModifier();
TraitExpr expr = mcl.getTraitExpr();
TraitExpr set = expr.resolve(cls.getModuleDecl());
assertTrue(set.getChild(0).getNumChild() == 4);
}
Also used :
ClassDecl(abs.frontend.ast.ClassDecl)
ModifyMethodModifier(abs.frontend.ast.ModifyMethodModifier)
TraitExpr(abs.frontend.ast.TraitExpr)
Model(abs.frontend.ast.Model)
DeltaDecl(abs.frontend.ast.DeltaDecl)
DeltaTraitModifier(abs.frontend.ast.DeltaTraitModifier)
ModifyClassModifier(abs.frontend.ast.ModifyClassModifier)
Test(org.junit.Test)
Example 5 with ModifyClassModifier
use of abs.frontend.ast.ModifyClassModifier in project abstools by abstools.
the class TraitTest method collapseTest.
@Test
public void collapseTest() {
Model model = assertParseOk("module TestMod;" + "interface Inter {}" + "trait T = { " + " Unit printLine_1(){println(\"I'm 1!\");}" + " Unit printLine_2(){println(\"I'm 2!\");}" + "}" + "trait T2 = { " + " Unit printLine_2(){println(\"I'm 2!\");}" + "}" + "trait T3 = { " + " Unit printLine_5(){println(\"I'm 5!\");}" + " Unit printLine_6(){println(\"I'm 6!\");}" + "}" + "trait T4 = { " + " Unit printLine_7(){println(\"I'm 7!\");}" + " Unit printLine_8(){println(\"I'm 8!\");}" + "}" + "class InterImpl(Inter inter) implements Inter { }" + "" + "delta D3;" + "modifies class TestMod.InterImpl{" + " adds Int i = 0;" + " adds T modifies T2 removes {Unit printLine_2();}" + " modifies T3 adds T4 " + "}");
ClassDecl cls = (ClassDecl) findDecl(model, "TestMod", "InterImpl");
assertNotNull(cls);
assertTrue(cls.getMethods().getNumChild() == 0);
model.applyTraits();
model.collapseTraitModifiers();
DeltaDecl delta = findDelta(model, "D3");
assertNotNull(delta);
assertThat(delta, instanceOf(DeltaDecl.class));
ModifyClassModifier mm = (ModifyClassModifier) delta.getModuleModifier(0);
assertTrue(mm.getModifierList().getNumChild() == 6);
DeltaTraitModifier dml = (DeltaTraitModifier) mm.getModifier(1);
AddMethodModifier mcl = (AddMethodModifier) dml.getMethodModifier();
TraitExpr set = mcl.getTraitExpr();
assertTrue(set.getChild(0).getNumChild() == 2);
assertThat(set, instanceOf(TraitSetExpr.class));
DeltaTraitModifier dml2 = (DeltaTraitModifier) mm.getModifier(2);
ModifyMethodModifier mcl2 = (ModifyMethodModifier) dml2.getMethodModifier();
TraitExpr set2 = mcl2.getTraitExpr();
assertTrue(set2.getChild(0).getNumChild() == 1);
assertThat(set2, instanceOf(TraitSetExpr.class));
}
Also used :
ClassDecl(abs.frontend.ast.ClassDecl)
TraitExpr(abs.frontend.ast.TraitExpr)
ModifyMethodModifier(abs.frontend.ast.ModifyMethodModifier)
AddMethodModifier(abs.frontend.ast.AddMethodModifier)
Model(abs.frontend.ast.Model)
TraitSetExpr(abs.frontend.ast.TraitSetExpr)
DeltaDecl(abs.frontend.ast.DeltaDecl)
DeltaTraitModifier(abs.frontend.ast.DeltaTraitModifier)
ModifyClassModifier(abs.frontend.ast.ModifyClassModifier)
Test(org.junit.Test)
Aggregations
DeltaDecl (abs.frontend.ast.DeltaDecl)15
ModifyClassModifier (abs.frontend.ast.ModifyClassModifier)15
ClassDecl (abs.frontend.ast.ClassDecl)12
Model (abs.frontend.ast.Model)12
Test (org.junit.Test)12
ModifyMethodModifier (abs.frontend.ast.ModifyMethodModifier)8
DeltaTraitModifier (abs.frontend.ast.DeltaTraitModifier)7
TraitExpr (abs.frontend.ast.TraitExpr)7
AddMethodModifier (abs.frontend.ast.AddMethodModifier)6
TraitSetExpr (abs.frontend.ast.TraitSetExpr)5
Block (abs.frontend.ast.Block)4
DeltaAccess (abs.frontend.ast.DeltaAccess)4
MethodImpl (abs.frontend.ast.MethodImpl)4
MethodSig (abs.frontend.ast.MethodSig)4
CompilationUnit (abs.frontend.ast.CompilationUnit)3
List (abs.frontend.ast.List)3
FieldDecl (abs.frontend.ast.FieldDecl)2
InterfaceTypeUse (abs.frontend.ast.InterfaceTypeUse)2
SkipStmt (abs.frontend.ast.SkipStmt)2
ModifyClassModifierNamePredicate (abs.backend.tests.AbsASTBuilderUtil.ModifyClassModifierNamePredicate)1
