Uses of Interface
org.extex.scanner.stream.TokenStreamOptions

Packages that use TokenStreamOptions
org.extex.interpreter.context.impl.extension   
org.extex.interpreter.max.context This package contains a reference implementation for the Context
org.extex.scanner.base This package contains a basic implementation for a TokenStream
org.extex.scanner.stream This package contains the stream definitions and implementations supported for the scanner. 
org.extex.scanner.stream.impl32 This package contains the implementations for different TokenStream implementations. 
 

Uses of TokenStreamOptions in org.extex.interpreter.context.impl.extension
 

Classes in org.extex.interpreter.context.impl.extension that implement TokenStreamOptions
 class ContextExtensionImpl
          This is a reference implementation for an interpreter context with ExTeX functions.
 

Uses of TokenStreamOptions in org.extex.interpreter.max.context
 

Classes in org.extex.interpreter.max.context that implement TokenStreamOptions
 class ContextImpl
          This is a reference implementation for an interpreter context.
 

Uses of TokenStreamOptions in org.extex.scanner.base
 

Constructors in org.extex.scanner.base with parameters of type TokenStreamOptions
TokenStreamImpl(Configuration config, TokenStreamOptions options, java.io.Reader reader, java.lang.Boolean isFile, java.lang.String theSource)
          Creates a new object.
 

Uses of TokenStreamOptions in org.extex.scanner.stream
 

Methods in org.extex.scanner.stream with parameters of type TokenStreamOptions
 void TokenStreamFactory.setOptions(TokenStreamOptions options)
          Setter for options.
 

Uses of TokenStreamOptions in org.extex.scanner.stream.impl32
 

Constructors in org.extex.scanner.stream.impl32 with parameters of type TokenStreamOptions
TokenStreamImpl(Configuration config, TokenStreamOptions options, java.io.Reader reader, java.lang.Boolean isFile, java.lang.String theSource)
          Creates a new object.
TokenStreamImpl32(Configuration config, TokenStreamOptions options, java.io.Reader reader, java.lang.Boolean isFile, java.lang.String theSource)
          Creates a new object.