Module aya.pretty

Package org.aya.pretty.backend.latex

Class DocTeXPrinter.Config

java.lang.Object

org.aya.pretty.printer.PrinterConfig.Basic

org.aya.pretty.backend.string.StringPrinterConfig

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

All Implemented Interfaces:

PrinterConfig

Enclosing class:

DocTeXPrinter

public static class DocTeXPrinter.Config
extends StringPrinterConfig

Nested Class Summary

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

PrinterConfig.Basic

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 ColorScheme colorScheme, @NotNull StyleFamily styleFamily)

Method Summary

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

getStylist, unixTerminal, unixTerminal, unixTerminal, unixTerminal

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

getPageHeight, getPageWidth

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 ColorScheme colorScheme,
 @NotNull
 @NotNull StyleFamily styleFamily)