Module aya.pretty

Package org.aya.pretty.backend.latex

Class DocTeXPrinter.Config

java.lang.Object

org.aya.pretty.printer.PrinterConfig.Basic<S>

org.aya.pretty.backend.string.StringPrinterConfig<TeXStylist>

org.aya.pretty.backend.latex.DocTeXPrinter.Config

All Implemented Interfaces:

PrinterConfig

Enclosing class:

DocTeXPrinter

public static class DocTeXPrinter.Config
extends StringPrinterConfig<TeXStylist>

Nested Class Summary

Nested classes/interfaces inherited from interface org.aya.pretty.printer.PrinterConfig

PrinterConfig.Basic<S extends Stylist>

Field Summary

Fields inherited from class org.aya.pretty.backend.string.StringPrinterConfig

unicode

Fields inherited from interface org.aya.pretty.printer.PrinterConfig

INFINITE_SIZE

Constructor Summary

Constructors

Constructor	Description
Config()
Config(@NotNull TeXStylist stylist)

Method Summary

Methods inherited from class org.aya.pretty.printer.PrinterConfig.Basic

getPageHeight, getPageWidth, getStylist

Methods inherited from class java.lang.Object

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

Constructor Details

Config

public Config()

Config

public Config(@NotNull
 @NotNull TeXStylist stylist)