Examples with NegExp - org.abs_models.frontend.ast.NegExp

Example 1 with NegExp

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

the class VarResolutionTest method testPatternVar.

@Test
public void testPatternVar() {
    Model m = assertParse(" def Bool f(Bool b) = case b { True => False; x => !x; };");
    NegExp ne = (NegExp) getSecondCaseExpr(m);
    VarUse v = (VarUse) ne.getOperand();
    PatternVarDecl decl = (PatternVarDecl) v.getDecl();
    assertEquals("x", decl.getName());
}

Also used : NegExp(org.abs_models.frontend.ast.NegExp) Model(org.abs_models.frontend.ast.Model) VarUse(org.abs_models.frontend.ast.VarUse) PatternVarDecl(org.abs_models.frontend.ast.PatternVarDecl) FrontendTest(org.abs_models.frontend.FrontendTest) Test(org.junit.Test)

Aggregations

FrontendTest (org.abs_models.frontend.FrontendTest)1 Model (org.abs_models.frontend.ast.Model)1 NegExp (org.abs_models.frontend.ast.NegExp)1 PatternVarDecl (org.abs_models.frontend.ast.PatternVarDecl)1 VarUse (org.abs_models.frontend.ast.VarUse)1 Test (org.junit.Test)1