|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.dante.extex.interpreter.type.AbstractCode
de.dante.extex.interpreter.primitives.file.Write
This class provides an implementation for the primitive
TODO missing documentation
\write
.
The Primitive \write
Syntax
The formal description of this primitive is the following:
〈write〉
→ 〈modifier〉 \write 〈outfile name〉 ...
〈modifier〉
→
| \immediate 〈modifier〉
Examples
\immediate\openout3= abc.def
\write3{Hi there!}
\closeout3
Field Summary | |
protected static long |
serialVersionUID
The constant serialVersionUID contains the id for serialization. |
Constructor Summary | |
Write(java.lang.String name)
Creates a new object. |
Method Summary | |
void |
configure(Configuration config)
Configure an object according to a given Configuration. |
void |
enableLogging(java.util.logging.Logger theLogger)
Setter for the logger. |
void |
execute(Flags prefix,
Context context,
TokenSource source,
Typesetter typesetter)
This method takes the first token and executes it. |
void |
write(java.lang.String key,
Tokens toks,
Context context)
Write some tokens to a write register. |
Methods inherited from class de.dante.extex.interpreter.type.AbstractCode |
enableLocalization, getLocalizer, getName, isIf, isOuter, printable, printableControlSequence, readResolve, setName, toString |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
protected static final long serialVersionUID
Constructor Detail |
public Write(java.lang.String name)
name
- the name for debuggingMethod Detail |
public void configure(Configuration config) throws ConfigurationException
Configurable
configure
in interface Configurable
config
- the configuration object to consider
ConfigurationException
- in case that something went wrongConfigurable.configure(
de.dante.util.framework.configuration.Configuration)
public void enableLogging(java.util.logging.Logger theLogger)
LogEnabled
enableLogging
in interface LogEnabled
theLogger
- the logger to useLogEnabled.enableLogging(
java.util.logging.Logger)
public void execute(Flags prefix, Context context, TokenSource source, Typesetter typesetter) throws InterpreterException
Code
execute
in interface Code
execute
in class AbstractCode
InterpreterException
Code.execute(
de.dante.extex.interpreter.Flags,
de.dante.extex.interpreter.context.Context,
de.dante.extex.interpreter.TokenSource,
de.dante.extex.typesetter.Typesetter)
public void write(java.lang.String key, Tokens toks, Context context) throws InterpreterException
write
in interface TokensWriter
key
- the name (number) of the write registertoks
- the tokens to writecontext
- the processing context
InterpreterException
- in case of an error
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |