property annotations: dummy InfoLister table v_0
authorFrantišek Kučera <franta-hg@frantovo.cz>
Sat, 15 Aug 2015 11:07:50 +0200
branchv_0
changeset 211b5148f646278
parent 210 f8aa3686d512
child 212 d154d6012cbe
property annotations: dummy InfoLister table
java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java
     1.1 --- a/java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java	Sat Aug 15 10:53:35 2015 +0200
     1.2 +++ b/java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java	Sat Aug 15 11:07:50 2015 +0200
     1.3 @@ -177,12 +177,32 @@
     1.4  		}
     1.5  	}
     1.6  
     1.7 -	private void listFormatterProperties() {
     1.8 -		for (String name : options.getFormatterNamesToListProperties()) {
     1.9 -			log.log(Level.SEVERE, "TODO: list formatter properties for {0}", name);
    1.10 +	private void listFormatterProperties() throws FormatterException, ConfigurationException {
    1.11 +		for (String formatterName : options.getFormatterNamesToListProperties()) {
    1.12 +			listFormatterProperties(formatterName);
    1.13  		}
    1.14  	}
    1.15  
    1.16 +	private void listFormatterProperties(String formatterName) throws FormatterException, ConfigurationException {
    1.17 +		ColumnsHeader header = constructHeader(
    1.18 +				new HeaderField("name", SQLType.VARCHAR),
    1.19 +				new HeaderField("type", SQLType.VARCHAR),
    1.20 +				new HeaderField("default", SQLType.VARCHAR),
    1.21 +				new HeaderField("description", SQLType.VARCHAR)
    1.22 +		);
    1.23 +		List<Object[]> data = new ArrayList<>();
    1.24 +
    1.25 +		data.add(new Object[]{"TODO", "a", "b", "c"});
    1.26 +		data.add(new Object[]{"TODO", "a", "b", "c"});
    1.27 +		data.add(new Object[]{"TODO", "a", "b", "c"});
    1.28 +		data.add(new Object[]{"TODO", "a", "b", "c"});
    1.29 +
    1.30 +		List<Parameter> parameters = new ArrayList<>();
    1.31 +		parameters.add(new NamedParameter("formatter", formatterName, SQLType.VARCHAR));
    1.32 +
    1.33 +		printTable(formatter, header, "-- formatter properties", parameters, data);
    1.34 +	}
    1.35 +
    1.36  	private void listTypes() throws FormatterException, ConfigurationException {
    1.37  		ColumnsHeader header = constructHeader(new HeaderField("name", SQLType.VARCHAR), new HeaderField("code", SQLType.INTEGER));
    1.38  		List<Object[]> data = new ArrayList<>();