FormatProvider
Contents
[
Hide
]Inheritance: java.lang.Object
public class FormatProvider
Class providing TeX format.
Constructors
| Constructor | Description |
|---|---|
| FormatProvider(IInputWorkingDirectory workingDirectory, String formatFileName) | Creates a new instance. |
Methods
| Method | Description |
|---|---|
| objectTeX() | Default format provider for ObjectTeX engine extension. |
| objectLaTeX() | Object LaTeX format provider for ObjectTeX engine extension. |
| close() | Disposes the instance. |
FormatProvider(IInputWorkingDirectory workingDirectory, String formatFileName)
public FormatProvider(IInputWorkingDirectory workingDirectory, String formatFileName)
Creates a new instance.
Parameters:
| Parameter | Type | Description |
|---|---|---|
| workingDirectory | IInputWorkingDirectory | The working directory. |
| formatFileName | java.lang.String | The source file name to start reading format from. |
objectTeX()
public static FormatProvider objectTeX()
Default format provider for ObjectTeX engine extension.
Returns: FormatProvider - Default format provider for ObjectTeX engine extension.
objectLaTeX()
public static FormatProvider objectLaTeX()
Object LaTeX format provider for ObjectTeX engine extension.
Returns: FormatProvider - Default format provider for ObjectTeX engine extension.
close()
public void close()
Disposes the instance.