mascoptLib.io.graph
Class MGLWriter

java.lang.Object
  extended bymascoptLib.io.graph.MGLWriter
All Implemented Interfaces:
WriterInterface

public class MGLWriter
extends Object
implements WriterInterface

MGLWriter

Version:
mer 09 jun 2004 14:37:50 MEST
Author:
Jean-Francois Lalande (Jean-Francois.Lalande@sophia.inria.fr)

Field Summary
static String DTD
          The DTD for this document.
static String relaxNG
          The Relax NG Schema for this document.
static String relaxNGVersionAttribute
          The Relax NG Schema for this document.
static String rootElementForXMLFile
          Root element for the XML file.
 String SYSTEM
          System.
 
Constructor Summary
MGLWriter(OutputStream os)
          Creates a writer with a stream.
MGLWriter(String file)
          Creates a writer with a filename.
 
Method Summary
 void add(MascoptObject object)
          Add an object to write in the Writer.
 void write()
          Writes the file.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

rootElementForXMLFile

public static String rootElementForXMLFile
Root element for the XML file.


SYSTEM

public String SYSTEM
System.


DTD

public static String DTD
The DTD for this document.


relaxNG

public static String relaxNG
The Relax NG Schema for this document.


relaxNGVersionAttribute

public static String relaxNGVersionAttribute
The Relax NG Schema for this document.

Constructor Detail

MGLWriter

public MGLWriter(String file)
          throws FileNotFoundException
Creates a writer with a filename.

Parameters:
file - the filename where to write.

MGLWriter

public MGLWriter(OutputStream os)
Creates a writer with a stream.

Parameters:
os - the stream where to write.
Method Detail

add

public void add(MascoptObject object)
Add an object to write in the Writer.

Specified by:
add in interface WriterInterface
Parameters:
object -

write

public void write()
Writes the file.

Specified by:
write in interface WriterInterface