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

Example 6 with FnApp

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

the class FunctionTestCaseBuilder method makeTestExecution.

@Override
Exp makeTestExecution(String testName, Set<String> heap, String testExecutionName, List<ABSData> inArgs) {
    abs.frontend.ast.List<PureExp> ps = new abs.frontend.ast.List<PureExp>();
    FnApp fa = new FnApp();
    if (inArgs.size() == 0) {
        throw new IllegalStateException("Inputs for a method must at least have a reference");
    }
    fa.setName(testExecutionName);
    fa.setParamList(ps);
    for (int i = 0; i < inArgs.size(); i++) {
        ABSData d = inArgs.get(i);
        PureExp exp = pureExpBuilder.createPureExpression(testName, heap, d);
        fa.setParam(exp, i);
    }
    return fa;
}