net.sourceforge.czt.print.util

Interface PrintPropertiesKeys

All Known Subinterfaces:

LatexPrinterPropertyKeys

All Known Implementing Classes:

AbstractLatexPrinterCommand, AbstractPrinterCommand, LatexPrinterCommand, OldLatexPrinterCommand, UnicodePrinterCommand, XmlPrinterCommand, ZPrintVisitor

public interface PrintPropertiesKeys

Contains String constants for the keys used in parse properties.

The behaviour of the CZT parser utilities (scanner, parser, etc.) can be configured via Properties. This interface provides the String constants that are currently supported by the parser utilities.

Author:

Petra Malik

Field Summary

Fields

Modifier and Type	Field and Description
static String	PROP_PRINT_NAME_IDS When set to true, the printer tools add the id's of declaring and referencing names.
static boolean	PROP_PRINT_NAME_IDS_DEFAULT
static String	PROP_PRINT_ZEVES
static boolean	PROP_PRINT_ZEVES_DEFAULT
static String	PROP_PRINTING_ONTHEFLY_SECTION_NAME
static String	PROP_PRINTING_ONTHEFLY_SECTION_NAME_DEFAULT
static String	PROP_PRINTING_STRUCTURED_GOAL
static boolean	PROP_PRINTING_STRUCTURED_GOAL_DEFAULT
static String	PROP_TXT_TAB_SIZE
static int	PROP_TXT_TAB_SIZE_DEFAULT
static String	PROP_TXT_WIDTH The number of columns after which the pretty printer should break the line (that is, insert a newline).
static int	PROP_TXT_WIDTH_DEFAULT

Field Detail

PROP_PRINT_NAME_IDS

static final String PROP_PRINT_NAME_IDS

When set to true, the printer tools add the id's of declaring and referencing names.

See Also:

Constant Field Values

PROP_PRINT_ZEVES

static final String PROP_PRINT_ZEVES

See Also:

Constant Field Values

PROP_PRINTING_STRUCTURED_GOAL

static final String PROP_PRINTING_STRUCTURED_GOAL

See Also:

Constant Field Values

PROP_PRINTING_ONTHEFLY_SECTION_NAME

static final String PROP_PRINTING_ONTHEFLY_SECTION_NAME

See Also:

Constant Field Values

PROP_TXT_WIDTH

static final String PROP_TXT_WIDTH

The number of columns after which the pretty printer should break the line (that is, insert a newline).

See Also:

Constant Field Values

PROP_TXT_TAB_SIZE

static final String PROP_TXT_TAB_SIZE

See Also:

Constant Field Values

PROP_PRINT_NAME_IDS_DEFAULT

static final boolean PROP_PRINT_NAME_IDS_DEFAULT

See Also:

Constant Field Values

PROP_PRINT_ZEVES_DEFAULT

static final boolean PROP_PRINT_ZEVES_DEFAULT

See Also:

Constant Field Values

PROP_TXT_WIDTH_DEFAULT

static final int PROP_TXT_WIDTH_DEFAULT

See Also:

Constant Field Values

PROP_TXT_TAB_SIZE_DEFAULT

static final int PROP_TXT_TAB_SIZE_DEFAULT

See Also:

Constant Field Values

PROP_PRINTING_STRUCTURED_GOAL_DEFAULT

static final boolean PROP_PRINTING_STRUCTURED_GOAL_DEFAULT

See Also:

Constant Field Values

PROP_PRINTING_ONTHEFLY_SECTION_NAME_DEFAULT

static final String PROP_PRINTING_ONTHEFLY_SECTION_NAME_DEFAULT