resin-web-xml-content.rnc

来自「RESIN 3.2 最新源码」· RNC 代码 · 共 1,293 行 · 第 1/2 页

       & (attribute connection-load-weight { r_int-Type }
          | element connection-load-weight { r_int-Type })?

       & (attribute cpu-load-weight { r_int-Type }
          | element cpu-load-weight { r_int-Type })?

      & (attribute sticky-sessions { r_boolean-Type }
          | element sticky-sessions { r_boolean-Type })?

      & r_rewrite-conditions-Type
    }*

  & element match {
      r_rewrite-Group

      & r_rewrite-conditions-Type

      & r_rewrite-dispatch-Contents
    }*

  & element moved-permanently {
      r_rewrite-Group

      & (attribute target { string }
         | element target { string })

      & r_rewrite-conditions-Type
    }*

  & element not-found {
      r_rewrite-Group

      & r_rewrite-conditions-Type
    }*

  & element proxy {
      r_rewrite-Group

      & (attribute address { string }
         | element address { string })+

      & (attribute target { string }
         | element target { string })?

      & r_rewrite-conditions-Type
    }*

  & element redirect {
      r_rewrite-Group

      & (attribute target { string }
         | element target { string })

      & r_rewrite-conditions-Type
    }*

  & element rewrite {
      r_rewrite-Group

      & (attribute replacement { string }
         | element replacement { string }
         | attribute target { string }
         | element target { string })

      & r_rewrite-conditions-Type
   }*

  & element set {
      r_rewrite-Group

      & (attribute request-character-encoding { string }
         | element request-character-encoding { string })?

      & (attribute request-secure { r_boolean-Type }
         | element request-secure { r_boolean-Type })?

      & (attribute response-character-encoding { string }
         | element response-character-encoding { string })?

      & (attribute response-content-type { string }
         | element response-content-type { string })?

      & r_rewrite-conditions-Type
  }*

r_rewrite-Group = 
 ((attribute disable-at { string }
  | element disable-at { string })?

  & (attribute enable-at { string }
    | element enable-at { string })?

  & (attribute enabled { r_boolean-Type }
     | element enabled { r_boolean-Type })?

  & (attribute name { string }
    | element name { string })?

  & (attribute regexp { string }
    | element regexp { string }
    | attribute url-regexp { string }
    | element url-regexp { string }
    | attribute full-url-regexp { string }
    | element full-url-regexp { string })?)

r_rewrite-real-path = element rewrite-real-path {
  (element rewrite {
     (attribute regexp { string }
      | element regexp { string })

     & (attribute replacement { string }
        | element replacement { string })
   }*

   & element real-path {
       (attribute regexp { string }
        | element regexp { string })

       & (attribute target { string }
          | element target { string })
     }*
  )
}

r_root-directory =
  attribute root-directory { r_path-Type }
  | element root-directory { r_path-Type }

r_run-at =
   attribute run-at { string }
   | element run-at {
      string
      | (attribute period { string }
         | element period { string })
   }

r_secure =
  attribute secure { r_boolean-Type }
  | element secure { r_boolean-Type }

r_security-constraint =
  element security-constraint {
    r_security-constraint-Content
  }

r_security-constraint-Content = r_security-constraint-Flow

r_security-constraint-Flow =
  r_security-constraint-Basis

  & element rcore:if { rcore_if-Args, r_security-constraint-Flow }*

  & element rcore:choose {
      element rcore:when { rcore_when-Args, r_security-constraint-Flow }+,
      element rcore:otherwise { r_security-constraint-Flow }?
    }*

r_security-constraint-Basis =
    r_display-name?

    & r_auth-constraint*

    & r_constraint*

    & r_ip-constraint*

    & r_role-name*

    & r_user-data-constraint*

    & r_url-pattern?

    & r_web-resource-collection*

r_servlet = element servlet {
  r_description-Group

  & r_servlet-name

  & (attribute servlet-class { string }
     | element servlet-class { string }
     | attribute jsp-file { string }
     | element jsp-file { string })

  & r_servlet-Content
}

r_servlet-Content =
   r_jndi-name?

   & r_var?

   & r_init*

   & r_init-param*

   & (attribute load-on-startup { string }
      | element load-on-startup { string })?

   & r_protocol-Servlet?

   & element run-as { string }?

   & r_security-role-ref*

   & r_run-at?

r_servlet-mapping = element servlet-mapping {
  attribute id { string }?

  & (r_servlet-name?

     & (attribute servlet-class { string }
        | element servlet-class { string }
        | attribute jsp-file { string }
        | element jsp-file { string })?

     & r_servlet-Content)

  & (r_url-pattern | r_url-regexp)+

  & r_strict-mapping?
}

r_servlet-regexp = element servlet-regexp {
  r_servlet-name?,

  ((attribute servlet-class { string }
    | element servlet-class { string }
    | attribute jsp-file { string }
    | element jsp-file { string }),

   r_servlet-Content)?,

  r_url-regexp
}

r_servlet-name =
  attribute servlet-name { string }
  | element servlet-name { string }

r_service-transport = 
  r_http-transport
  | r_jms-transport

r_session-config = element session-config {
  (attribute always-load-session { r_boolean-Type }
   | element always-load-session { r_boolean-Type })?

  & (attribute always-save-session { r_boolean-Type }
     | element always-save-session { r_boolean-Type })?

  & (attribute cookie-append-server-index { r_boolean-Type }
     | element cookie-append-server-index { r_boolean-Type })?

  & (attribute cookie-domain { string }
     | element cookie-domain { string })?

  & (attribute cookie-length { r_int }
     | element cookie-length { r_int })?

  & (attribute cookie-max-age { r_period }
     | element cookie-max-age { r_period })?

  & (attribute cookie-modulo-cluster { r_boolean-Type }
     | element cookie-modulo-cluster { r_boolean-Type })?

  & (attribute cookie-port { string }
     | element cookie-port { string })?

  & (attribute cookie-secure { r_boolean-Type }
     | element cookie-secure { r_boolean-Type })?

  & (attribute cookie-version { r_int }
     | element cookie-version { r_int })?

  & (attribute distribution-id { string }
     | element distribution-id { string })?

  & (attribute enable-cookies { r_boolean-Type }
     | element enable-cookies { r_boolean-Type })?

  & (attribute enable-url-rewriting { r_boolean-Type }
     | element enable-url-rewriting { r_boolean-Type })?

  & (attribute ignore-serialization-errors { r_boolean-Type }
     | element ignore-serialization-errors { r_boolean-Type })?

  & (attribute invalidate-after-listener { r_boolean-Type }
     | element invalidate-after-listener { r_boolean-Type })?

  & (attribute persistent-path { r_path-Type }
     | element persistent-path { r_path-Type })?

  & (attribute reuse-session-id { r_boolean-Type }
     | element reuse-session-id { r_boolean-Type })?

  & (attribute save-mode { string }
     | element save-mode { string })?

  & (attribute save-on-shutdown { r_boolean-Type }
     | element save-on-shutdown { r_boolean-Type })?

  & (attribute save-only-on-shutdown { r_boolean-Type }
     | element save-only-on-shutdown { r_boolean-Type })?

  & (attribute serialization-type { string }
     | element serialization-type { string })?

  & (attribute session-max { r_int }
     | element session-max { r_int })?

  & (attribute session-timeout { r_int }
     | element session-timeout { r_int })?

  & (attribute use-persistent-store { r_boolean-Type }
     | element use-persistent-store { r_boolean-Type })?

  & (attribute cluster-store { r_boolean-Type }
     | element cluster-store { empty })?

  & (attribute file-store { string }
     | element file-store { string })?
}

r_shutdown-wait-max =
  attribute shutdown-wait-max { r_period }
  | element shutdown-wait-max { r_period }

r_soap-encoding = element soap {
  r_url-pattern
}

r_startup-mode =
  attribute startup-mode { string }
  | element startup-mode { string }

r_startup-priority =
  attribute startup-priority { string }
  | element startup-priority { string }

r_strict-mapping =
  attribute strict-mapping { r_boolean-Type }
  | element strict-mapping { r_boolean-Type }

r_taglib = element taglib {
  (attribute taglib-uri { string }
   | element taglib-uri { string }),

  (attribute taglib-location { string }
   | element taglib-location { string })
}

r_transport-guarantee =
  attribute transport-guarantee { r_transport-guarantee-Values }
  | element transport-guarantee { r_transport-guarantee-Values }

r_transport-guarantee-Values =
  "NONE"
  | "INTEGRAL"
  | "CONFIDENTIAL"

r_url-pattern =
  attribute url-pattern { string }
  | element url-pattern {
      string
      | ((attribute include-pattern { string }
          | element include-pattern { string })
         | (attribute exclude-pattern { string }
            | element exclude-pattern { string })
         | (attribute include-regexp { string }
            | element include-regexp { string })
         | (attribute exclude-regexp { string }
            | element exclude-regexp { string }))*
    }

r_url-regexp = 
  attribute url-regexp { string }
  | element url-regexp { string }

r_user-data-constraint = element user-data-constraint {
  r_description*,

  r_transport-guarantee
}

r_versioning =
  attribute versioning { r_boolean-Type }
  | element versioning { r_boolean-Type }

r_web-app-default = element web-app-default {
  r_web-app-Content
}

r_web-app-deploy = element web-app-deploy {
  (attribute url-prefix { string }
   | element url-prefix { string })?

  & r_path?

  & (attribute archive-directory { r_path-Type }
     | element archive-directory { r_path-Type })?

  & (attribute expand-directory { r_path-Type }
     | element expand-directory { r_path-Type })?

  & r_dependency-check-interval?

  & (attribute expand-path { r_path-Type }
     | element expand-path { r_path-Type })?

  & (attribute expand-prefix { string }
     | element expand-prefix { string })?

  & (attribute expand-suffix { string }
     | element expand-suffix { string })?

  & r_expand-cleanup-fileset?

  & r_lazy-init?

  & (attribute require-file { string }
     | element require-file { string })*

  & (attribute startup-mode { string }
     | element startup-mode { string })?

  & r_redeploy-mode?

  & r_versioning?

  & r_web-app-default*

  & element web-app {
      r_context-path?

      & (r_root-directory | r_document-directory)

      & r_web-app-Content
    }*
}

## basic allowed values for the web-app
r_web-app-Basis =
  r_env-Basis

  & r_access-log*

  & (attribute active-wait-time { r_period }
     | element active-wait-time { r_period })?

  & r_allow-servlet-el*

  & r_archive-path?

  & r_cache-mapping*

  & r_context-param*

  & (attribute cookie-http-only { r_boolean-Type }
     | element cookie-http-only { r_boolean-Type })?

  & r_description-Group

  & (attribute disable-cross-context { r_boolean-Type }
     | element disable-cross-context { r_boolean-Type })?

  & (attribute dispatch-wraps-filters { r_boolean-Type }
     | element dispatch-wraps-filters { r_boolean-Type })?

  & r_display-name*

  & r_distributable?

  & r_ear-deploy*

  & r_ejb-local-ref*

  & r_ejb-ref*

  & r_error-page*

  & r_filter*

  & r_filter-mapping*

  & (attribute idle-time { r_period-Type }
     | element idle-time { r_period-Type })?

  & (attribute inherit-session { r_boolean-Type }
     | element inherit-session { r_boolean-Type })?

  & r_jsf?
  
  & r_jsp?

  & r_jsp-config*

  & r_lazy-init*

  & (attribute lazy-servlet-validate { r_boolean-Type }
     | element lazy-servlet-validate { r_boolean-Type })?

  & r_listener*

  & r_login?

  & r_login-config?

  & r_message-destination*

  & r_mime-mapping*

  & r_multipart-form*

  & r_path-mapping*

  & r_redeploy-check-interval?

  & r_redeploy-mode?

  & r_resource-env-ref*

  & r_resource-ref*

  & r_rewrite-dispatch*

  & r_rewrite-real-path*

  & r_secure?

  & r_security-constraint*

  & r_security-role*

  & r_servlet*

  & r_servlet-mapping*

  & r_servlet-regexp*

  & r_session-config*

  & r_shutdown-wait-max?

  & (attribute statistics-enable { r_boolean-Type }
     | element statistics-enable { r_boolean-Type })?

  & r_strict-mapping?

  & r_taglib*

  & rc_web-app*

  & r_web-app-default*

  & r_web-app-deploy*

  & r_web-service*

  & r_welcome-file-list?

## web-app allowed tags, including flow control
r_web-app-Flow =
  r_web-app-Basis

  & element rcore:env { r_web-app-Flow }*

  & element rcore:if { rcore_if-Args, r_web-app-Flow }*

  & element rcore:choose {
      element rcore:when { rcore_when-Args, r_web-app-Flow }+,
      element rcore:otherwise { r_web-app-Flow }?
    }*

r_web-app-Content =
  (r_web-app-Flow

   & element prologue {
      r_web-app-Content
   }*

   & r_config-file*)

r_web-app = element web-app {
  attribute version { string }?,
  attribute xsi:schemaLocation { string }?,

  r_web-app-Content
}

rc_web-app = element web-app {
  (attribute id { string }
  | attribute url-prefix { string } | element url-prefix { string }
  | attribute url-regexp { string } | element url-regexp { string }),

  (r_context-path?

  & (r_root-directory | r_document-directory)?

  & element prologue {
      r_web-app-Content
    }?

  & r_startup-mode?

  & r_startup-priority?),

  r_web-app-Content
}

r_web-resource-collection = element web-resource-collection {
  (attribute web-resource-name { string }
   | element web-resource-name { string })?,

  r_description*,

  r_url-pattern*,

  r_http-method*
}

r_web-service = element web-service {
  (attribute class { string }
  | element class { r_string-Group })

  & r_hessian-encoding*

  & r_init*

  & r_jndi-name?

  & r_rest*

  & r_soap-encoding*

  & r_var?
}

r_welcome-file-list = element welcome-file-list {
  string |

  element welcome-file { string }*
}