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

Example 21 with Exp

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

the class FreeVarTest method newExp.

@Test
public void newExp() {
    Exp e = getSecondExp("class C(Bool b) {}  { Bool b = True; new local C(b); }");
    assertEquals(e.getFreeVars(), "b");
}

Example 22 with Exp

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

the class FreeVarTest method listLiteral.

@Test
public void listLiteral() {
    final Exp e = getSecondExp("{ Bool b = True; List<Bool> l = list[b]; }");
    assertEquals(e.getFreeVars(), "b");
}

Example 23 with Exp

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

the class FreeVarTest method caseExp.

@Test
public void caseExp() {
    Exp e = getSecondExp("{ Bool b = True; Bool c = case True { y => y; }; }");
    assertTrue(e.getFreeVars().isEmpty());
}

Example 24 with Exp

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

the class FreeVarTest method dataConstrExp.

@Test
public void dataConstrExp() {
    Exp e = getFirstExp("{ Bool b = True; }");
    assertTrue(e.getFreeVars().isEmpty());
}