123124125126127128129130131132133
} public static void main(String[] args) { RascalTutor tutor = new RascalTutor(); try { tutor.start(new NullRascalMonitor()); } catch (Exception e) { System.err.println("Cannot set up RascalTutor: " + e.getMessage()); } }
131132133134135136137138139140141
for (String module : modules) { String name = prefix + "::" + module; try { evaluator.doImport(new NullRascalMonitor(), name); } catch (Throwable e) { throw new RuntimeException("Could not import " + name + " for testing...", e); }