...
| Attribute | Description | Required |
|---|---|---|
| section | The INI section to lookup. | Yes. |
| key | The INI key to deal with. If this ends with a dot ., the key is automatically assumed to be an auto-numbered value, e.g. key = "key." would match a collection of keys "key.0", "key.1", etc. The operation below would apply on each of those keys. | Yes, unless operation is "keep" or "remove" (these operations may be applied to a whole section). |
| value | The new value to set the INI key to. | Yes, if Defaults to |
| default | A fallback value to set the INI key to if no other definition can be found, i.e. if parameter value is not specified, or if the key is not already defined in the INI file. | Yes, if Where no previous value is defined, defaults to |
| dataType | Instructs that entry values be treated as a certain data type during processing. Support currently exists for treating a property value as a date or an integer, instead of as a plain string. Can be used with the pattern parameter to define string parsing and output formatting, and/or with the operation parameter to perform basic calculations. | No; defaults to "string". Can also be set to "int" or "date". |
| operation | Overrides global patching behavior for specific entries, or allows basic calculations for numeric data types (i.e. Entries can be removed from the INI by specifying Specifying | No; defaults to "=". Valid values for all data types are "=" (set), "+" (increment/append), "remove", "keep". For numeric data types, the value "-" (decrement) is also valid. |
| unit | Defines the date component to modify when dataType="date" and operation is "+" or "-". | No; defaults to |
| pattern | For numeric data types, a string formatting pattern can be specified using conventional Java formatting placeholders. This defines both the input parsing and output formatting pattern for this entry. See javadoc for DecimalFormat (applies to int) and SimpleDateFormat (applies to date). | No. The default pattern for |
...