Examples with Exp abs.frontend.ast.Exp used on opensource projects

Example 11 with Exp

use of abs.frontend.ast.Exp in project abstools by abstools.

the class FreeVarTest method parFnApp.

@Test
public void parFnApp() {
    Exp e = getSecondExp("def Unit f()(Bool b) = Unit; { Bool b = True; Unit u = f()(b); }");
    assertEquals(e.getFreeVars(), "b");
}

Example 12 with Exp

use of abs.frontend.ast.Exp in project abstools by abstools.

the class FreeVarTest method letExp3.

@Test
public void letExp3() {
    Exp e = getSecondExp("{ Bool b = True; Bool c = let (Bool b) = b in b; }");
    assertEquals(e.getFreeVars(), "b");
}

Example 13 with Exp

use of abs.frontend.ast.Exp in project abstools by abstools.

the class FreeVarTest method getExp.

@Test
public void getExp() {
    Exp e = getSecondExp("{ Fut<Bool> f; f.get; }");
    assertEquals(e.getFreeVars(), "f");
}

Example 14 with Exp

use of abs.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());
}

Example 15 with Exp

use of abs.frontend.ast.Exp in project abstools by abstools.

the class FreeVarTest method letExp4.

@Test
public void letExp4() {
    Exp e = getSecondExp("{ Bool b = True; Bool c = let (Bool b) = True in b; }");
    assertTrue(e.getFreeVars().isEmpty());
}