org.activemath.fileBased
Class OMdocGrouper

java.lang.Object
  org.activemath.fileBased.OMdocGrouper

public class OMdocGrouper
extends Object

This class is a tool to digest a series of OMdocs into one OMdoc, forgetting about metadata and ids of omdoc elements except for the first whose first part (xml-declaration, dtd-reference, omdoc-id and omdoc-metadata, is copied.

Constructor Summary

OMdocGrouper()

Method Summary

static void	addOMdoc(String filename, OutputStream outStream, boolean isFirst) .
static void	groupList(String[] args, OutputStream outStream, boolean isFirst)
static void	main(String[] args)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OMdocGrouper

public OMdocGrouper()

Method Detail

addOMdoc

public static void addOMdoc(String filename,
                            OutputStream outStream,
                            boolean isFirst)
                     throws IOException

.

Throws:

IOException

groupList

public static void groupList(String[] args,
                             OutputStream outStream,
                             boolean isFirst)
                      throws IOException

Throws:

IOException

main

public static void main(String[] args)
                 throws IOException

Throws:

IOException