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

Example 6 with PartialFunctionDecl

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

the class PartialFunctionTest method noJavaCodeGenerated.

@Test
public void noJavaCodeGenerated() throws NotImplementedYetException, UnsupportedEncodingException {
    Model model = expand(parse("apply(inc)(0);", applyFunction(), incFunction()));
    PartialFunctionDecl func = getPartialFunction(model, "apply");
    assertNotNull(func);
    ByteArrayOutputStream os = new ByteArrayOutputStream();
    func.generateJava(new PrintStream(os));
    assertEquals("", os.toString("utf-8"));
}

Example 7 with PartialFunctionDecl

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

the class PartialFunctionTest method noPrologCodeGenerated.

@Test
public void noPrologCodeGenerated() throws NotImplementedYetException, UnsupportedEncodingException {
    Model model = expand(parse("apply(inc)(0);", applyFunction(), incFunction()));
    PartialFunctionDecl func = getPartialFunction(model, "apply");
    assertNotNull(func);
    ByteArrayOutputStream os = new ByteArrayOutputStream();
    func.generateProlog(new PrintStream(os), new ReachabilityInformation(new ArrayList<>()));
    assertEquals("", os.toString("utf-8"));
}