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

Example 6 with Exp

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

the class FreeVarTest method parFnAppAnonymousFunction.

@Test
public void parFnAppAnonymousFunction() {
    Exp e = getSecondExp("def Bool f(g)() = g(); def Bool g() = True; { Bool b = True; Bool b2 = f(() => b)(); }");
    assertEquals(e.getFreeVars(), "b");
}

Example 7 with Exp

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

the class FreeVarTest method binaryExp3.

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

Example 8 with Exp

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

the class FreeVarTest method letExp2.

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

Example 9 with Exp

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

the class FreeVarTest method unaryExp.

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

Example 10 with Exp

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

the class FreeVarTest method constructorApp.

@Test
public void constructorApp() {
    Exp e = getSecondExp("data D = C(Bool);{ Bool b; D d = C(b); }");
    assertEquals(e.getFreeVars(), "b");
}