ThinkChat🤖让你学习和工作更高效,注册即送10W Token,即刻开启你的AI之旅 广告
# <properties> 元素 <properties> 元素用于指定一个需要在配置中解析使用的外部属性文件。 属性配置中的任何属性将接受 `${property}` 这种形式的属性。 从指定的属性文件中搜索匹配的值,配置的值将会被替换。 属性文件时正常的Java属性文件的格式。 <properties>元素是 [<generatorConfiguration>](generatorConfiguration.html) 元素的子元素。 ## 必选属性 以下属性是必需的,并且只能有其中一个。 | 属性 | 描述 | | --- | --- | | resource | 属性文件的全限定名称。当指定了resource属性,将会从classpath下面搜索属性文件。 当指定为 `com/myproject/generatorConfig.properties` 时,他必须存在 `com.myproject` 包下面。 | | url | 属性文件的URL值。这可以用于指定一个属性文件在文件系统上的特定位置,例如 `file:///C:/myfolder/generatorConfig.properties`。 | ## 可选属性 无 ## 子元素 无