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

Example 16 with Exp

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

the class FreeVarTest method binaryExp.

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

Example 17 with Exp

use of org.abs_models.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 18 with Exp

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

Example 19 with Exp

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

the class FreeVarTest method letExp.

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

Example 20 with Exp

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

the class FreeVarTest method binaryExp2.

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