Examples with Model org.abs_models.frontend.ast.Model used on opensource projects

Example 46 with Model

use of org.abs_models.frontend.ast.Model in project abstools by abstools.

the class TraitTest method addMethod.

@Test
public void addMethod() {
    Model model = assertParse("module M;" + "trait T = { Unit myMethod(){ skip; } }" + "class C {uses T; }");
    ClassDecl cls = (ClassDecl) findDecl(model, "M", "C");
    assertNotNull(cls);
    assertTrue(cls.getMethods().getNumChild() == 0);
    model.applyTraits();
    assertTrue(cls.getMethods().getNumChild() == 1);
    assertTrue(cls.getMethod(0).getMethodSig().getName().equals("myMethod"));
}

Example 47 with Model

use of org.abs_models.frontend.ast.Model in project abstools by abstools.

the class TraitTest method addAndRemoveExistingMethod.

@Test
public void addAndRemoveExistingMethod() {
    Model model = assertParse("module M; " + " trait T = Unit myMethod(){ skip; } removes Unit myMethod();" + " class C {uses T; }");
    ClassDecl cls = (ClassDecl) findDecl(model, "M", "C");
    assertNotNull(cls);
    assertTrue(cls.getMethods().getNumChild() == 0);
    model.applyTraits();
    assertTrue(cls.getMethods().getNumChild() == 0);
}

Example 48 with Model

use of org.abs_models.frontend.ast.Model in project abstools by abstools.

the class TraitTest method addTwoMethods.

@Test
public void addTwoMethods() {
    Model model = assertParse("module M;" + "trait T = { Unit myMethod(){ skip; } }" + "trait T2 = { Unit myMethod(){ skip; } }" + "class C {uses T; uses T2; }");
    ClassDecl cls = (ClassDecl) findDecl(model, "M", "C");
    assertNotNull(cls);
    assertTrue(cls.getMethods().getNumChild() == 0);
    model.applyTraits();
    assertTrue(cls.getMethods().getNumChild() == 2);
    assertTrue(cls.getMethod(0).toString().equals(cls.getMethod(1).toString()));
// failing for unknown reasons; comment out since traits might be removed anyway
// assertTrue(model.getErrors().containsErrors());
}

Example 49 with Model

use of org.abs_models.frontend.ast.Model in project abstools by abstools.

the class TraitTest method removeExistingMethodSetInClassSucc.

@Test
public void removeExistingMethodSetInClassSucc() {
    Model model = assertParse("module M;" + "trait T = {Unit myMethod(){skip;}Unit myMethod2(){skip;}}  " + "class C {uses T removes { Unit myMethod(); Unit myMethod2(); };  }");
    ClassDecl cls = (ClassDecl) findDecl(model, "M", "C");
    assertNotNull(cls);
    assertTrue(cls.getMethods().getNumChild() == 0);
    model.applyTraits();
    assertTrue(cls.getMethods().getNumChild() == 0);
}

Example 50 with Model

use of org.abs_models.frontend.ast.Model in project abstools by abstools.

the class TraitTest method removeExistingMethodInTrait.

@Test(expected = DeltaModellingException.class)
public void removeExistingMethodInTrait() {
    Model model = assertParse("module M; " + " trait T = {} removes Unit myMethod();" + " class C {uses T; Unit myMethod(){ println(\"\"); } }");
    ClassDecl cls = (ClassDecl) findDecl(model, "M", "C");
    assertNotNull(cls);
    assertTrue(cls.getMethods().getNumChild() == 1);
    model.applyTraits();
}