uk.ac.ed.ph.snuggletex

类 SnuggleInput

java.lang.Object

uk.ac.ed.ph.snuggletex.SnuggleInput

public final class SnuggleInput
extends java.lang.Object

Simple container for an input into SnuggleTeX.

嵌套类概要

嵌套类

限定符和类型	类和说明
static class	SnuggleInput.InputType Enumerates the various types of inputs we support.

构造器概要

构造器

构造器和说明
SnuggleInput(java.io.File file)
SnuggleInput(java.io.File file, java.lang.String identifier)
SnuggleInput(java.io.File file, java.lang.String identifier, java.lang.String encoding)
SnuggleInput(java.io.InputStream inputStream)
SnuggleInput(java.io.InputStream inputStream, java.lang.String identifier)
SnuggleInput(java.io.InputStream inputStream, java.lang.String identifier, java.lang.String encoding)
SnuggleInput(java.io.Reader reader)
SnuggleInput(java.io.Reader reader, java.lang.String identifier)
SnuggleInput(java.lang.String string)
SnuggleInput(java.lang.String string, java.lang.String identifier)

方法概要

限定符和类型	方法和说明
java.lang.String	getEncoding()
java.io.File	getFile() Returns the File that provided this input if type is SnuggleInput.InputType.FILE, null otherwise.
java.lang.String	getIdentifier() Returns the "identifier" for this input.
java.io.InputStream	getInputStream() Returns the InputStream that provided this input if type is SnuggleInput.InputType.INPUT_STREAM, null otherwise.
java.io.Reader	getReader() Returns the Reader that provided this input if type is SnuggleInput.InputType.READER, null otherwise.
java.lang.String	getString() Returns the String that provided this input if type is SnuggleInput.InputType.STRING, null otherwise.
SnuggleInput.InputType	getType() Returns the "type" of input, represented by an instance of the SnuggleInput.InputType enumeration.
java.net.URI	getURI() Returns an (optional) URI for this input.
void	setEncoding(java.lang.String encoding)
void	setIdentifier(java.lang.String identifier) Sets the "identifier" for this input.
void	setURI(java.net.URI uri) Sets a URI for this input.
java.lang.String	toString()

从类继承的方法 java.lang.Object

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

构造器详细资料

SnuggleInput

public SnuggleInput(java.lang.String string)

SnuggleInput

public SnuggleInput(java.lang.String string,
                    java.lang.String identifier)

SnuggleInput

public SnuggleInput(java.io.File file)

SnuggleInput

public SnuggleInput(java.io.File file,
                    java.lang.String identifier)

SnuggleInput

public SnuggleInput(java.io.File file,
                    java.lang.String identifier,
                    java.lang.String encoding)

SnuggleInput

public SnuggleInput(java.io.InputStream inputStream)

SnuggleInput

public SnuggleInput(java.io.InputStream inputStream,
                    java.lang.String identifier)

SnuggleInput

public SnuggleInput(java.io.InputStream inputStream,
                    java.lang.String identifier,
                    java.lang.String encoding)

SnuggleInput

public SnuggleInput(java.io.Reader reader)

SnuggleInput

public SnuggleInput(java.io.Reader reader,
                    java.lang.String identifier)

方法详细资料

getType

public SnuggleInput.InputType getType()

Returns the "type" of input, represented by an instance of the SnuggleInput.InputType enumeration.

getIdentifier

public java.lang.String getIdentifier()

Returns the "identifier" for this input. This is used when formulating error messages. You can use as you require - e.g. as a kind of System ID, URL or File name.

setIdentifier

public void setIdentifier(java.lang.String identifier)

Sets the "identifier" for this input. This is used when formulating error messages. You can use as you require - e.g. as a kind of System ID, URL or File name.

参数:

identifier - new identifier, which may be null.

getURI

public java.net.URI getURI()

Returns an (optional) URI for this input. If provided, this can be used to help resolve links to other SnuggleInputs.

setURI

public void setURI(java.net.URI uri)

Sets a URI for this input. If provided, this can be used to help resolve links to other SnuggleInputs.

参数:

uri - URI for this input, which may be null.

getEncoding

public java.lang.String getEncoding()

setEncoding

public void setEncoding(java.lang.String encoding)

getString

public java.lang.String getString()

Returns the String that provided this input if type is SnuggleInput.InputType.STRING, null otherwise.

getFile

public java.io.File getFile()

Returns the File that provided this input if type is SnuggleInput.InputType.FILE, null otherwise.

getInputStream

public java.io.InputStream getInputStream()

Returns the InputStream that provided this input if type is SnuggleInput.InputType.INPUT_STREAM, null otherwise.

getReader

public java.io.Reader getReader()

Returns the Reader that provided this input if type is SnuggleInput.InputType.READER, null otherwise.

toString

public java.lang.String toString()

覆盖:

toString 在类中 java.lang.Object