⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 env-schema.xtp

📁 RESIN 3.2 最新源码
💻 XTP
📖 第 1 页 / 共 2 页
字号:
<document>  <header>    <product>resin</product>    <title>Resin Environment Relax-NG Schema</title>    <version>Resin 3.0</version>    <description>      <p>The formal definition for the Resin environment configuration.</p>    </description>  </header>  <body>    <summary/><s1 title="Relax-NG Schema"><def title="com/caucho/server/resin/env.rnc">namespace local = ""namespace L = ""default namespace r = "http://caucho.com/ns/resin"namespace rcore = "http://caucho.com/ns/resin/core"include "../resin/resin-j2ee.rnc"r_boolean-Type =  "true"  | "false"  | "yes"  | "no"r_jndi = stringr_int = stringr_period = stringr_kbytes = stringr_path-Type =  stringr_int-Type = stringr_period-Type = stringr_kbytes-Type = stringr_jndi-Type = stringr_class-Type = stringr_any-Group = text | (attribute * {string} | element * { r_any-Group })*## The basic environment tagsr_env-Basis =  r_authenticator*  &amp; r_case-insensitive?  &amp; r_character-encoding?  &amp; r_cluster?  &amp; r_cluster-definition*  &amp; r_connector*  &amp; r_ejb-server*  &amp; r_env-entry*  &amp; r_database*  &amp; r_dependency*  &amp; r_dependency-check-interval?  &amp; r_grant*  &amp; rcore_import*  &amp; rcore_include*  &amp; r_javac?  &amp; r_jndi-link*  &amp; r_log*  &amp; r_reference*  &amp; r_resource*  &amp; r_resource-deploy*  &amp; r_stderr-log?  &amp; r_stdout-log?  &amp; r_system-property*  &amp; r_temp-dir?  &amp; r_work-dir?  &amp; rcore_log*  &amp; rcore_set*  &amp; rcore_include*## The environment, including control structuresr_env-Flow =  r_env-Basis  &amp; element rcore:env { r_class-loader-Group, r_env-Flow }*  &amp; element rcore:if { rcore_if-Args, r_env-Flow }*  &amp; element rcore:choose {      element rcore:when { rcore_when-Args, r_env-Flow }+,      element rcore:otherwise { r_env-Flow }?    }*## The environment contentsr_env-Content = r_env-Flowr_authenticator = element authenticator {  r_jndi-name?,  r_type,  r_init?}r_arg = element arg { r_any-Group }r_case-insensitive =  attribute case-insensitive { r_boolean-Type }  | element case-insensitive { r_boolean-Type }r_character-encoding =  attribute character-encoding { string }  | element character-encoding { string }r_class = attribute class { string } | element class { string }r_class-loader = element class-loader {  r_simple-loader*  &amp; r_library-loader*  &amp; r_compiling-loader*  &amp; r_enhancer*  &amp; r_make-loader*  &amp; r_servlet-hack?  &amp; r_tree-loader*}r_class-loader-Group =  r_class-loader?r_cluster = element cluster {  r_cluster-ref  | (attribute id { string }?     &amp; (r_cluster-port* | r_cluster-group*)     &amp; r_cluster-store?)}r_cluster-definition = element cluster-definition {  attribute id { string },  (r_cluster-port* | r_cluster-group*)}r_cluster-group = element group {  r_cluster-port*}r_cluster-ref =  (attribute cluster-ref { string } | element cluster-ref { string })r_cluster-store = element cluster-store {  r_jndi-name?  &amp; ((attribute path { string } | element path { string })    | ((attribute type { string} | element type { string })      &amp; r_init*)    )  &amp; (attribute always-load { string } | element always-load { string })?  &amp; (attribute always-save { string } | element always-save { string })?}r_cluster-port-Content =  (attribute id { string }   | attribute server-id { string }   | element server-id { string })?  &amp; (attribute backup { string } | element backup { string })?  &amp; (attribute dead-time { r_period } | element dead-time { r_period })?  &amp; (attribute host { string } | element host { string })?  &amp; (attribute index { string } | element index { string })?  &amp; (attribute live-time { r_period } | element live-time { r_period })?  &amp; (r_openssl | r_jsse-ssl)?  &amp; (attribute port { string } | element port { string })  &amp; (attribute protocol { string } | element protocol { string })?  &amp; (attribute socket-listen-backlog { r_int-Type }     | element socket-listen-backlog { r_int-Type })?  &amp; (attribute tcp-no-delay { r_boolean-Type }     | element tcp-no-delay { r_boolean-Type })?  &amp; (attribute timeout { r_period } | element tcp-no-delay { r_period })?r_cluster-port =  element port { r_cluster-port-Content }  | element srun { r_cluster-port-Content }r_compiling-loader = element compiling-loader {  r_path  &amp; (attribute args { string }     | element args { string })*  &amp; (attribute batch { string }     | element batch { string })?  &amp; (attribute encoding { string }     | element encoding { string })?  &amp; (attribute require-source { r_boolean-Type }     | element require-source { r_boolean-Type })?  &amp; (attribute source { r_path-Type }     | element source { r_path-Type })?  &amp; (attribute source-extension { string }     | element source-extension { string })?  &amp; (attribute compiler { string }     | element compiler { string })?}r_connection-factory = element connection-factory {  r_jndi-name  &amp; r_type?  &amp; r_init?  &amp; (attribute local-transaction-optimization { r_boolean-Type }     | element local-transaction-optimization { r_boolean-Type })?  &amp; (attribute shareable { r_boolean-Type }     | element shareable { r_boolean-Type })?}r_connector = element connector {  r_type,  r_resource-adapter?,  (r_connection-factory*   &amp; r_connector-message-listener*   &amp; r_connector-resource*)}r_connector-message-listener = element message-listener {  r_type?,  r_init?,  r_endpoint-factory}r_connector-resource = element resource {  r_jndi-name?,  r_type?,  r_init?}r_database = element database {  r_jndi-name  &amp; r_driver+  &amp; (attribute user { string }     | element user { string })?  &amp; (attribute password { string }     | element password { string })?  &amp; (attribute connection-wait-time { r_period }     | element connection-wait-time { r_period })?  &amp; (attribute max-active-time { r_period }     | element max-active-time { r_period })?  &amp; (attribute max-connections { r_int }     | element max-connections { r_int })?  &amp; (attribute max-create-connections { r_int }     | element max-create-connections { r_int })?  &amp; (attribute max-idle-time { r_period }     | element max-idle-time { r_period })?  &amp; (attribute max-overflow-connections { r_int }     | element max-overflow-connections { r_int })?  &amp; (attribute max-pool-time { r_period }     | element max-pool-time { r_period })?  &amp; (attribute ping { r_boolean-Type }     | element ping { r_boolean-Type })?  &amp; (attribute ping-table { string }     | element ping-table { string })?  &amp; (attribute ping-query { string }     | element ping-query { string })?  &amp; (attribute ping-interval { r_period }     | element ping-interval { r_period })?  &amp; (attribute prepared-statement-cache-size { r_int }     | element prepared-statement-cache-size { r_int })?  &amp; (attribute save-allocation-stack-trace { r_boolean-Type }     | element save-allocation-stack-trace { r_boolean-Type })?  &amp; (attribute spy { r_boolean-Type }     | element spy { r_boolean-Type })?  &amp; (attribute transaction-timeout { r_period }     | element transaction-timeout { r_period })?  &amp; (attribute xa { r_boolean-Type }     | element xa { r_boolean-Type })?}r_data-source =  attribute data-source { string }  | element data-source { string }r_dependency = element dependency {  (attribute path { string }   | element path { string })}r_dependency-check-interval =  attribute dependency-check-interval { r_period }  | element dependency-check-interval { r_period }r_driver = element (driver|backup-driver) {  (r_type,   r_any-Group?)  | r_data-source}r_endpoint-factory = element endpoint-factory {  r_type,  r_init?}rcore_env-Args =  r_class-loader?r_ejb-server = element ejb-server {  r_jndi-name?  &amp; (attribute auto-compile { r_boolean-Type }     | element auto-compile { r_boolean-Type })?  &amp; (attribute ejb-descriptor { string }     | element ejb-descriptor { string })?  &amp; (attribute create-database-schema { r_boolean-Type }     | element create-database-schema { r_boolean-Type })?  &amp; (attribute cache-size { r_int }     | element cache-size { r_int })?  &amp; (attribute cache-timeout { r_period }     | element cache-timeout { r_period })?  &amp; (attribute data-source { r_jndi }     | element data-source { r_jndi })?  &amp; (attribute config-directory { r_path-Type }     | element config-directory { r_path-Type })?

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -