Examples with JavaCode abs.backend.java.codegeneration.JavaCode used on opensource projects

Example 6 with JavaCode

use of abs.backend.java.codegeneration.JavaCode in project abstools by abstools.

the class JavaTestDriver method assertEvalTrue.

@Override
public void assertEvalTrue(Model m) throws Exception {
    JavaCode javaCode = javaTest.getJavaCode(m);
    boolean res = javaTest.runJavaAndTestResult(javaCode, false);
    assertEquals(true, res);
}

Example 7 with JavaCode

use of abs.backend.java.codegeneration.JavaCode in project abstools by abstools.

the class JavaBackendDynamicTest method getJavaCodeDynamic.

static JavaCode getJavaCodeDynamic(Model model) throws IOException, JavaCodeGenerationException {
    JavaCode code = new JavaCode();
    model.generateJavaCodeDynamic(code, true);
    return code;
}

Example 8 with JavaCode

use of abs.backend.java.codegeneration.JavaCode in project abstools by abstools.

the class JavaDynamicTestDriver method assertEvalTrue.

@Override
public void assertEvalTrue(Model m) throws Exception {
    JavaCode javaCode = javaTest.getJavaCodeDynamic(m);
    boolean res = javaTest.runJavaAndTestResult(javaCode, false);
    assertEquals(true, res);
}

Example 9 with JavaCode

use of abs.backend.java.codegeneration.JavaCode in project abstools by abstools.

the class JavaBackendTest method assertEvalFails.

public void assertEvalFails(String absCode) throws Exception {
    JavaCode javaCode = getJavaCode(absCode, Config.WITH_STD_LIB);
    try {
        runJavaAndTestResult(javaCode, true);
        System.err.println(javaCode);
        fail("Expected that Java run failed, but did not.");
    } catch (NoTestResultFoundException e) {
    // OK
    }
}

Example 10 with JavaCode

use of abs.backend.java.codegeneration.JavaCode in project abstools by abstools.

the class JavaBackendTest method getJavaCode.

static JavaCode getJavaCode(Model model) throws IOException, JavaCodeGenerationException {
    JavaCode code = new JavaCode();
    model.generateJavaCode(code, true);
    return code;
}