public final boolean unify(final Hashtable<Variable, Variable> varsTbl) { String strDestinationFile = null; final PrologObject fileList = getRealTerm(getParam(1)); final PrologObject destinationFile = getRealTerm(getParam(2)); if (!(fileList instanceof List)) throw new JIPTypeException(JIPTypeException.LIST, fileList); if (destinationFile instanceof Atom) { strDestinationFile = ((Atom) destinationFile).getName(); } else if (destinationFile instanceof PString) { strDestinationFile = ((PString) destinationFile).getString(); } else if (destinationFile.unifiable(List.NIL)) { throw new JIPTypeException(JIPTypeException.ATOM_OR_STRING, destinationFile); } try { pack((List) fileList, strDestinationFile, getJIPEngine()); } catch (FileNotFoundException e) { throw JIPExistenceException.createSourceSynkException(destinationFile); } catch (IOException e) { throw new JIPJVMException(e); } return true; }
public static final void pack(List fileList, String destinationFile, final JIPEngine engine) throws FileNotFoundException, IOException { InputStream ins = null; File outf = new File(destinationFile); if (!outf.isAbsolute()) outf = new File(engine.getSearchPath(), destinationFile); final ObjectOutputStream out = new ObjectOutputStream(new FileOutputStream(outf)); String strPath = null; int len = fileList.getHeight(); for (int i = 1; i <= len; i++) { try { PrologObject path = getRealTerm(fileList.getTerm(i)); if (!(path instanceof Atom)) throw new JIPTypeException(JIPTypeException.ATOM_OR_STRING, path); strPath = ((Atom) path).getName(); String strFileName[] = new String[1]; String strCurDir[] = new String[1]; ins = StreamManager.getStreamManager() .getInputStream(strPath, engine.getSearchPath(), strFileName, strCurDir); String file = new File(strPath).getName(); final int nPos = file.lastIndexOf('.'); file = new StringBuilder(file.substring(0, nPos)).append(".jip").toString(); PrologParser parser = new PrologParser( new ParserReader(new PushbackLineNumberInputStream(ins)), engine.getOperatorManager(), engine, strPath); try { PrologObject term; while ((term = parser.parseNext()) != null) { out.writeObject(term); } ins.close(); ins = null; } catch (IOException ex) { ins.close(); ins = null; out.close(); ex.printStackTrace(); throw new JIPJVMException(ex); } } catch (FileNotFoundException ex) { try { if (ins != null) ins.close(); out.close(); } catch (IOException ex1) { } ; throw JIPExistenceException.createSourceSynkException(Atom.createAtom(strPath)); } catch (IOException ex) { try { if (ins != null) ins.close(); } catch (IOException ex1) { } throw new JIPJVMException(ex); } catch (SecurityException ex) { try { if (ins != null) ins.close(); } catch (IOException ex1) { } throw new JIPPermissionException("access", "source_sink", Atom.createAtom(strPath)); } catch (JIPRuntimeException ex) { ex.m_strFileName = strPath; throw ex; } finally { try { if (ins != null) ins.close(); } catch (IOException ex1) { } } } out.close(); }