public static Term static_transform(Term t, TermSystem sys, TransformationContext ctx)
throws TermWareException {
if (!t.getName().equals("javaStrategy")) return t;
if (t.getArity() != 2) {
return t;
}
sys.getInstance().addJavaStrategy(t.getSubtermAt(0).getName(), t.getSubtermAt(1).getName());
ctx.setChanged(true);
return TermFactory.createBoolean(true);
}
public static Term static_transform(Term t, TermSystem sys, TransformationContext ctx)
throws TermWareException {
if (!t.getName().equals("printTerm")) return t;
if (sys.isLoggingMode()) {
sys.getEnv().getLog().print("native:");
t.print(sys.getEnv().getLog());
sys.getEnv().getLog().println();
}
Term retval = t;
if (t.getArity() == 1) {
t.getSubtermAt(0).print(sys.getEnv().getOutput());
retval = t.getSubtermAt(0);
} else if (t.getArity() == 2 || t.getArity() == 3) {
// TODO:
// 1. check that name and language is string
// 2. outTag can be parameter.
String printerName = t.getSubtermAt(1).getName();
IPrinterFactory printerFactory = sys.getInstance().getPrinterFactory(printerName);
IPrinter printer;
Term arg = ((t.getArity() == 2) ? TermFactory.createNIL() : t.getSubtermAt(2));
printer = printerFactory.createPrinter(sys.getEnv().getOutput(), "unknown", sys, arg);
printer.writeTerm(t.getSubtermAt(0));
retval = t.getSubtermAt(0);
} else {
if (sys.isLoggingMode()) {
sys.getEnv().getLog().print("native:");
t.print(sys.getEnv().getLog());
sys.getEnv().getLog().println("- not changed.");
}
return t;
}
ctx.setChanged(true);
if (sys.isLoggingMode()) {
sys.getEnv().getLog().print("native:");
t.print(sys.getEnv().getLog());
sys.getEnv().getLog().println("- printed.");
}
return retval;
}