<properties> 元素

<properties> 元素用于指定一个需要在配置中解析使用的外部属性文件。 属性配置中的任何属性将接受 ${property} 这种形式的属性。 从指定的属性文件中搜索匹配的值,配置的值将会被替换。 属性文件时正常的Java属性文件的格式。

<properties>元素是 <generatorConfiguration> 元素的子元素。

必选属性

以下属性是必需的,并且只能有其中一个。