java/sql-dk/src/info/globalcode/sql/dk/configuration/Configuration.java
branchv_0
changeset 89 98d18e9a357b
parent 88 102ba0fcb07f
child 123 248a98c13ca4
equal deleted inserted replaced
88:102ba0fcb07f 89:98d18e9a357b
    43 	private List<FormatterDefinition> formatters = new ArrayList<>();
    43 	private List<FormatterDefinition> formatters = new ArrayList<>();
    44 	/**
    44 	/**
    45 	 * is used if no formatter is specified on CLI nor in user configuration
    45 	 * is used if no formatter is specified on CLI nor in user configuration
    46 	 */
    46 	 */
    47 	public static final String DEFAULT_FORMATTER = TabularFormatter.NAME;
    47 	public static final String DEFAULT_FORMATTER = TabularFormatter.NAME;
       
    48 	/**
       
    49 	 * Can be used as default if prefetching is ok – for configuration listings (config is alread in
       
    50 	 * memory, so this does not matter)
       
    51 	 */
       
    52 	public static final String DEFAULT_FORMATTER_PREFETCHING = TabularPrefetchingFormatter.NAME;
    48 	private String defaultFormatter;
    53 	private String defaultFormatter;
    49 	/**
    54 	/**
    50 	 * Default list of formatters. Is used if particular name is not found in user configuration.
    55 	 * Default list of formatters. Is used if particular name is not found in user configuration.
    51 	 */
    56 	 */
    52 	private static final Collection<FormatterDefinition> buildInFormatters;
    57 	private static final Collection<FormatterDefinition> buildInFormatters;