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

Example 21 with Model

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

the class ParametricPartialFunctionTest method boundParametricDataTypeReturnType.

@Test
public void boundParametricDataTypeReturnType() {
    Model model = parse("returnResult(oneList)();", "def T returnResult<T>(f)() = f();", "def List<Int> oneList() = list[1];");
    testExpand(model);
}

Example 22 with Model

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

the class ParametricPartialFunctionTest method simpleReturnType.

@Test
public void simpleReturnType() {
    Model model = parse("returnResult(one)();", "def T returnResult<T>(f)() = f();", "def Int one() = 1;");
    testExpand(model);
}

Example 23 with Model

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

the class PartialFunctionTest method prettyPrintImplemented.

@Test
public void prettyPrintImplemented() throws NotImplementedYetException, IOException {
    Model model = expand(parse("apply(inc)(0);", applyFunction(), incFunction()));
    PartialFunctionDecl func = getPartialFunction(model, "apply");
    assertNotNull(func);
    String printed;
    try (StringWriter writer = new StringWriter();
        PrintWriter pw = new PrintWriter(writer)) {
        func.doPrettyPrint(pw, new DefaultABSFormatter(pw));
        printed = writer.toString();
    }
    assertFalse(printed.isEmpty());
}

Example 24 with Model

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

the class PartialFunctionTest method noDynamicJavaCodeGenerated.

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

Example 25 with Model

use of org.abs_models.frontend.ast.Model 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"));
}