xml.translate
Class BuffersOutputDirectory

java.lang.Object
  xml.translate.BuffersOutputDirectory

All Implemented Interfaces:

com.thaiopensource.relaxng.output.OutputDirectory

public class BuffersOutputDirectory
extends java.lang.Object
implements com.thaiopensource.relaxng.output.OutputDirectory

channels Trang output to jEdit buffers. For each file Trang wants to write to, a jEdit buffer is opened. FIXME: If the file is read-only, writing to it will fail.

Nested Class Summary

static class

BuffersOutputDirectory.BufferWriter writes to a Buffer upon close()

Nested classes/interfaces inherited from interface com.thaiopensource.relaxng.output.OutputDirectory

com.thaiopensource.relaxng.output.OutputDirectory.Stream

Constructor Summary

BuffersOutputDirectory(org.gjt.sp.jedit.View view, java.lang.String mainInput, java.lang.String mainOutput)

Method Summary

int	getIndent()
int	getLineLength()
java.lang.String	getLineSeparator()
int	getOutputCount()
com.thaiopensource.relaxng.output.OutputDirectory.Stream	open(java.lang.String sourceUri, java.lang.String ignoredEncoding)
java.lang.String	reference(java.lang.String fromSourceUri, java.lang.String toSourceUri)
void	setEncoding(java.lang.String encoding)
void	setIndent(int indent)

Methods inherited from class java.lang.Object

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

Constructor Detail

BuffersOutputDirectory

public BuffersOutputDirectory(org.gjt.sp.jedit.View view,
                              java.lang.String mainInput,
                              java.lang.String mainOutput)

Method Detail

getIndent

public int getIndent()

Specified by:

getIndent in interface com.thaiopensource.relaxng.output.OutputDirectory

getLineLength

public int getLineLength()

Specified by:

getLineLength in interface com.thaiopensource.relaxng.output.OutputDirectory

getLineSeparator

public java.lang.String getLineSeparator()

Specified by:

getLineSeparator in interface com.thaiopensource.relaxng.output.OutputDirectory

open

public com.thaiopensource.relaxng.output.OutputDirectory.Stream open(java.lang.String sourceUri,
                                                                     java.lang.String ignoredEncoding)
                                                              throws java.io.UnsupportedEncodingException

Specified by:

open in interface com.thaiopensource.relaxng.output.OutputDirectory

Throws:

java.io.UnsupportedEncodingException

setEncoding

public void setEncoding(java.lang.String encoding)

Specified by:

setEncoding in interface com.thaiopensource.relaxng.output.OutputDirectory

setIndent

public void setIndent(int indent)

Specified by:

setIndent in interface com.thaiopensource.relaxng.output.OutputDirectory

reference

public java.lang.String reference(java.lang.String fromSourceUri,
                                  java.lang.String toSourceUri)

Specified by:

reference in interface com.thaiopensource.relaxng.output.OutputDirectory

getOutputCount

public int getOutputCount()