[webbeans-commits] Webbeans SVN: r2718 - tck/trunk/impl/src/main/resources.
webbeans-commits at lists.jboss.org
webbeans-commits at lists.jboss.org
Tue May 26 21:42:21 EDT 2009
Author: shane.bryzak at jboss.com
Date: 2009-05-26 21:42:21 -0400 (Tue, 26 May 2009)
New Revision: 2718
Added:
tck/trunk/impl/src/main/resources/tck-audit-prd2.xml
Modified:
tck/trunk/impl/src/main/resources/tck-audit.xml
Log:
created prd2 audit file for historical reference, updated section 2 in audit doc to 20090519 version of 299 spec
Added: tck/trunk/impl/src/main/resources/tck-audit-prd2.xml
===================================================================
--- tck/trunk/impl/src/main/resources/tck-audit-prd2.xml (rev 0)
+++ tck/trunk/impl/src/main/resources/tck-audit-prd2.xml 2009-05-27 01:42:21 UTC (rev 2718)
@@ -0,0 +1,4980 @@
+<specification
+ xmlns="http://jboss.com/products/webbeans/tck/audit"
+ xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+ xsi:schemaLocation="http://jboss.com/products/webbeans/tck/audit http://snapshots.jboss.org/maven2/org/hibernate/tck-utils-api/0.9-SNAPSHOT/tck-utils-api-0.9-20090220.134140-13-audit.xsd"
+ name="JSR-299: Java Contexts and Dependency Injection"
+ version="Revised Public Review Draft">
+
+ <section id="2" title="Bean definition">
+
+ <assertion id="a">
+ <text>A bean comprises of a (nonempty) set of bean types</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>A bean comprises of a (nonempty) set of bindings</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>A bean comprises of a scope</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>A bean comprises of a deployment type</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>A bean comprises of an optional bean name</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>A bean comprises of a bean implementation</text>
+ </assertion>
+ </section>
+
+ <section id="2.2" title="Bean types">
+
+ <assertion id="a">
+ <text>A bean may have multiple bean types</text>
+ </assertion>
+
+ <assertion id="ba">
+ <text>A bean type may be a parameterized type with an actual type parameter.</text>
+ </assertion>
+
+ <assertion id="bb">
+ <text>For the purposes of the typesafe resolution algorithm defined in Section 5.9, "Typesafe resolution algorithm", parameterized bean types are considered identical by the container only if both the type and the type parameters (if any) are identical</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>Bean types may not declare a type variable. If the type of an injection point is a parameterized type with a type variable, a |DefinitionException| is thrown by the container at deployment time.</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>Bean types may not declare a wildcard. If the type of an injection point is a parameterized type with a wildcard, a |DefinitionException| is thrown by the container at deployment time.</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>A bean type may be an interface</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>A bean type may be a concrete class</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>A bean type may be an abstract class</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>A bean type may be declared final</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>A bean type may have final methods</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>A bean type may be an array type. Two array types are considered identical only if the element type is identical</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>A bean type may be a primitive types. Primitive types are considered to be identical to their corresponding wrapper types in java.lang.</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>All beans have the bean type java.lang.Object</text>
+ </assertion>
+
+ <assertion id="m">
+ <text>A client of a bean may typecast its reference to any instance of the bean to any bean type of the bean</text>
+ </assertion>
+
+ </section>
+
+ <section id="2.3" title="Bindings">
+
+ </section>
+
+ <section id="2.3.1" title="Default binding type">
+
+ <assertion id="a">
+ <text>If a bean does not explicitly declare a binding, the bean has exactly one binding, of type |@javax.inject.Current|</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>The default binding is also assumed for any injection point that does not explicitly declare a binding</text>
+ </assertion>
+ </section>
+
+ <section id="2.3.2" title="Defining new binding types">
+ <assertion id="aa" testable="false">
+ <text>A binding type is a Java annotation defined as |@Target({METHOD, FIELD, PARAMETER, TYPE})|~ and |@Retention(RUNTIME)|~.</text>
+ </assertion>
+
+ <assertion id="ab" testable="false">
+ <text>A binding type is a Java annotation defined as ~|@Target({METHOD, FIELD, PARAMETER, TYPE})| and ~|@Retention(RUNTIME)|.</text>
+ <note>Non-runtime retention annotations are discarded by the compiler</note>
+ </assertion>
+
+ <assertion id="b">
+ <text>A binding type may be declared by specifying the |@javax.inject.BindingType| meta-annotation</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The |@BindingType| meta-annotation may be omitted, and the binding type may be declared in beans.xml</text>
+ </assertion>
+
+ <assertion id="d" testable="false">
+ <text>A binding type may define annotation members</text>
+ <note>This is true by default in the JLS</note>
+ </assertion>
+ </section>
+
+ <section id="2.3.3" title="Declaring the bindings of a bean using annotations">
+
+ <assertion id="a">
+ <text>A bean's bindings are declared by annotating the bean class with the binding types</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>A bean's bindings are declared by annotating the producer method with the binding types</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>A bean's bindings are declared by annotating the producer field with the binding types</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>Any bean may declare multiple binding types</text>
+ </assertion>
+ </section>
+
+ <section id="2.3.4" title="Declaring the bindings of a bean using XML">
+
+ </section>
+
+ <section id="2.3.5" title="Specifying bindings of an injected field">
+
+ <assertion id="a">
+ <text>Binding types may be applied to injected fields (see Section 3.8, "Injected fields") to determine the bean that is injected, according to the typesafe resolution algorithm defined in Section 5.9, "Typesafe resolution algorithm".</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>A bean may only be injected to an injection point if it has all the bindings of the injection point</text>
+ </assertion>
+
+ </section>
+
+ <section id="2.3.6" title="Specifying bindings of a method or constructor parameter">
+ <assertion id="a">
+ <text>Binding types may be applied to parameters of producer methods (see Chapter 3, Bean implementation) to determine the bean instance that is passed when the method is called by the container</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>Binding types may be applied to parameters of initializer methods (see Chapter 3, Bean implementation) to determine the bean instance that is passed when the method is called by the container</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>Binding types may be applied to parameters of disposal methods (see Chapter 3, Bean implementation) to determine the bean instance that is passed when the method is called by the container</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>Binding types may be applied to parameters of bean constructors (see Chapter 3, Bean implementation) to determine the bean instance that is passed when the method is called by the container</text>
+ </assertion>
+
+ </section>
+
+ <section id="2.4" title="Scopes">
+
+ <assertion id="a">
+ <text>All beans have a scope</text>
+ </assertion>
+
+ <assertion id="b" testable="false">
+ <text>A scope type is represented by an annotation type.</text>
+ <note>This is a statement of intent</note>
+ </assertion>
+
+ <assertion id="c">
+ <text>The set of scope types is extensible</text>
+ </assertion>
+
+ </section>
+
+ <section id="2.4.1" title="Built-in scope types">
+ <assertion id="a" testable="false">
+ <text>The |@RequestScoped|, |@ApplicationScoped| and |@SessionScoped| annotations defined in Section 8.5, "Context management for built-in scopes" represent the standard scopes defined by the Java Servlets specification</text>
+ <note>This is a statement of intent</note>
+ </assertion>
+
+ <assertion id="b" testable="false">
+ <text>The |@ConversationScoped| annotation represents the conversation scope defined in Section 8.5.4, "Conversation context lifecycle".</text>
+ <note>This is a statement of intent</note>
+ </assertion>
+
+ <assertion id="c" testable="false">
+ <text>The |@Dependent| pseudo-scope is for dependent objects, as defined in Section 8.3, "Dependent pseudo-scope"</text>
+ <note>This is a statement of intent</note>
+ </assertion>
+ </section>
+
+ <section id="2.4.2" title="Defining new scope types">
+ <assertion id="aa">
+ <text>A scope type is a Java annotation defined as |@Target({TYPE, METHOD, FIELD})|~ and |@Retention(RUNTIME)|~</text>
+ </assertion>
+
+ <assertion id="ab" testable="false">
+ <text>A scope type is a Java annotation defined as ~|@Target({TYPE, METHOD, FIELD})| and ~|@Retention(RUNTIME)|</text>
+ <note>Non-runtime retention annotations are discarded by the compiler</note>
+ </assertion>
+
+
+
+ <assertion id="b">
+ <text>All scope types must specify the |@javax.context.ScopeType| meta-annotation</text>
+ </assertion>
+
+ </section>
+
+ <section id="2.4.3" title="Declaring the bean scope using annotations">
+ <assertion id="a">
+ <text>The bean's scope is defined by annotating the bean class or producer method or field with a scope type</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>A bean class or producer method or field may specify at most one scope type annotation. If a bean class or producer method or field specifies multiple scope type annotations, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>A scope type may be specified using a stereotype annotation, as defined in Section 2.7.2, "Declaring the stereotypes for a bean using annotations"</text>
+ </assertion>
+ </section>
+
+ <section id="2.4.4" title="Declaring the bean scope using XML">
+
+ </section>
+
+ <section id="2.4.5" title="Default scope">
+ <assertion id="a">
+ <text>When no scope is explicitly declared by annotating the bean class or producer method or field, ~or by using XML~, the scope of a bean is defaulted</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>If the bean does not declare any stereotype with a declared default scope, the default scope for the bean is |@Dependent|</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If all stereotypes declared by the bean that have some declared default scope have the same default scope, then that scope is the default scope for the bean</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If there are two different stereotypes declared by the bean that declare different default scopes, then there is no default scope and the bean must explicitly declare a scope. If it does not explicitly declare a scope, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If a bean explicitly declares a scope, any default scopes declared by stereotypes are ignored</text>
+ </assertion>
+ </section>
+
+ <section id="2.5" title="Deployment types">
+ <assertion id="a" testable="false">
+ <text>The set of deployment types is extensible</text>
+ <note>This is a statement of intent</note>
+ </assertion>
+ </section>
+
+ <section id="2.5.1" title="Built-in deployment types">
+
+ <assertion id="a">
+ <text>All standard beans defined by this specification, and provided by the container, are defined using the |@Standard| deployment type</text>
+ <note>This is tested in the test for each bean defined. See 5.6.1.za, 5.7.2.ca, 8.5.4.i</note>
+ </assertion>
+
+ <assertion id="b">
+ <text>No bean may be declared with the |@Standard| deployment type unless explicitly required by this specification</text>
+ </assertion>
+
+ <assertion id="c" testable="false">
+ <text>Application beans may be defined using the |@Production| deployment type</text>
+ <note>This is a statement of intent</note>
+ </assertion>
+
+ </section>
+
+ <section id="2.5.2" title="Defining new deployment types">
+
+ <assertion id="a">
+ <text>A deployment type is a Java annotation defined as |@Target({TYPE, METHOD, FIELD})|</text>
+ </assertion>
+
+ <assertion id="bb" testable="false">
+ <text>A deployment type is a Java annotation defined with |@Retention(RUNTIME)|</text>
+ <note>Non-runtime retention annotations are discarded by the compiler</note>
+ </assertion>
+
+ <assertion id="c">
+ <text>All deployment types must also specify the |@javax.inject.DeploymentType| meta-annotation.</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>Applications and third-party frameworks may define their own deployment types</text>
+ </assertion>
+
+ </section>
+
+ <section id="2.5.3" title="Declaring the deployment type of a bean using annotations">
+
+ <assertion id="a">
+ <text>The deployment type of the bean is declared by annotating the bean class</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>The deployment type of the bean is declared by annotating the producer method</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The deployment type of the bean is declared by annotating the field</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>An bean class may specify at most one deployment type. If multiple deployment type annotations are specified, a |DefinitionException| is thrown by the container at deployment time.</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>A producer method may specify at most one deployment type. If multiple deployment type annotations are specified, a |DefinitionException| is thrown by the container at deployment time.</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>A field may specify at most one deployment type. If multiple deployment type annotations are specified, a |DefinitionException| is thrown by the container at deployment time.</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>By default, if no deployment type annotation is explicitly specified, a producer method inherits the deployment type of the bean in which it is defined.</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>By default, if no deployment type annotation is explicitly specified, a producer field inherits the deployment type of the bean in which it is defined.</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>a deployment type may be specified using a stereotype annotation, as defined in Section 2.7.2, "Declaring the stereotypes for a bean using annotations".</text>
+ </assertion>
+
+ </section>
+
+ <section id="2.5.4" title="Declaring the deployment type of a bean using XML">
+
+ </section>
+
+ <section id="2.5.5" title="Default deployment type">
+
+ <assertion id="a">
+ <text>The default deployment type for a bean which does not explicitly declare a deployment type depends upon its declared stereotypes - if a bean does not declare any stereotype with a declared default deployment type, then the default deployment type is |@Production|</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>Otherwise, the default deployment type for the bean is the highest-precedence default deployment type declared by any stereotype declared by the bean</text>
+ <note>This assertion relates to assertion 2.5.5.b</note>
+ </assertion>
+
+ <assertion id="c">
+ <text>If a bean explicitly declares a deployment type, any default deployment type declared by stereotypes are ignored.</text>
+ </assertion>
+ </section>
+
+ <section id="2.5.6" title="Enabled deployment types">
+
+ <assertion id="a">
+ <text>Beans declared with a deployment type that is not enabled are not available to the resolution algorithms defined in Chapter 5, Lookup, dependency injection and EL resolution.</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>If a |<Deploy>| element is specified, only the explicitly declared deployment types are enabled.</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The |@Standard| deployment type must be declared. If the |@Standard| deployment type is not declared, a |DeploymentException| is thrown by the container at deployment time.</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If no |<Deploy>| element is specified in any |beans.xml| file, only the |@Standard| and |@Production| deployment types are enabled.</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If the |<Deploy>| element is specified in more than one |beans.xml| document, a |DeploymentException| is thrown by the container at deployment time. </text>
+ </assertion>
+
+ </section>
+
+ <section id="2.6" title="Bean names">
+
+ <assertion id="a">
+ <text>A valid bean name is a period-separated list of valid EL identifiers</text>
+ </assertion>
+ </section>
+
+ <section id="2.6.1" title="Declaring the bean name using annotations">
+
+ <assertion id="a">
+ <text>To specify the name of a bean, the |@javax.annotation.Named| annotation is applied to the bean class.</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>To specify the name of a bean, the |@javax.annotation.Named| annotation is applied to the producer method.</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>To specify the name of a bean, the |@javax.annotation.Named| annotation is applied to the producer field.</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If the |@Named| annotation does not specify the value member, the default name is assumed</text>
+ </assertion>
+ </section>
+
+ <section id="2.6.2" title="Declaring the bean name using XML">
+
+ </section>
+
+ <section id="2.6.3" title="Default bean names">
+
+ <assertion id="a">
+ <text>A default name must be assigned by the container when a bean class defined using annotations declares a |@Named| annotation and no name is explicitly specified by the value member</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>A default name must be assigned by the container when a producer method of a bean defined using annotations declares a |@Named| annotation and no name is explicitly specified by the value member</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>A default name must be assigned by the container when a producer field of a bean defined using annotations declares a |@Named| annotation and no name is explicitly specified by the value member</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>A default name must be assigned by the container when a bean declares a stereotype that declares an empty |@Named| annotation, and the bean does not explicitly specify a name.</text>
+ </assertion>
+ </section>
+
+ <section id="2.6.4" title="Beans with no name">
+
+ <assertion id="a">
+ <text>If ~neither |<Named>| nor~ |@Named| is specified, by the bean or its stereotypes, a bean has no name</text>
+ </assertion>
+ </section>
+
+ <section id="2.7" title="Stereotypes">
+
+ <assertion id="a">
+ <text>A stereotype may specify that all beans with the stereotype have defaulted bean names</text>
+ </assertion>
+
+ <assertion id="b" testable="false">
+ <text>A bean may declare zero stereotypes</text>
+ <note>Not testable through API</note>
+ </assertion>
+
+ <assertion id="c">
+ <text>A bean may declare one stereotype</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>A bean may declare multiple stereotypes</text>
+ </assertion>
+
+ </section>
+
+ <section id="2.7.1" title="Defining new stereotypes">
+ <assertion id="aa" testable="false">
+ <text>A beans stereotype is a Java annotation defined as |@Target({TYPE, METHOD, FIELD})|~, |@Target(TYPE)|, |@Target(METHOD)|, |@Target(FIELD)| or |@Target({METHOD, FIELD})| and |@Retention(RUNTIME)|~</text>
+ </assertion>
+
+ <assertion id="ab" testable="false">
+ <text>A beans stereotype is a Java annotation defined as ~|@Target({TYPE, METHOD, FIELD})|,~ |@Target(TYPE)|~, |@Target(METHOD)|, |@Target(FIELD)| or |@Target({METHOD, FIELD})| and |@Retention(RUNTIME)|~</text>
+ </assertion>
+
+ <assertion id="ac" testable="false">
+ <text>A beans stereotype is a Java annotation defined as ~|@Target({TYPE, METHOD, FIELD})|, |@Target(TYPE)|, |@Target(METHOD)|, ~|@Target(FIELD)| ~or |@Target({METHOD, FIELD})| and |@Retention(RUNTIME)|~</text>
+ </assertion>
+
+ <assertion id="ad" testable="false">
+ <text>A beans stereotype is a Java annotation defined as ~|@Target({TYPE, METHOD, FIELD})|, |@Target(TYPE)|, |@Target(METHOD)|, |@Target(FIELD)| or~ |@Target({METHOD, FIELD})|~ and |@Retention(RUNTIME)|~</text>
+ </assertion>
+
+ <assertion id="ae" testable="false">
+ <text>A beans stereotype is a Java annotation defined as ~|@Target({TYPE, METHOD, FIELD})|, |@Target(TYPE)|, |@Target(METHOD)|, |@Target(FIELD)| or |@Target({METHOD, FIELD})| and~ |@Retention(RUNTIME)|</text>
+ <note>Non-runtime retention annotations are discarded by the compiler</note>
+ </assertion>
+
+ <assertion id="b">
+ <text>A stereotype may be declared by specifying the |@javax.annotation.Stereotype| meta-annotation</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The |@Stereotype| meta-annotation may be omitted, and the stereotype may be declared in beans.xml</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>A stereotype may not declare any binding annotation. If a stereotype declares a binding annotation, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+ </section>
+
+ <section id="2.7.1.1" title="Declaring the default scope and deployment type for a stereotype">
+ <assertion id="a">
+ <text>A stereotype may declare at most one scope. If a stereotype declares more than one scope, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>A stereotype may declare at most one deployment type. If a stereotype declares more than one deployment type, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+ </section>
+
+ <section id="2.7.1.2" title="Specifying interceptor bindings for a stereotype">
+
+ </section>
+
+ <section id="2.7.1.3" title="Specifying name defaulting for a stereotype">
+ <assertion id="a">
+ <text>A stereotype may declare an empty |@Named| annotation. If a stereotype declares a non-empty |@Named| annotation, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>A stereotype may specify that every bean with the stereotype has a defaulted name when a name is not explicitly specified by the bean</text>
+ </assertion>
+ </section>
+
+ <section id="2.7.1.4" title="Restricting bean scopes and types using a stereotype">
+ <assertion id="a">
+ <text>Bean scopes may be restricted using a stereotype</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>Bean types may be restricted using a stereotype</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>Scope and type restrictions may not be specified when a stereotype is declared in XML</text>
+ </assertion>
+ </section>
+
+ <section id="2.7.1.5" title="Stereotypes with additional stereotypes">
+ <assertion id="a">
+ <text>A stereotype may declare other stereotypes</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>Stereotype declarations are transitive - a stereotype declared by a second stereotype is inherited by all beans and other stereotypes that declare the second stereotype</text>
+ </assertion>
+
+ <assertion id="c" >
+ <text>Stereotypes declared |@Target(TYPE)| may not be applied to stereotypes declared |@Target({TYPE, METHOD, FIELD})|</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>Stereotypes declared |@Target(TYPE)| may not be applied to stereotypes declared |@Target(METHOD)|</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>Stereotypes declared |@Target(TYPE)| may not be applied to stereotypes declared |@Target(FIELD)|</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>Stereotypes declared |@Target(TYPE)| may not be applied to stereotypes declared |@Target({METHOD, FIELD})|</text>
+ </assertion>
+
+ </section>
+
+ <section id="2.7.2" title="Declaring the stereotypes for a bean using annotations">
+ <assertion id="a">
+ <text>Stereotype annotations may be applied to a bean class</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>Stereotype annotations may be applied to a producer method</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>Stereotype annotations may be applied to a producer field</text>
+ </assertion>
+
+ <assertion id="da">
+ <text>The default deployment type declared by the stereotype may be overridden by the bean</text>
+ </assertion>
+
+ <assertion id="db">
+ <text>The default scope declared by the stereotype may be overridden by the bean</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>Multiple stereotypes may be applied to the same bean</text>
+ </assertion>
+ </section>
+
+ <section id="2.7.3" title="Declaring the stereotypes for a bean using XML">
+
+ </section>
+
+ <section id="2.7.4" title="Stereotype restrictions">
+ <assertion id="a">
+ <text>If a stereotype declares a requiredType, and the bean types do not include the type, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>If a stereotype explicitly declares a set of scope types using supportedScopes, and the bean scope is not in that set, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If a bean declares multiple stereotypes, it must satisfy every restriction declared by every declared stereotype</text>
+ </assertion>
+ </section>
+
+ <section id="2.7.5" title="Built-in stereotypes">
+ <assertion id="a" testable="false">
+ <text>The built-in |@Model| stereotype is intended for use with beans that define the model layer of an MVC web application architecture such as JSF</text>
+ <note>Tested by API signature test</note>
+ </assertion>
+
+ </section>
+
+ <section id="3" title="Bean Implementation">
+
+ </section>
+
+ <section id="3.1" title="Restriction upon bean instantiation">
+ <assertion id="a">
+ <text>The bean class is a concrete class and is not required to implement any special interface or extend any special superclass</text>
+ </assertion>
+
+ <assertion id="b" testable="false">
+ <text>If the application calls a producer method directly, instead of letting the container call it, the returned object is not a contextual instance and the capabilities listed in Section 2.1, "Functionality provided by the container to the bean" will not be available to the returned object.</text>
+ </assertion>
+ </section>
+
+ <section id="3.2" title="Simple beans">
+ <assertion id="a">
+ <text>The bean class of a simple bean may not be a non-static inner class</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>The bean class of a simple bean may not be a parameterized type</text>
+ </assertion>
+
+ <assertion id="ca">
+ <text>The bean class of a simple bean may not be an abstract class, ~unless the simple bean is a decorator~</text>
+ </assertion>
+
+ <assertion id="fa">
+ <text>If a simple bean has a public field, it must have scope |@Dependent|.</text>
+ <note>Check that a dependent scoped bean with a public field does work</note>
+ </assertion>
+
+ <assertion id="fb">
+ <text>If a simple bean with a public field declares any scope other than |@Dependent|, a |DefinitionException| is thrown by the container at deployment time.</text>
+ </assertion>
+
+ </section>
+
+ <section id="3.2.1" title="Which Java classes are beans?">
+ <assertion id="a">
+ <text>A top-level Java class is not a simple bean if it is a parameterized type</text>
+ </assertion>
+ <assertion id="b">
+ <text>A top-level Java class is not a simple bean if it is a non-static inner class</text>
+ </assertion>
+ <assertion id="ba">
+ <text>A top-level Java class that is a static inner class can be a simple bean</text>
+ </assertion>
+ <assertion id="ca">
+ <text>A top-level Java class is not a simple bean if it is an abstract class</text>
+ </assertion>
+ <assertion id="cb">
+ <text>A top-level Java class is not a simple bean if it is an interface</text>
+ </assertion>
+ <assertion id="cc">
+ <text>A top-level Java class can be a simple bean if it is static inner class</text>
+ </assertion>
+ <assertion id="e">
+ <text>A top-level Java class is not a simple bean if it is annotated with the JPA |@Entity| annotation</text>
+ </assertion>
+ <assertion id="f">
+ <text>A top-level Java class is not a simple bean if it is annotated with any of the EJB component-defining annotations</text>
+ </assertion>
+ <assertion id="g">
+ <text>A top-level Java class is not a simple bean if it implements the |javax.servlet.Servlet| interface</text>
+ </assertion>
+ <assertion id="h">
+ <text>A top-level Java class is not a simple bean if it implements the |javax.servlet.Filter| interface</text>
+ </assertion>
+ <assertion id="i">
+ <text>A top-level Java class is not a simple bean if it implements the |javax.servlet.ServletContextListener| interface</text>
+ </assertion>
+ <assertion id="j">
+ <text>A top-level Java class is not a simple bean if it implements the |javax.servlet.http.HttpSessionListener| interface</text>
+ </assertion>
+ <assertion id="k">
+ <text>A top-level Java class is not a simple bean if it implements the |javax.servlet.ServletRequestListener| interface</text>
+ </assertion>
+ <assertion id="l">
+ <text>A top-level Java class is not a simple bean if it implements the |javax.ejb.EnterpriseBean| interface</text>
+ </assertion>
+ <assertion id="m">
+ <text>A top-level Java class is not a simple bean if it extends |javax.faces.component.UIComponent|</text>
+ </assertion>
+ <assertion id="n">
+ <text>A top-level Java class is not a simple bean if it is declared as an EJB bean class in |ejb-jar.xml|</text>
+ </assertion>
+ <assertion id="o">
+ <text>A top-level Java class is not a simple bean if it is declared as a JPA entity in |orm.xml|</text>
+ </assertion>
+ <assertion id="p">
+ <text>A top-level Java class is only a simple bean if it has an appropriate constructor - a constructor with no parameters</text>
+ </assertion>
+ <assertion id="q">
+ <text>A top-level Java class is only a simple bean if it has an appropriate constructor - a constructor annotated |@Initializer|</text>
+ </assertion>
+
+ </section>
+
+ <section id="3.2.2" title="Bean types of a simple bean">
+ <assertion id="a">
+ <text>The set of bean types for a simple bean contains the bean class, every superclass and all interfaces it implements directly or indirectly.</text>
+ </assertion>
+ </section>
+
+ <section id="3.2.3" title="Declaring a simple bean using annotations">
+ <assertion id="a">
+ <text>A simple bean with a constructor that takes no parameters does not require any special annotations</text>
+ </assertion>
+
+ <assertion id="ba">
+ <text>A bean class may also specify a scope~, name, deployment type, stereotypes and/or bindings~</text>
+ </assertion>
+
+ <assertion id="bb">
+ <text>A bean class may also specify a ~scope,~ name~, deployment type, stereotypes and/or bindings~</text>
+ </assertion>
+
+ <assertion id="bc">
+ <text>A bean class may also specify a ~scope, name, ~deployment type~, stereotypes and/or bindings~</text>
+ </assertion>
+
+ <assertion id="bd">
+ <text>A bean class may also specify ~a scope, name, deployment type, ~stereotypes~ and/or bindings~</text>
+ </assertion>
+
+ <assertion id="be">
+ <text>A bean class may also specify ~a scope, name, deployment type, stereotypes and/or~ bindings</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>A simple bean may extend another simple bean</text>
+ </assertion>
+ </section>
+
+ <section id="3.2.4" title="Declaring a simple bean using XML">
+
+ </section>
+
+ <section id="3.2.5" title="Simple beans with the @New binding">
+ <assertion id="a">
+ <text>Every class that satisfies the requirements of Section 3.2.1, "Which Java classes are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such simple bean, a second simple bean exists which has _the same bean class_.</text>
+ </assertion>
+ <assertion id="ba">
+ <text>Every class that satisfies the requirements of Section 3.2.1, "Which Java classes are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such simple bean, a second simple bean exists which has _the same bean constructor defined by annotations_.</text>
+ </assertion>
+ <assertion id="bb">
+ <text>Every class that satisfies the requirements of Section 3.2.1, "Which Java classes are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such simple bean, a second simple bean exists which has _the same bean initializer methods defined by annotations_.</text>
+ </assertion>
+ <assertion id="bc">
+ <text>Every class that satisfies the requirements of Section 3.2.1, "Which Java classes are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such simple bean, a second simple bean exists which has _the same injected fields defined by annotations_.</text>
+ </assertion>
+ <assertion id="d">
+ <text>Every class that satisfies the requirements of Section 3.2.1, "Which Java classes are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such simple bean, a second simple bean exists which has _scope @Dependent_.</text>
+ </assertion>
+ <assertion id="e">
+ <text>Every class that satisfies the requirements of Section 3.2.1, "Which Java classes are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such simple bean, a second simple bean exists which has _deployment type @Standard_.</text>
+ </assertion>
+ <assertion id="f">
+ <text>Every class that satisfies the requirements of Section 3.2.1, "Which Java classes are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such simple bean, a second simple bean exists which has _ at javax.inject.New_ as the only binding.</text>
+ </assertion>
+ <assertion id="g">
+ <text>Every class that satisfies the requirements of Section 3.2.1, "Which Java classes are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such simple bean, a second simple bean exists which has _no bean name_.</text>
+ </assertion>
+ <assertion id="h">
+ <text>Every class that satisfies the requirements of Section 3.2.1, "Which Java classes are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such simple bean, a second simple bean exists which has _no stereotypes_.</text>
+ </assertion>
+ <assertion id="i">
+ <text>Every class that satisfies the requirements of Section 3.2.1, "Which Java classes are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such simple bean, a second simple bean exists which has _no observer methods_.</text>
+ </assertion>
+ <assertion id="j">
+ <text>Every class that satisfies the requirements of Section 3.2.1, "Which Java classes are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such simple bean, a second simple bean exists which has _no producer methods_.</text>
+ </assertion>
+ <assertion id="k">
+ <text>Every class that satisfies the requirements of Section 3.2.1, "Which Java classes are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such simple bean, a second simple bean exists which has _no producer fields_.</text>
+ </assertion>
+ <assertion id="l">
+ <text>Every class that satisfies the requirements of Section 3.2.1, "Which Java classes are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such simple bean, a second simple bean exists which has _no disposal methods_.</text>
+ </assertion>
+
+ </section>
+
+ <section id="3.2.6" title="Bean constructors">
+
+ <assertion id="a">
+ <text>When the container instantiates a simple bean, it calls the bean constructor. The bean constructor is a constructor of the bean class</text>
+ </assertion>
+
+ </section>
+
+ <section id="3.2.6.1" title="Declaring a bean constructor using annotations">
+ <assertion id="a">
+ <text>The bean constructor may be identified by annotating the constructor |@Initializer|</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>If a simple bean defined using annotations does not explicitly declare a constructor using |@Initializer|, the constructor that accepts no parameters is the bean constructor</text>
+ <note>Can't check implicit constructor</note>
+ </assertion>
+
+ <assertion id="c">
+ <text>If a simple bean defined using annotations has more than one constructor annotated |@Initializer|, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If a bean constructor has a parameter annotated |@Disposes|, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If a bean constructor has a parameter annotated |@Observes|, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ </section>
+
+ <section id="3.2.6.2" title="Declaring a bean constructor using XML">
+
+ </section>
+
+ <section id="3.2.6.3" title="Bean constructor parameters">
+ <assertion id="a">
+ <text>If the bean constructor has parameters, the container calls the method Manager.getInstanceToInject() defined in Section 5.7.1, "Resolving dependencies" to determine a value for each parameter and calls the constructor with those parameter values.</text>
+ </assertion>
+ </section>
+
+ <section id="3.2.7" title="Specializing a simple bean">
+ <assertion id="a">
+ <text>If a bean class of a simple bean X defined using annotations is annotated @Specializes, then the bean class of X must directly extend the bean class of another simple bean Y defined using annotations. Then X inherits all bindings of Y, and if Y has a name, X has the same name as Y.</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>We say that X directly specializes Y, and we can be certain that Y will never be instantiated by the container if X is enabled.</text>
+ <note>This assertion relates to specialized beans declared using annotations</note>
+ </assertion>
+
+ <assertion id="c">
+ <text>We say that X directly specializes Y, and we can be certain that Y will never be called by the container if X is enabled.</text>
+ <note>This assertion relates to specialized beans declared using annotations</note>
+ </assertion>
+
+ <assertion id="d">
+ <text>If the bean class of X does not directly extend the bean class of another simple bean, a |DefinitionException| is thrown by the container at deployment time.</text>
+ </assertion>
+
+ </section>
+
+ <section id="3.2.8" title="Default name for a simple bean">
+ <assertion id="a">
+ <text>The default name for a simple bean is the unqualified class name of the bean class, after converting the first character to lower case</text>
+ </assertion>
+ </section>
+
+ <section id="3.3" title="Session beans">
+ <assertion id="a" testable="false">
+ <text>A session bean is a bean that is implemented by an EJB 3-style session bean</text>
+ <note>This is a reference to the EJB specification</note>
+ </assertion>
+
+ <assertion id="b">
+ <text>A stateless session bean must belong to the |@Dependent| pseudo-scope</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>A singleton bean must belong to either the |@ApplicationScoped| scope or to the |@Dependent| pseudo-scope</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If a session bean specifies an illegal scope, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ </section>
+
+ <section id="3.3.1" title="EJB remove methods of session beans">
+ <assertion id="a">
+ <text>If a session bean is a stateful session bean, and the scope is |@Dependent|, the application may call any EJB remove method of an instance of the session bean.</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>If a session bean is a stateful session bean, and the scope is not |@Dependent|, the application may not directly call any EJB remove method of any instance of the session bean</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If the application directly calls an EJB remove method of an instance of a session bean that is a stateful session bean and declares any scope other than |@Dependent|, an |UnsupportedOperationException| is thrown</text>
+ </assertion>
+
+ <assertion id="da">
+ <text>If the application directly calls an EJB remove method of an instance of a session bean that is a stateful session bean and has scope |@Dependent| then no parameters are passed to the method by the container.</text>
+ </assertion>
+
+ <assertion id="db">
+ <text>If the application directly calls an EJB remove method of an instance of a session bean that is a stateful session bean and has scope |@Dependent| then the container ignores the instance instead of destroying it when |Bean.destroy()| is called, as defined in Section 6.5, "Lifecycle of stateful session beans"</text>
+ </assertion>
+
+ </section>
+
+ <section id="3.3.2" title="Which EJBs are beans?">
+ <assertion id="a">
+ <text>All session beans exposing an EJB 3.x client view and declared via an EJB component defining annotation on the EJB bean class are beans, and thus no special declaration is required. Additional beans for these EJBs may be defined using XML, by specifying the bean class in beans.xml</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>All session beans exposing an EJB 3.x client view and declared in |ejb-jar.xml| are also beans. Additional beans for these EJBs may be defined using XML, by specifying the bean class and EJB name in |beans.xml|</text>
+ </assertion>
+ </section>
+
+ <section id="3.3.3" title="Bean types of a session bean">
+
+ <assertion id="a">
+ <text>The set of bean types for a session bean contains all local interfaces of the bean that do not have wildcard type parameters or type variables and their superinterfaces.</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>If the EJB has a bean class local view and the bean class is not a parameterized
+type, the set of bean types contains the bean class and all superclasses.</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>|java.lang.Object| is a bean type of every session bean</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>Remote interfaces are not included in the set of bean types</text>
+ </assertion>
+ </section>
+
+ <section id="3.3.4" title="Declaring a session bean using annotations">
+ <assertion id="a">
+ <text>A session bean does not require any special annotations</text>
+ </assertion>
+
+ <assertion id="ba">
+ <text>A bean class may also specify a scope~, name, deployment type, stereotypes and/or bindings~</text>
+ </assertion>
+
+ <assertion id="bb">
+ <text>A bean class may also specify a ~scope, ~name~, deployment type, stereotypes and/or bindings~</text>
+ </assertion>
+
+ <assertion id="bc">
+ <text>A bean class may also specify a ~scope, name, ~deployment type~, stereotypes and/or bindings~</text>
+ </assertion>
+
+ <assertion id="bd">
+ <text>A bean class may also specify a ~scope, name, deployment type, ~stereotypes ~and/or bindings~</text>
+ </assertion>
+
+ <assertion id="be">
+ <text>A bean class may also specify a ~scope, name, deployment type, stereotypes and/or~ bindings~</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>A session bean class may extend another bean class</text>
+ </assertion>
+ </section>
+
+ <section id="3.3.5" title="Declaring a session bean using XML">
+
+ </section>
+
+ <section id="3.3.6" title="Session beans with the @New binding">
+
+ <assertion id="aa">
+ <text>Check that all enterprise beans have a |@New| bean</text>
+ <note>Sanity check</note>
+ </assertion>
+
+ <assertion id="a">
+ <text>Every EJB that satisfies the requirements of Section 3.3.2, "Which EJBs are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such session bean, a second bean exists which has the same bean class</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>Every EJB that satisfies the requirements of Section 3.3.2, "Which EJBs are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such session bean, a second bean exists which has the initializer methods and injected fields defined by annotations</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>Every EJB that satisfies the requirements of Section 3.3.2, "Which EJBs are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such session bean, a second bean exists which has scope |@Dependent|.</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>Every EJB that satisfies the requirements of Section 3.3.2, "Which EJBs are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such session bean, a second bean exists which has deployment type |@Standard|.</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>Every EJB that satisfies the requirements of Section 3.3.2, "Which EJBs are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such session bean, a second bean exists which has |@javax.inject.New| as the only binding</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>Every EJB that satisfies the requirements of Section 3.3.2, "Which EJBs are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such session bean, a second bean exists which has no bean name</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>Every EJB that satisfies the requirements of Section 3.3.2, "Which EJBs are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such session bean, a second bean exists which has no stereotypes</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>Every EJB that satisfies the requirements of Section 3.3.2, "Which EJBs are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such session bean, a second bean exists which has no observer methods</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>Every EJB that satisfies the requirements of Section 3.3.2, "Which EJBs are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such session bean, a second bean exists which has no producer methods</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>Every EJB that satisfies the requirements of Section 3.3.2, "Which EJBs are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such session bean, a second bean exists which has no producer fields</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>Every EJB that satisfies the requirements of Section 3.3.2, "Which EJBs are beans?" is a bean, with scope, deployment type and bindings defined using annotations. Additionally, for each such session bean, a second bean exists which has no disposal methods</text>
+ </assertion>
+ </section>
+
+ <section id="3.3.7" title="Specializing a session bean">
+
+ <assertion id="a">
+ <text>If a bean class of a session bean X defined using annotations is annotated |@Specializes|, then the bean class of X must directly extend the bean class of another session bean Y defined using annotations. Then X inherits all bindings of Y, and if Y has a name, X has the same name as Y. Also, X must support all local interfaces supported by Y, and if Y supports a bean-class local view, X must also support a bean-class local view. Otherwise, a |DefinitionException| is thrown by the container at deployment time.</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>We say that X directly specializes Y, and we can be certain that Y will never be instantiated by the container if X is enabled</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>We say that X directly specializes Y, and we can be certain that Y will never be called by the container if X is enabled</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If the bean class of X does not directly extend the bean class of another session bean, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ </section>
+
+ <section id="3.3.8" title="Default name for a session bean">
+ <assertion id="a">
+ <text>The default name for a session bean is the unqualified class name of the bean class, after converting the first character to lower case</text>
+ </assertion>
+ </section>
+
+ <section id="3.3.9" title="Session bean proxies">
+ <assertion id="a">
+ <text>EJB local object references do not implement all local interfaces of the EJB. A local object reference may not be typecast to different local interface type, as required by Section 2.2, "Bean types". Therefore, the container proxies the local object reference. A session bean proxy implements all local interfaces of the EJB.</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>All session bean proxies must be serializable</text>
+ </assertion>
+ </section>
+
+ <section id="3.4" title="Producer methods">
+ <assertion id="a">
+ <text>A producer method must be a method of a simple bean class or session bean class</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>A producer method may be static</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>A producer method may be non-static</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If the bean is a session bean, the producer method must be either a business method of the EJB or a static method of the bean class</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If a producer method sometimes returns a null value, then the producer method must have scope |@Dependent|</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>If a producer method returns a null value at runtime, and the producer method declares any other scope, an |IllegalProductException| is thrown by the container. This restriction allows the container to use a client proxy, as defined in Section 5.4, "Client proxies".</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>If the producer method return type is a parameterized type, it must specify actual type parameters for each type parameter</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>If a producer method return type contains a wildcard type parameter, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>If a producer method return type contains a type variable, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="j" testable="false">
+ <text>The application may call producer methods directly. However, if the application calls a producer method directly, no parameters will be passed to the producer method by the container; the returned object is not bound to any context; and its lifecycle is not managed by the container</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>A bean may declare multiple producer methods</text>
+ </assertion>
+ </section>
+
+ <section id="3.4.1" title="Bean types of a producer method">
+
+ <assertion id="a">
+ <text>If the return type of a producer method is an interface, the set of bean types contains the return type, all interfaces it extends directly or indirectly and |java.lang.Object|</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>If a return type of a producer method is primitive or is a Java array type, the set of bean types contains exactly two types: the method return type and |java.lang.Object|</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If the return type of a producer method is a class, the set of bean types contains the return type, every superclass and all interfaces it implements directly or indirectly</text>
+ </assertion>
+ </section>
+
+ <section id="3.4.2" title="Declaring a producer method using annotations">
+
+ <assertion id="a">
+ <text>A producer method may be declared by annotating a method with the |@javax.inject.Produces| annotation</text>
+ </assertion>
+
+ <assertion id="ba">
+ <text>A producer method may specify a scope</text>
+ </assertion>
+
+ <assertion id="bb">
+ <text>A producer method may specify a name</text>
+ </assertion>
+
+ <assertion id="bc">
+ <text>A producer method may specify a deployment type</text>
+ </assertion>
+
+ <assertion id="bd">
+ <text>A producer method may specify stereotypes</text>
+ </assertion>
+
+ <assertion id="be">
+ <text>A producer method may specify a binding type</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If a producer method is annotated |@Initializer|, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If a producer method has a parameter annotated |@Disposes|, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If a producer method has a parameter annotated |@Observes|, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>If a non-static method of a session bean class is annotated |@Produces|, and the method is not a business method of the EJB, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+ </section>
+
+ <section id="3.4.3" title="Declaring a producer method using XML">
+
+ </section>
+
+ <section id="3.4.4" title="Producer method parameters">
+ <assertion id="a">
+ <text>If the producer method has parameters, the container calls the method |Manager.getInstanceToInject()| defined in Section 5.7.1, "Resolving dependencies" to determine a value for each parameter and calls the producer method with those parameter values</text>
+ </assertion>
+ </section>
+
+ <section id="3.4.5" title="Specializing a producer method">
+
+ <assertion id="a">
+ <text>If a producer method X is annotated |@Specializes|, then it must be non-static and directly override another producer method Y. Then X inherits all bindings of Y, and if Y has a name, X has the same name as Y.</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>If the method is static, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If the method does not directly override another producer method, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+ </section>
+
+ <section id="3.4.6" title="Disposal methods">
+
+ <assertion id="a">
+ <text>A disposal method must be a method of a simple bean class or session bean class.</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>A disposal method may be static</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>A disposal method may be non-static</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If the bean is a session bean, the disposal method must be a business method of the EJB or a static method of the bean class</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>A bean may declare multiple disposal methods</text>
+ </assertion>
+ </section>
+
+ <section id="3.4.7" title="Disposed parameter of a disposal method">
+
+ <assertion id="a">
+ <text>Each disposal method must have exactly one disposed parameter, of the same type as the corresponding producer method return type</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>When searching for disposal methods for a producer method, the container considers the type and bindings of the disposed parameter. If a disposed parameter resolves to a producer method according to the typesafe resolution algorithm, the container must call this method when destroying an instance returned by that producer method</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If the disposed parameter does not resolve to any producer method according to the typesafe resolution algorithm, an UnsatisfiedDependencyException is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If a disposed parameter resolves to a producer method according to the typesafe resolution algorithm, the container must call this method when destroying an instance returned by that producer method</text>
+ </assertion>
+ </section>
+
+ <section id="3.4.8" title="Declaring a disposal method using annotations">
+
+ <assertion id="a">
+ <text>A disposal method may be declared using annotations by annotating a parameter |@javax.inject.Disposes|. That parameter is the disposed parameter</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>If a method has more than one parameter annotated |@Disposes|, a |DefinitionException| is thrown by the container</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If a disposal method is annotated |@Produces|, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If a disposal method is annotated |@Initializer|, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If a disposal method has a parameter annotated |@Observes|, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>If a non-static method of a session bean class has a parameter annotated |@Disposes|, and the method is not a business method of the EJB, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+ </section>
+
+ <section id="3.4.9" title="Declaring a disposal method using XML">
+
+ </section>
+
+ <section id="3.4.10" title="Disposal method parameters">
+
+ <assertion id="a">
+ <text>In addition to the disposed parameter, a disposal method may declare additional parameters, which may also specify bindings. The container calls |Manager.getInstanceToInject()| to determine a value for each parameter of a disposal method and calls the disposal method with those parameter values</text>
+ </assertion>
+ </section>
+
+ <section id="3.4.11" title="Disposal method resolution">
+
+ <assertion id="a">
+ <text>When searching for disposal methods for a producer method, the container searches for disposal methods which are declared by an enabled bean, and for which the disposed parameter must resolve to the producer method, according to the typesafe resolution algorithm</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>If there are multiple disposal methods for a producer method, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+ </section>
+
+ <section id="3.4.12" title="Default name for a producer method">
+
+ <assertion id="a">
+ <text>The default name for a producer method is the method name, unless the method follows the JavaBeans property getter naming convention, in which case the default name is the JavaBeans property name</text>
+ </assertion>
+ </section>
+
+ <section id="3.5" title="Producer fields">
+
+ <assertion id="a">
+ <text>A producer field must be a field of a simple bean class or session bean class</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>A producer field may be static</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>A producer field may be nonstatic</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If a producer field sometimes contains a null value when accessed, then the producer field must have scope |@Dependent|</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If a producer method contains a null value at runtime, and the producer field declares any other scope, an |IllegalProductException| is thrown by the container. This restriction allows the container to use a client proxy, as defined in Section 5.4, "Client proxies"</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>If the producer field return type is a parameterized type, it must specify actual type parameters for each type parameter</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>If a producer field return type contains a wildcard type parameter, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>If a producer field return type contains a type variable, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="i" testable="false">
+ <text>The application may access producer fields directly. However, if the application accesses a producer field directly, the returned object is not bound to any context; and its lifecycle is not managed by the container</text>
+ <note>This is a statement of intent</note>
+ </assertion>
+
+ <assertion id="j">
+ <text>A bean may declare multiple producer fields</text>
+ </assertion>
+ </section>
+
+ <section id="3.5.1" title="Bean types of a producer field">
+
+ <assertion id="a">
+ <text>The bean types of a producer field depend upon the field type. If the field type is an interface, the set of bean types contains the field type, all interfaces it extends directly or indirectly and java.lang.Object</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>The bean types of a producer field depend upon the field type. If a field type is primitive or is a Java array type, the set of bean types contains exactly two types: the field type and java.lang.Object</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The bean types of a producer field depend upon the field type. If the field type is a class, the set of bean types contains the field type, every superclass and all interfaces it implements directly or indirectly</text>
+ </assertion>
+ </section>
+
+ <section id="3.5.2" title="Declaring a producer field using annotations">
+
+ <assertion id="a">
+ <text>A producer field may be declared by annotating a field with the |@javax.inject.Produces| annotation</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>A producer field may specify a scope</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>A producer field may specify a name</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>A producer field may specify a deployment type</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>A producer field may specify stereotypes</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>A producer field may specify bindings</text>
+ </assertion>
+ </section>
+
+ <section id="3.5.3" title="Declaring a producer field using XML">
+
+ </section>
+
+ <section id="3.5.4" title="Default name for a producer field">
+ <assertion id="a">
+ <text>The default name for a producer field is the field name</text>
+ </assertion>
+ </section>
+
+ <section id="3.6" title="Resources">
+ <assertion id="a">
+ <text>Resources may be declared in beans.xml, allowing direct injection of an EE resource</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>Resources may be declared in beans.xml, allowing direct injection of an entity manager</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>Resources may be declared in beans.xml, allowing direct injection of an entity manager factory</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>Resources may be declared in beans.xml, allowing direct injection of an EJB remote object</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>Resources may be declared in beans.xml, allowing direct injection of a web service reference</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>The lifecycle of an injected reference is identical to the semantics of Java EE injection using |@Resource|</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>The lifecycle of an injected reference is identical to the semantics of Java EE injection using |@PersistenceContext|</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>The lifecycle of an injected reference is identical to the semantics of Java EE injection using |@PersistenceUnit|</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>The lifecycle of an injected reference is identical to the semantics of Java EE injection using |@EJB|</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>The lifecycle of an injected reference is identical to the semantics of Java EE injection using |@WebServiceRef|</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>A resource always has scope |@Dependent|</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>A resource may not declare a bean name</text>
+ </assertion>
+
+ <assertion id="m" testable="false">
+ <text>Resources are always declared using XML</text>
+ <note>This is a statement of intent</note>
+ </assertion>
+ </section>
+
+ <section id="3.6.1" title="Declaring a resource using XML">
+
+ <assertion id="a">
+ <text>A resource may be declared in |beans.xml| using an element that represents the Java type of the resource. For a Java EE resource, the EE resource type must be specified - for example |javax.sql.Datasource| for a JDBC datasource. The bean type of the resource is this specified type</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>A resource may be declared in |beans.xml| using an element that represents the Java type of the resource. For a persistence context, |javax.persistence.EntityManager| must be specified. The bean type of the resource is this specified type</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>A resource may be declared in |beans.xml| using an element that represents the Java type of the resource. For a persistence unit, |javax.persistence.EntityManagerFactory| must be specified. The bean type of the resource is this specified type</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>A resource may be declared in |beans.xml| using an element that represents the Java type of the resource. For a remote EJB, an EJB remote interface type must be specified. The bean type of the resource is this specified type</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>A resource may be declared in |beans.xml| using an element that represents the Java type of the resource. For a web service, a web service type must be specified. The bean type of the resource is this specified type</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>Each resource declaration must contain a child |<Resource>|, |<PersistenceContext>|, |<PersistenceUnit>|, |<EJB>| or
+|<WebServiceRef>| element. For a Java EE resource, a JNDI name or mapped name must be specified using the |<name>| or |<mappedName>| child elements of the |<Resource>| element</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>Each resource declaration must contain a child |<Resource>|, |<PersistenceContext>|, |<PersistenceUnit>|, |<EJB>| or |<WebServiceRef>| element. For a persistence context, a persistence unit name must be specified using the |<unitName>| child element of the |<PersistenceContext>| element</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>Each resource declaration must contain a child |<Resource>|, |<PersistenceContext>|, |<PersistenceUnit>|, |<EJB>| or |<WebServiceRef>| element. For a persistence unit, a persistence unit name must be specified using the |<unitName>| child element of the |<PersistenceUnit>| element</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>Each resource declaration must contain a child |<Resource>|, |<PersistenceContext>|, |<PersistenceUnit>|, |<EJB>| or |<WebServiceRef>| element. For a remote EJB, a JNDI name, mapped name or EJB link must be specified using the |<name>|, |<mappedName>| or |<ejbLink>| child elements of the |<EJB>| element</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>Each resource declaration must contain a child |<Resource>|, |<PersistenceContext>|, |<PersistenceUnit>|, |<EJB>| or |<WebServiceRef>| element. For a web service, a JNDI name or mapped name must be specified using the |<name>| or |<mappedName>| child elements of the |<WebServiceRef>| element. Optionally, a URL pointing to a WSDL document may be specified using the |<wsdlLocation>| child element</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>The JNDI name specified by the |<name>| element must be a name in the global |java:global| or application |java:app| naming context</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>Optionally, one or more bindings may be specified for resources in XML. If no binding is explicitly specified, the default binding |@Current| is assumed.</text>
+ </assertion>
+
+ </section>
+
+ <section id="3.7" title="JMS resources">
+ <assertion id="a">
+ <text>JMS resources may be declared in |beans.xml|</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>JMS queue resources must allow the direct injection of the |Queue|</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>JMS queue resources must allow the direct injection of the |QueueConnection|</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>JMS queue resources must allow the direct injection of the |QueueSession|</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>JMS queue resources must allow the direct injection of the |QueueReceiver|</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>JMS queue resources must allow the direct injection of the |QueueSender|</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>JMS topic resources must allow the direct injection of the |Topic|</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>JMS topic resources must allow the direct injection of the |TopicConnection|</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>JMS topic resources must allow the direct injection of the |TopicSession|</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>JMS topic resources must allow the direct injection of the |TopicSubscriber|</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>JMS topic resources must allow the direct injection of the |TopicPublisher|</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>If the application calls |close()| on an instance of a |QueueConnection|, an |UnsupportedOperationException| is thrown by the container.</text>
+ </assertion>
+
+ <assertion id="m">
+ <text>If the application calls |close()| on an instance of a |QueueSession|, an |UnsupportedOperationException| is thrown by the container.</text>
+ </assertion>
+
+ <assertion id="n">
+ <text>If the application calls |close()| on an instance of a |QueueReceiver|, an |UnsupportedOperationException| is thrown by the container.</text>
+ </assertion>
+
+ <assertion id="o">
+ <text>If the application calls |close()| on an instance of a |QueueSender|, an |UnsupportedOperationException| is thrown by the container.</text>
+ </assertion>
+
+ <assertion id="p">
+ <text>If the application calls |close()| on an instance of a |TopicConnection|, an |UnsupportedOperationException| is thrown by the container.</text>
+ </assertion>
+
+ <assertion id="q">
+ <text>If the application calls |close()| on an instance of a |TopicSession|, an |UnsupportedOperationException| is thrown by the container.</text>
+ </assertion>
+
+ <assertion id="r">
+ <text>If the application calls |close()| on an instance of a |TopicSubscriber|, an |UnsupportedOperationException| is thrown by the container.</text>
+ </assertion>
+
+ <assertion id="s">
+ <text>If the application calls |close()| on an instance of a |TopicPublisher|, an |UnsupportedOperationException| is thrown by the container.</text>
+ </assertion>
+
+ <assertion id="t">
+ <text>A JMS |Queue| resource always has scope |@Dependent|</text>
+ </assertion>
+
+ <assertion id="u">
+ <text>A JMS |QueueConnection| resource always has scope |@Dependent|</text>
+ </assertion>
+
+ <assertion id="v">
+ <text>A JMS |QueueSession| resource always has scope |@Dependent|</text>
+ </assertion>
+
+ <assertion id="w">
+ <text>A JMS |QueueReceiver| resource always has scope |@Dependent|</text>
+ </assertion>
+
+ <assertion id="x">
+ <text>A JMS |QueueSender| resource always has scope |@Dependent|</text>
+ </assertion>
+
+ <assertion id="y">
+ <text>A JMS |Topic| resource always has scope |@Dependent|</text>
+ </assertion>
+
+ <assertion id="z">
+ <text>A JMS |TopicConnection| resource always has scope |@Dependent|</text>
+ </assertion>
+
+ <assertion id="aa">
+ <text>A JMS |TopicSession| resource always has scope |@Dependent|</text>
+ </assertion>
+
+ <assertion id="ab">
+ <text>A JMS |TopicSubscriber| resource always has scope |@Dependent|</text>
+ </assertion>
+
+ <assertion id="ac">
+ <text>A JMS |TopicPublisher| resource always has scope |@Dependent|</text>
+ </assertion>
+
+ <assertion id="ad">
+ <text>A JMS |Queue| resource may not declare a bean name</text>
+ </assertion>
+
+ <assertion id="ae">
+ <text>A JMS |QueueConnection| resource may not declare a bean name</text>
+ </assertion>
+
+ <assertion id="af">
+ <text>A JMS |QueueSession| resource may not declare a bean name</text>
+ </assertion>
+
+ <assertion id="ag">
+ <text>A JMS |QueueReceiver| resource may not declare a bean name</text>
+ </assertion>
+
+ <assertion id="ah">
+ <text>A JMS |QueueSender| resource may not declare a bean name</text>
+ </assertion>
+
+ <assertion id="ai">
+ <text>A JMS |Topic| resource may not declare a bean name</text>
+ </assertion>
+
+ <assertion id="aj">
+ <text>A JMS |TopicConnection| resource may not declare a bean name</text>
+ </assertion>
+
+ <assertion id="ak">
+ <text>A JMS |TopicSession| resource may not declare a bean name</text>
+ </assertion>
+
+ <assertion id="al">
+ <text>A JMS |TopicSubscriber| resource may not declare a bean name</text>
+ </assertion>
+
+ <assertion id="am">
+ <text>A JMS |TopicPublisher| resource may not declare a bean name</text>
+ </assertion>
+
+ <assertion id="an">
+ <text>JMS resources are always declared using XML</text>
+ </assertion>
+ </section>
+
+ <section id="3.7.1" title="Bean types of a JMS resource">
+
+ <assertion id="a">
+ <text>For JMS resources that represent a queue, the bean types are |Queue|, |QueueConnection|, |QueueSession| and |QueueSender|</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>For JMS resources that represent a topic, the bean types are |Topic|, |TopicConnection|, |TopicSession| and |TopicPublisher|</text>
+ </assertion>
+ </section>
+
+ <section id="3.7.2" title="Declaring a JMS resource using XML">
+
+ <assertion id="a">
+ <text>A JMS resource may be declared using the |<Topic>| or |<Queue>| elements in |beans.xml|</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>Each JMS resource declaration must contain a child |<Resource>| element. A JNDI name or mapped name must be specified using the |<name>| or |<mappedName>| child elements of the |<Resource>| element</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>One or more bindings may be specified. If no binding is explicitly specified, the default binding |@Current| is assumed</text>
+ </assertion>
+ </section>
+
+ <section id="3.8" title="Injected fields">
+
+ <assertion id="aa">
+ <text>An injected field is a non-static~, non-final~ field of a bean class.</text>
+ </assertion>
+
+ <assertion id="ab">
+ <text>An injected field is a ~non-static, ~non-final field of a bean class.</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>An injected field is a non-static, non-final field of a servlet.</text>
+ <note>Test needs to check that static and final fields aren't injected and also that no exception is thrown when you have them</note>
+ </assertion>
+
+ <assertion id="c">
+ <text>An injected field is a non-static, non-final field of any EJB session bean class.</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>An injected field is a non-static, non-final field of any message driven bean class.</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>Injected fields are initialized by the container immediately after instantiation and before any methods of the instance are invoked. The container calls the method |Manager.getInstanceToInject()| defined in Section 5.7.1, "Resolving dependencies" to determine a value for each injected field</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>Any EJB session bean may declare injected fields and have those fields injected by the container</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>Any EJB message driven bean may declare injected fields and have those fields injected by the container</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>If a field is a producer field, it is not an injected field</text>
+ </assertion>
+
+ </section>
+
+ <section id="3.8.1" title="Declaring an injected field using annotations">
+
+ <assertion id="a">
+ <text>An injected field may be declared by annotating the field with any binding type</text>
+ </assertion>
+ </section>
+
+ <section id="3.8.2" title="Declaring an injected field using XML">
+
+ </section>
+
+ <section id="3.9" title="Initializer methods">
+ <assertion id="aa">
+ <text>An initializer method is a non-static method of a bean class.</text>
+ </assertion>
+
+ <assertion id="ab">
+ <text>An initializer method is a non-static method of a servlet.</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>An initializer method is a non-static method of any EJB session bean class.</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>An initializer method is a non-static method of a of any EJB message driven bean class.</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>Initializer methods are called by the container immediately after injected fields have been initialized by the container and before any other methods of the instance are invoked.</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If the bean is a session bean, the initializer method is not required to be a business method of the session bean</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>Method interceptors are never called when the container calls an initializer method</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>A bean class may declare multiple (or zero) initializer methods</text>
+ </assertion>
+
+ <assertion id="h" testable="false">
+ <text>The application may call initializer methods directly, but then no parameters will be passed to the method by the container</text>
+ <note>This is a statement of intent</note>
+ </assertion>
+
+ <assertion id="i">
+ <text>Any EJB session bean may declare initializer methods and have the methods called by the container</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>Any EJB message driven bean may declare initializer methods and have the methods called by the container</text>
+ </assertion>
+ </section>
+
+ <section id="3.9.1" title="Declaring an initializer method using annotations">
+ <assertion id="a">
+ <text>An initializer method may be declared by annotating the method |@javax.inject.Initializer|</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>If an initializer method is annotated |@Produces|, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If an initializer method has a parameter annotated |@Disposes|, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If an initializer method has a parameter annotated |@Observes|, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ </section>
+
+ <section id="3.9.2" title="Declaring an initializer method using XML">
+
+ </section>
+
+ <section id="3.9.3" title="Initializer method parameters">
+ <assertion id="a">
+ <text>An initializer method may have any number of parameters. If the initializer method has parameters, the container calls |Manager.getInstanceToInject()| to determine a value for each parameter and calls the initializer method with those parameter values</text>
+ </assertion>
+ </section>
+
+ <section id="3.10" title="Support for Common Annotations">
+ <assertion id="a">
+ <text>Dependency injection via |@EJB| is provided by the container when annotations are applied to the bean class of a simple bean</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>Dependency injection via |@Resource| is provided by the container when annotations are applied to the bean class of a simple bean</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>Dependency injection via |@PersistenceUnit| is provided by the container when annotations are applied to the bean class of a simple bean</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>Dependency injection via |@PersistenceContext| is provided by the container when annotations are applied to the bean class of a simple bean</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>|@PostConstruct| callbacks are provided by the container when annotations are applied to the bean class of a simple bean</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>|@PreDestroy| callbacks are provided by the container when annotations are applied to the bean class of a simple bean</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>|@PersistenceContext(type=EXTENDED)| is not supported for simple beans</text>
+ </assertion>
+ </section>
+
+ <section id="3.11" title="The Bean object for a bean">
+ <assertion id="a" testable="false">
+ <text>Concrete subclasses of Bean must implement the operations defined by the Contextual interface defined in Section 6.1, "The Contextual interface".</text>
+ <note>This is asserted by the JLS</note>
+ </assertion>
+
+ <assertion id="b">
+ <text>An instance of Bean exists for every enabled bean in a deployment</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>An application or third party framework may add support for new kinds of beans beyond those defined by the this specification (simple beans, session beans, producer methods and fields, resources and JMS resources) by extending Bean and registering beans with the container, using the mechanism defined in Section 11.3, "Bean registration".</text>
+ </assertion>
+ </section>
+
+ <section id="4" title="Inheritance, specialization and realization">
+
+ </section>
+
+ <section id="4.1" title="Inheritance of type-level metadata">
+
+ <assertion id="aa">
+ <text>For class X which is extended _directly_ by the bean class of a _simple_ bean Y, if X is annotated with a _binding type_ Z then Y inherits the annotation if and only if Z declares the |@Inherited| meta-annotation and Y does not declare an annotation of type Z.</text>
+ </assertion>
+
+ <assertion id="ab">
+ <text>For class X which is extended _directly_ by the bean class of a _simple_ bean Y, if X is annotated with a _stereotype_ Z then Y inherits the annotation if and only if Z declares the |@Inherited| meta-annotation and Y does not declare an annotation of type Z.</text>
+ </assertion>
+
+ <assertion id="ad">
+ <text>For class X which is extended _directly_ by the bean class of a _session_ bean Y, if X is annotated with a _binding type_ Z then Y inherits the annotation if and only if Z declares the |@Inherited| meta-annotation and Y does not declare an annotation of type Z.</text>
+ </assertion>
+
+ <assertion id="ae">
+ <text>For class X which is extended _directly_ by the bean class of a _session_ bean Y, if X is annotated with a _stereotype_ Z then Y inherits the annotation if and only if Z declares the |@Inherited| meta-annotation and Y does not declare an annotation of type Z.</text>
+ </assertion>
+
+ <assertion id="ag">
+ <text>For class X which is extended _indirectly_ by the bean class of a _simple_ bean Y, if X is annotated with a _binding type_ Z then Y inherits the annotation if and only if Z declares the |@Inherited| meta-annotation and neither Y nor any intermediate class that is a subclass of X and a superclass of Y declares an annotation of type Z.</text>
+ </assertion>
+
+ <assertion id="ah">
+ <text>For class X which is extended _indirectly_ by the bean class of a _simple_ bean Y, if X is annotated with a _stereotype_ Z then Y inherits the annotation if and only if Z declares the |@Inherited| meta-annotation and neither Y nor any intermediate class that is a subclass of X and a superclass of Y declares an annotation of type Z.</text>
+ </assertion>
+
+ <assertion id="aj">
+ <text>For class X which is extended _indirectly_ by the bean class of a _session_ bean Y, if X is annotated with a _binding type_ Z then Y inherits the annotation if and only if Z declares the |@Inherited| meta-annotation and neither Y nor any intermediate class that is a subclass of X and a superclass of Y declares an annotation of type Z.</text>
+ </assertion>
+
+ <assertion id="ak">
+ <text>For class X which is extended _indirectly_ by the bean class of a _session_ bean Y, if X is annotated with a _stereotype_ Z then Y inherits the annotation if and only if Z declares the |@Inherited| meta-annotation and neither Y nor any intermediate class that is a subclass of X and a superclass of Y declares an annotation of type Z.</text>
+ </assertion>
+
+ <assertion id="ba">
+ <text>For class X which is extended _directly_ by the bean class of a _simple_ bean Y, if X is annotated with a _scope type_ Z then Y inherits the annotation if and only if Z declares the |@Inherited| meta-annotation and Y does not declare a scope type.</text>
+ </assertion>
+
+ <assertion id="bb">
+ <text>For class X which is extended _directly_ by the bean class of a _session_ bean Y, if X is annotated with a _scope type_ Z then Y inherits the annotation if and only if Z declares the |@Inherited| meta-annotation and Y does not declare a scope type.</text>
+ </assertion>
+
+ <assertion id="bc">
+ <text>For class X which is extended _indirectly_ by the bean class of a _simple_ bean Y, if X is annotated with a _scope type_ Z then Y inherits the annotation if and only if Z declares the |@Inherited| meta-annotation and neither Y nor any intermediate class that is a subclass of X and a superclass of Y declares a scope type.</text>
+ </assertion>
+
+ <assertion id="bd">
+ <text>For class X which is extended _indirectly_ by the bean class of a _session_ bean Y, if X is annotated with a _scope type_ Z then Y inherits the annotation if and only if Z declares the |@Inherited| meta-annotation and neither Y nor any intermediate class that is a subclass of X and a superclass of Y declares a scope type.</text>
+ </assertion>
+
+ <assertion id="ca">
+ <text>For class X which is extended _directly_ by the bean class of a _simple_ bean Y, if X is annotated with a _deployment type_ Z then Y inherits the annotation if and only if Z declares the |@Inherited| meta-annotation and Y does not declare a deployment type.</text>
+ </assertion>
+
+ <assertion id="cb">
+ <text>For class X which is extended _directly_ by the bean class of a _session_ bean Y, if X is annotated with a _deployment type_ Z then Y inherits the annotation if and only if Z declares the |@Inherited| meta-annotation and Y does not declare a deployment type.</text>
+ </assertion>
+
+ <assertion id="cc">
+ <text>For class X which is extended _indirectly_ by the bean class of a _simple_ bean Y, if X is annotated with a _deployment type_ Z then Y inherits the annotation if and only if Z declares the |@Inherited| meta-annotation and neither Y nor any intermediate class that is a subclass of X and a superclass of Y declares a deployment type.</text>
+ </assertion>
+
+ <assertion id="cd">
+ <text>For class X which is extended _indirectly_ by the bean class of a _session_ bean Y, if X is annotated with a _deployment type_ Z then Y inherits the annotation if and only if Z declares the |@Inherited| meta-annotation and neither Y nor any intermediate class that is a subclass of X and a superclass of Y declares a deployment type.</text>
+ </assertion>
+
+ <assertion id="daa">
+ <text>For class X which is extended _directly_ by the bean class of a _simple_ bean Y, the _scope types_ explicitly declared by and inherited from the class X take precedence over default _scopes_ declared by stereotypes.</text>
+ </assertion>
+
+ <assertion id="dab">
+ <text>For class X which is extended _directly_ by the bean class of a _simple_ bean Y, the _deployment types_ explicitly declared by and inherited from the class X take precedence over deployment _deployment types_ declared by stereotypes.</text>
+ </assertion>
+
+ <assertion id="dba">
+ <text>For class X which is extended _directly_ by the bean class of a _session_ bean Y, the _scope types_ explicitly declared by and inherited from the class X take precedence over default _scopes_ declared by stereotypes.</text>
+ </assertion>
+
+ <assertion id="dbb">
+ <text>For class X which is extended _directly_ by the bean class of a _session_ bean Y, the _deployment types_ explicitly declared by and inherited from the class X take precedence over default _deployment types_ declared by stereotypes.</text>
+ </assertion>
+
+ <assertion id="dca">
+ <text>For class X which is extended _indirectly_ by the bean class of a _simple_ bean Y, the _scope types_ explicitly declared by and inherited from the class X take precedence over default _scopes_ declared by stereotypes.</text>
+ </assertion>
+
+ <assertion id="dcb">
+ <text>For class X which is extended _indirectly_ by the bean class of a _simple_ bean Y, the _deployment types_ explicitly declared by and inherited from the class X take precedence over default _deployment_ types declared by stereotypes.</text>
+ </assertion>
+
+ <assertion id="dda">
+ <text>For class X which is extended _indirectly_ by the bean class of a _session_ bean Y, the _scope types_ explicitly declared by and inherited from the class X take precedence over default _scopes_ declared by stereotypes.</text>
+ </assertion>
+
+ <assertion id="ddb">
+ <text>For class X which is extended _indirectly_ by the bean class of a _session_ bean Y, the _deployment types_ explicitly declared by and inherited from the class X take precedence over _deployment types_ declared by stereotypes.</text>
+ </assertion>
+
+ <assertion id="i" testable="false">
+ <text>For annotations defined by the bean specification, all built-in _scope types_ are declared |@Inherited|</text>
+ <note>sigtest</note>
+ </assertion>
+
+ <assertion id="j" testable="false">
+ <text>For annotations defined by the bean specification, all built-in _stereotypes_ are declared |@Inherited|</text>
+ <note>sigtest</note>
+ </assertion>
+
+ <assertion id="k" testable="false">
+ <text>For annotations defined by the bean specification, _no built-in binding type is declared |@Inherited|_</text>
+ <note>sigtest</note>
+ </assertion>
+
+ <assertion id="l" testable="false">
+ <text>For annotations defined by the bean specification, _the built-in deployment type is not declared |@Inherited|_</text>
+ <note>sigtest</note>
+ </assertion>
+
+ <assertion id="m" testable="false">
+ <text>the |@Named| annotation is not declared |@Inherited| and bean names are not inherited unless specialization is used</text>
+ <note>sigtest</note>
+ </assertion>
+
+ </section>
+
+ <section id="4.2" title="Inheritance of member-level metadata">
+
+ <assertion id="aa">
+ <text>For class X which is extended _directly_ by the bean class of a _simple_ bean Y, if X declares an injected field x then Y inherits x.</text>
+ </assertion>
+
+ <assertion id="ab">
+ <text>For class X which is extended _directly_ by the bean class of a _session_ bean Y, if X declares an injected field x then Y inherits x.</text>
+ </assertion>
+
+ <assertion id="ac">
+ <text>For class X which is extended _indirectly_ by the bean class of a _simple_ bean Y, if X declares an injected field x then Y inherits x.</text>
+ </assertion>
+
+ <assertion id="ad">
+ <text>For class X which is extended _indirectly_ by the bean class of a _session_ bean Y, if X declares an injected field x then Y inherits x.</text>
+ </assertion>
+
+ <assertion id="baa">
+ <text>For class X which is extended _directly_ by the bean class of a _simple_ bean Y, if X declares a _|@PostConstruct|_ method x() then Y inherits x() if and only if Y does not override the method x()</text>
+ </assertion>
+
+ <assertion id="bab">
+ <text>For class X which is extended _directly_ by the bean class of a _session_ bean Y, if X declares a _|@PostConstruct|_ method x() then Y inherits x() if and only if Y does not override the method x()</text>
+ </assertion>
+
+ <assertion id="bac">
+ <text>For class X which is extended _indirectly_ by the bean class of a _simple_ bean Y, if X declares a _|@PostConstruct|_ method x() then Y inherits x() if and only if neither Y nor any intermediate class that is a subclass of X and a superclass of Y overrides the method x()</text>
+ </assertion>
+
+ <assertion id="bad">
+ <text>For class X which is extended _indirectly_ by the bean class of a _session_ bean Y, if X declares a _|@PostConstruct|_ method x() then Y inherits x() if and only if neither Y nor any intermediate class that is a subclass of X and a superclass of Y overrides the method x()</text>
+ </assertion>
+
+ <assertion id="bba">
+ <text>For class X which is extended _directly_ by the bean class of a _simple_ bean Y, if X declares a _|@PreDestroy|_ method x() then Y inherits x() if and only if Y does not override the method x()</text>
+ </assertion>
+
+ <assertion id="bbb">
+ <text>For class X which is extended _directly_ by the bean class of a _session_ bean Y, if X declares a _|@PreDestroy|_ method x() then Y inherits x() if and only if Y does not override the method x()</text>
+ </assertion>
+
+ <assertion id="bbc">
+ <text>For class X which is extended _indirectly_ by the bean class of a _simple_ bean Y, if X declares a _|@PreDestroy|_ method x() then Y inherits x() if and only if neither Y nor any intermediate class that is a subclass of X and a superclass of Y overrides the method x()</text>
+ </assertion>
+
+ <assertion id="bbd">
+ <text>For class X which is extended _indirectly_ by the bean class of a _session_ bean Y, if X declares a _|@PreDestroy|_ method x() then Y inherits x() if and only if neither Y nor any intermediate class that is a subclass of X and a superclass of Y overrides the method x()</text>
+ </assertion>
+
+ <assertion id="da">
+ <text>For class X which is extended _directly_ by the bean class of a _simple_ bean Y, if X declares a _non-static producer method_ x() then Y does not inherit this method unless Y is explicitly declared to specialize or realize X</text>
+ </assertion>
+
+ <assertion id="db">
+ <text>For class X which is extended _directly_ by the bean class of a _simple_ bean Y, if X declares a _non-static disposal method_ x() then Y does not inherit this method unless Y is explicitly declared to specialize or realize X</text>
+ </assertion>
+
+ <assertion id="dc">
+ <text>For class X which is extended _directly_ by the bean class of a _simple_ bean Y, if X declares a _non-static observer method_ x() then Y does not inherit this method unless Y is explicitly declared to specialize or realize X</text>
+ </assertion>
+
+ <assertion id="dd">
+ <text>For class X which is extended _directly_ by the bean class of a _session_ bean Y, if X declares a _non-static producer method_ x() then Y does not inherit this method unless Y is explicitly declared to specialize or realize X</text>
+ </assertion>
+
+ <assertion id="de">
+ <text>For class X which is extended _directly_ by the bean class of a _session_ bean Y, if X declares a _non-static disposal method_ x() then Y does not inherit this method unless Y is explicitly declared to specialize or realize X</text>
+ </assertion>
+
+ <assertion id="df">
+ <text>For class X which is extended _directly_ by the bean class of a _session_ bean Y, if X declares a _non-static observer method_ x() then Y does not inherit this method unless Y is explicitly declared to specialize or realize X</text>
+ </assertion>
+
+ <assertion id="dg">
+ <text>For class X which is extended _indirectly_ by the bean class of a _simple_ bean Y, if X declares a _non-static producer method_ x() then Y does not inherit this method unless Y is explicitly declared to specialize or realize X</text>
+ </assertion>
+
+ <assertion id="dh">
+ <text>For class X which is extended _indirectly_ by the bean class of a _simple_ bean Y, if X declares a _non-static disposal method_ x() then Y does not inherit this method unless Y is explicitly declared to specialize or realize X</text>
+ </assertion>
+
+ <assertion id="di">
+ <text>For class X which is extended _indirectly_ by the bean class of a _simple_ bean Y, if X declares a _non-static observer method_ x() then Y does not inherit this method unless Y is explicitly declared to specialize or realize X</text>
+ </assertion>
+
+ <assertion id="dj">
+ <text>For class X which is extended _indirectly_ by the bean class of a _session_ bean Y, if X declares a _non-static producer method_ x() then Y does not inherit this method unless Y is explicitly declared to specialize or realize X</text>
+ </assertion>
+
+ <assertion id="dk">
+ <text>For class X which is extended _indirectly_ by the bean class of a _session_ bean Y, if X declares a _non-static disposal method_ x() then Y does not inherit this method unless Y is explicitly declared to specialize or realize X</text>
+ </assertion>
+
+ <assertion id="dl">
+ <text>For class X which is extended _indirectly_ by the bean class of a _session_ bean Y, if X declares a _non-static observer method_ x() then Y does not inherit this method unless Y is explicitly declared to specialize or realize X</text>
+ </assertion>
+
+ <assertion id="ea">
+ <text>For class X which is extended _directly_ by the bean class of a _simple_ bean Y, if X declares a _non-static producer field_ x then Y does not inherit this field unless Y is explicitly declared to specialize or realize X.</text>
+ </assertion>
+
+ <assertion id="eb">
+ <text>For class X which is extended _directly_ by the bean class of a _session_ bean Y, if X declares a _non-static producer field_ x then Y does not inherit this field unless Y is explicitly declared to specialize or realize X.</text>
+ </assertion>
+
+ <assertion id="ec">
+ <text>For class X which is extended _indirectly_ by the bean class of a _simple_ bean Y, if X declares a _non-static producer field_ x then Y does not inherit this field unless Y is explicitly declared to specialize or realize X.</text>
+ </assertion>
+
+ <assertion id="ed">
+ <text>For class X which is extended _indirectly_ by the bean class of a _session_ bean Y, if X declares a _non-static producer field_ x then Y does not inherit this field unless Y is explicitly declared to specialize or realize X.</text>
+ </assertion>
+
+ </section>
+
+ <section id="4.3" title="Specialization">
+
+ <assertion id="a">
+ <text>If two beans both support a certain bean type, and share at least one binding, then they are both eligible for injection to any injection point with that declared type and binding. The container will choose the bean with the highest priority enabled deployment type.</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>If the bean with the lower priority deployment type declares a binding that is not declared by the bean with the higher priority deployment type, then the bean with the higher priority deployment type will not be eligible for injection to an injection point with that binding.</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The only way one bean can completely override a lower-priority bean at all injection points is if it implements all the bean types and declares all the bindings of the lower-priority bean. However, if the lower-priority bean declares a producer method, then even this is not enough to ensure that the lower-priority bean is never called</text>
+ </assertion>
+
+ </section>
+
+ <section id="4.3.1" title="Using specialization">
+
+ <assertion id="a">
+ <text>A bean declared using annotations may declare that it specializes a lower-priority bean using the |@Specializes| annotation</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The bindings of a bean X that specializes a lower-priority bean Y include all bindings of Y, together with all bindings declared explicitly by X.</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If a bean X specializes a lower-priority bean Y with a name, the name of X is the same as the name of Y.</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If a bean X specializes a lower-priority bean Y with a name, and X declares a name explicitly, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>When an enabled bean specializes a lower-priority bean, we can be certain that the lower-priority bean is never instantiated or called by the container.</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>Even if the lower-priority bean defines a producer method, the method will be called upon an instance of the specializing bean</text>
+ </assertion>
+
+ <assertion id="h" testable="false">
+ <text>Specialization applies only to simple beans, as defined in Section 3.2.7, "Specializing a simple bean", session beans, as defined in Section 3.3.7, "Specializing a session bean" and producer methods, as defined in Section 3.4.5, "Specializing a producer method".</text>
+ <note>This is a statement of intent</note>
+ </assertion>
+ </section>
+
+ <section id="4.3.2" title="Direct and indirect specialization">
+ <assertion id="a" testable="false">
+ <text>The |@javax.inject.Specializes| annotation ~or |<Specializes>| XML element~ is used to indicate that one bean directly specializes another bean</text>
+ <note>A statement of intent</note>
+ </assertion>
+
+ <assertion id="b" testable="false">
+ <text>A bean X is said to specialize another bean Y if X directly specializes Y, or a bean Z exists, such that X directly specializes Z and Z specializes Y</text>
+ <note>A definition</note>
+ </assertion>
+
+ <assertion id="c">
+ <text>Any non-static producer methods (see Section 3.4, "Producer methods") of any bean are invoked upon an instance of the most specialized enabled bean that specializes the bean, as defined by Section 6.7, "Lifecycle of producer methods".</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>Any non-static producer fields (see Section 3.5, "Producer fields") of any bean are invoked upon an instance of the most specialized enabled bean that specializes the bean, as defined by Section 6.8, "Lifecycle of producer fields".</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>Any non-static disposal methods (see Section 3.4.6, "Disposal methods") of any bean are invoked upon an instance of the most specialized enabled bean that specializes the bean.</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>Any non-static observer methods (see Section 7.5, "Observer methods") of any bean are invoked upon an instance of the most specialized enabled bean that specializes the bean, as defined by Section 7.4, "Observer notification".</text>
+ </assertion>
+ </section>
+
+ <section id="4.3.3" title="Inconsistent specialization">
+ <assertion id="a">
+ <text>If, in a particular deployment, either some enabled bean X specializes another enabled bean Y and X does not have a higher precedence than Y, or more than one enabled bean directly specializes the same bean we say that inconsistent specialization exists, and an |InconsistentSpecializationException| is thrown by the container at deployment time</text>
+ </assertion>
+ </section>
+
+ <section id="4.4" title="Realization">
+ <assertion id="a" testable="false">
+ <text>Any bean that extends a generic class may directly extend the generic class, in the case of a bean declared using annotations and then explicitly declare that it realizes the generic class</text>
+ <note>A statement of intent</note>
+ </assertion>
+
+ </section>
+
+ <section id="4.4.1" title="Using realization">
+ <assertion id="a" testable="false">
+ <text>A bean declared using annotations may declare that it realizes a generic class by annotating the bean class with the |@javax.inject.Realizes| annotation</text>
+ <note>A statement of intent</note>
+ </assertion>
+
+ <assertion id="ca">
+ <text>If a generic class Y declares a non-static _producer method_ with a certain combination of scope, stereotypes, bindings and interceptor bindings, then every bean X that realizes Y also has a _producer method_ with the same scope, stereotypes and interceptor bindings. The bindings for this inherited _producer method_ consist of all bindings declared by the _producer method_ of Y, excluding all bindings of Y, together with the bindings declared explicitly by X. The deployment type of the inherited _producer method_ is the deployment type of X</text>
+ </assertion>
+
+ <assertion id="cb">
+ <text>If a generic class Y declares a non-static _producer field_ with a certain combination of scope, stereotypes, bindings and interceptor bindings, then every bean X that realizes Y also has a _producer field_ with the same scope, stereotypes and interceptor bindings. The bindings for this inherited _producer field_ consist of all bindings declared by the _producer field_ of Y, excluding all bindings of Y, together with the bindings declared explicitly by X. The deployment type of the inherited _producer field_ is the deployment type of X</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If a generic class Y declares a non-static disposal method with a disposed parameter with a certain combination of bindings, then every bean X that realizes Y also has a disposal method. The bindings of the disposed parameter of this
+inherited disposal method consist of all bindings declared by the disposed parameter of the disposal method of Y, excluding all bindings of Y, together with the bindings declared explicitly by X.</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If a generic class Y declares a non-static observer method with an event parameter with a certain combination of event bindings, then every bean X that realizes Y also has an observer method. The event bindings of the event parameter of
+this inherited observer method consist of all event bindings declared by the event parameter of the observer method of Y.</text>
+ </assertion>
+
+ <assertion id="f" testable="false">
+ <text>Realization applies only to simple beans and session beans</text>
+ <note>A statement of intent</note>
+ </assertion>
+ </section>
+
+ <section id="5" title="Lookup, dependency injection and EL resolution">
+ <assertion id="a">
+ <text>The container is required to ensure that any injected reference to a contextual instance of a bean may be cast to any bean type of the bean.</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>The container is required to support circularities in the bean dependency graph</text>
+ <note>The RI has unit tests for this atm</note>
+ </assertion>
+ </section>
+
+ <section id="5.1" title="Unsatisfied and ambiguous dependencies">
+ <assertion id="a">
+ <text>The container must validate all injection points of all enabled beans at deployment time to ensure that there are no unsatisfied or ambiguous dependencies. If an unsatisfied or ambiguous dependency exists, an |UnsatisfiedDependencyException| or |AmbiguousDependencyException| is thrown by the container at deployment time, as defined in Section 5.7.1, "Resolving dependencies".</text>
+ <note>These need expanding out - one for each assertion that results in an exception in 5.7.1</note>
+ </assertion>
+ </section>
+
+ <section id="5.2" title="Primitive types and null values">
+
+
+ <assertion id="aa">
+ <text>If necessary, the container performs boxing ~or unboxing~ when it injects a value to a field or parameter of primitive or wrapper type.</text>
+ </assertion>
+ <assertion id="ab">
+ <text>If necessary, the container performs ~boxing or~ unboxing when it injects a value to a field or parameter of primitive or wrapper type.</text>
+ </assertion>
+
+ <assertion id="a">
+ <text>If an injection point of primitive type resolves to a bean that may be null, such as a producer method with a nonprimitive return type or a producer field with a non-primitive type, a |NullableDependencyException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>The method |Bean.isNullable()| may be used to detect if a bean has null values</text>
+ </assertion>
+ </section>
+
+ <section id="5.3" title="Injected reference validity">
+ <assertion id="a">
+ <text>Any reference to a bean with a normal scope is valid as long as the application maintains a hard reference to it. However, it may only be invoked when the context associated with the normal scope is active. If it is invoked when the context is inactive, a |ContextNotActiveException| is thrown by the container</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>Any reference to a bean with a pseudo-scope (such as |@Dependent|) is valid until the bean instance to which it refers is destroyed. It may be invoked even if the context associated with the pseudo-scope is not active. If the application invokes a method of a reference to an instance that has already been destroyed, the behavior is undefined</text>
+ </assertion>
+ </section>
+
+ <section id="5.4" title="Client proxies">
+ <assertion id="a">
+ <text>Client proxies are never required for a bean whose scope is a pseudo-scope such as |@Dependent|</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>Client proxies are used for normal scoped beans</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>All client proxies must be serializable</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>The container must guarantee that when any valid injected reference to a bean of normal scope is invoked, the invocation is always processed by the current instance of the injected bean.</text>
+ </assertion>
+ </section>
+
+ <section id="5.4.1" title="Unproxyable bean types">
+ <assertion id="a">
+ <text>Classes without a non-private constructor with no parameters cannot be proxied by the container. If an injection point whose declared type cannot be proxied by the container resolves to a bean with a normal scope, an |UnproxyableDependencyException| is thrown by the container at deployment time.</text>
+ </assertion>
+
+ <assertion id="ba">
+ <text>Classes which are declared final ~or have final methods~ cannot be proxied by the container. If an injection point whose declared type cannot be proxied by the container resolves to a bean with a normal scope, an |UnproxyableDependencyException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="bb">
+ <text>Classes which ~are declared final or ~have final methods cannot be proxied by the container. If an injection point whose declared type cannot be proxied by the container resolves to a bean with a normal scope, an |UnproxyableDependencyException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>Primitive types cannot be proxied by the container. If an injection point whose declared type cannot be proxied by the container resolves to a bean with a normal scope, an |UnproxyableDependencyException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>Array types cannot be proxied by the container. If an injection point whose declared type cannot be proxied by the container resolves to a bean with a normal scope, an |UnproxyableDependencyException| is thrown by the container at deployment time</text>
+ </assertion>
+ </section>
+
+ <section id="5.4.2" title="Client proxy invocation">
+ <assertion id="a">
+ <text>Every time a method of the bean is invoked upon a client proxy, the client proxy must obtain the context object by calling |Manager.getContext()|, passing the bean scope, then obtain an instance of the bean by calling |Context.get()|, passing the Bean instance representing the bean and an instance of |CreationalContext|, and invoke the method upon the bean</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>The behavior of all methods declared by |java.lang.Object|, except for |toString()|, is undefined for a client proxy</text>
+ </assertion>
+
+ </section>
+
+ <section id="5.5" title="The default binding at injection points">
+ <assertion id="a">
+ <text>If an injection point declares no binding, the default binding |@Current| is assumed</text>
+ </assertion>
+ </section>
+
+ <section id="5.6" title="Injection point metadata">
+ <assertion id="a">
+ <text>The |javax.enterprise.inject.spi.InjectionPoint.getBean()| method returns the Bean object representing the bean that defines the injection point</text>
+ </assertion>
+
+ <assertion id="ba">
+ <text>The |javax.enterprise.inject.spi.InjectionPoint.getType()| method returns the declared type of the injection point.</text>
+ </assertion>
+
+ <assertion id="bb">
+ <text>An injection point declared in XML has it's type determined according to Section 9.10, "Specifying bean types and bindings"</text>
+ </assertion>
+
+ <assertion id="bc">
+ <text>The |javax.enterprise.inject.spi.InjectionPoint.getBindings()| method returns the declared bindings of the injection point.</text>
+ </assertion>
+
+ <assertion id="ca">
+ <text>The |javax.enterprise.inject.spi.InjectionPoint.getMember()| method returns the |Field| object in the case of field injection</text>
+ </assertion>
+
+ <assertion id="cb">
+ <text>The |javax.enterprise.inject.spi.InjectionPoint.getMember()| method returns the |Method| object in the case of method parameter injection</text>
+ </assertion>
+
+ <assertion id="cc">
+ <text>The |javax.enterprise.inject.spi.InjectionPoint.getMember()| method returns the |Constructor| object in the case of constructor parameter injection</text>
+ </assertion>
+
+ <assertion id="da">
+ <text>The |javax.enterprise.inject.spi.InjectionPoint.getAnnotation()| method returns annotations of the field in the case of field injection</text>
+ </assertion>
+
+ <assertion id="db">
+ <text>The |javax.enterprise.inject.spi.InjectionPoint.getAnnotation()| method returns annotations of the parameter in the case of method parameter</text>
+ </assertion>
+
+ <assertion id="dc">
+ <text>The |javax.enterprise.inject.spi.InjectionPoint.getAnnotation()| method returns annotations annotations of the parameter in the case of constructor parameter injection.</text>
+ </assertion>
+
+ <assertion id="dd">
+ <text>The |javax.enterprise.inject.spi.InjectionPoint.getAnnotations()| method returns annotations of the field in the case of field injection</text>
+ </assertion>
+
+ <assertion id="de">
+ <text>The |javax.enterprise.inject.spi.InjectionPoint.getAnnotations()| method returns annotations of the parameter in the case of method parameter</text>
+ </assertion>
+
+ <assertion id="df">
+ <text>The |javax.enterprise.inject.spi.InjectionPoint.getAnnotations()| method returns annotations annotations of the parameter in the case of constructor parameter injection.</text>
+ </assertion>
+
+ <assertion id="dg">
+ <text>|getAnnotation()| returns a null value if no annotation of the given type exists at the field injection point</text>
+ </assertion>
+
+ <assertion id="dh">
+ <text>|getAnnotation()| returns a null value if no annotation of the given type exists at the method parameter injection point</text>
+ </assertion>
+
+ <assertion id="di">
+ <text>|getAnnotation()| returns a null value if no annotation of the given type exists at the constructor injection point</text>
+ </assertion>
+
+ </section>
+
+ <section id="5.6.1" title="Injecting InjectionPoint">
+
+ <assertion id="za">
+ <text>The container must provide a bean with deployment type |@Standard|.</text>
+ </assertion>
+
+ <assertion id="zb">
+ <text>The container must provide a bean with scope |@Dependent|.</text>
+ </assertion>
+
+ <assertion id="zc">
+ <text>The container must provide a bean with bean type |InjectionPoint|.</text>
+ </assertion>
+
+ <assertion id="zd">
+ <text>The container must provide a bean with binding |@Current|.</text>
+ </assertion>
+
+ <assertion id="a">
+ <text>Whenever a |@Dependent| scoped object is instantiated by the container for injection into a second bean, any injection point of type |InjectionPoint| and binding |@Current| receives an instance of |InjectionPoint| that represents the injection point of the second bean</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>When a |@Dependent| scoped object is instantiated by the container to receive a producer method, any injection point of type |InjectionPoint| and binding |@Current| receives a null value</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>When a |@Dependent| scoped object is instantiated by the container to receive a producer field, any injection point of type |InjectionPoint| and binding |@Current| receives a null value</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>When a |@Dependent| scoped object is instantiated by the container to receive an observer , any injection point of type |InjectionPoint| and binding |@Current| receives a null value</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>When a |@Dependent| scoped object is instantiated by the container to receive a disposal method invocation, any injection point of type |InjectionPoint| and binding |@Current| receives a null value</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>When a |@Dependent| scoped object is instantiated by the container during EL expression evaluation, any injection point of type |InjectionPoint| and binding |@Current| receives a null value</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>When a |@Dependent| scoped object is instantiated by the container as a result of a direct call to the Manager API, any injection point of type |InjectionPoint| and binding |@Current| receives a null value</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>If a bean that declares any scope other than |@Dependent| has an injection point of type |InjectionPoint| and binding |@Current|, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>If an object that is not a bean has an injection point of type |InjectionPoint| and binding |@Current|, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+ </section>
+
+ <section id="5.7" title="The Manager object">
+
+ </section>
+
+ <section id="5.7.1" title="Resolving dependencies">
+ <assertion id="a" testable="false">
+ <text>Implementations of Bean maintain a reference to an instance of |Manager|</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>When the |Bean| implementation performs dependency injection, it must obtain the contextual instances to inject by calling |Manager.getInstanceToInject()|, passing an instance of |InjectionPoint| that represents the injection point and the instance of |CreationalContext| that was passed to |Bean.create()|</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>|Manager.getInstanceToInject()| returns a contextual instance or client proxy to be injected to the given injection point</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>The |Manager.getInstanceToInject()| method must Identify the bean by calling |Manager.resolveByType()|, passing the type and bindings of the injection point</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>The |Manager.getInstanceToInject()| method must throw an |UnsatisfiedDependencyException| if |resolveByType()| did not return a bean</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>The |Manager.getInstanceToInject()| method must throw an |AmbiguousDependencyException| if |resolveByType()| returned more than one bean</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>The |Manager.getInstanceToInject()| method must throw an |UnproxyableDependencyException| if the bean has a normal scope and the type cannot be proxied by the container, as defined in Section 5.4.1, "Unproxyable bean types"</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>The |Manager.getInstanceToInject()| method must obtain an instance of the bean (or a client proxy) by calling |Manager.getInstance()|, passing the |Bean| object representing the bean, and return it. Alternatively, return an incompletely initialized instance of the bean that was registered by calling |CreationalContext.push()|, as defined in Section 6.1, "The Contextual interface"</text>
+ </assertion>
+ </section>
+
+ <section id="5.7.2" title="Obtaining contextual instances">
+ <assertion id="a">
+ <text>Any bean may obtain an instance of |Manager| by injecting it</text>
+ </assertion>
+
+ <assertion id="aa">
+ <text>The container provides a built-in bean with bean type |Manager|</text>
+ </assertion>
+
+ <assertion id="ab">
+ <text>The container-provided |Manager| bean has a scope type of |@Dependent|</text>
+ </assertion>
+
+ <assertion id="ac">
+ <text>The container-provided |Manager| bean has a deployment type of |@Standard|</text>
+ </assertion>
+
+ <assertion id="ad">
+ <text>The container-provided |Manager| bean has a binding of |@Current|.</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>The application may obtain the |Manager| object from JNDI. The container must register an instance of |Manager| with name |java:app/Manager| in JNDI at deployment time</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>A contextual instance of a bean may be obtained by calling |Manager.getInstance()|, passing the |Bean| object representing the bean</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>|Manager.getInstance()| returns a contextual instance or client proxy for the given bean</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If the given Bean instance represents a bean with a normal scope, as defined in Section 8.2, "Normal scopes and pseudo-scopes", |Manager.getInstance()| must return a client proxy</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>If the Bean instance represents a bean with a pseudo-scope, as defined in Section 8.2, "Normal scopes and pseudo-scopes", |Manager.getInstance()| must obtain the context object by calling |Manager.getContext()|, passing the bean scope, then obtain an instance of the bean by calling |Context.get()|, passing the Bean instance representing the bean and an instance of |CreationalContext|</text>
+ </assertion>
+
+ <assertion id="g" testable="false">
+ <text>The |Manager.getInstanceByType()| methods obtain a contextual instance of a bean</text>
+ <note>A statement of intent</note>
+ </assertion>
+
+ <assertion id="h">
+ <text>If no bindings are passed to |Manager.getInstanceByType()|, the default binding |@Current| is assumed</text>
+ </assertion>
+
+ <assertion id="ia">
+ <text>If a parameterized type with a type parameter ~or wildcard~ is passed to |resolveByType()|, an |IllegalArgumentException| is thrown</text>
+ </assertion>
+
+ <assertion id="ib">
+ <text>If a parameterized type with a ~type parameter or~ wildcard is passed to |resolveByType()|, an |IllegalArgumentException| is thrown</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>If two instances of the same binding type are passed to |getInstanceByType()|, a |DuplicateBindingTypeException| is thrown</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>If an instance of an annotation that is not a binding type is passed to |getInstanceByType()|, an |IllegalArgumentException| is thrown</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>The |getInstanceByType()| method must identify the bean by calling |Manager.resolveByType()|, passing the given type and bindings</text>
+ </assertion>
+
+ <assertion id="m">
+ <text>The |getInstanceByType()| method must throw an |UnsatisfiedDependencyException| if |resolveByType()| did not return a bean</text>
+ </assertion>
+
+ <assertion id="n">
+ <text>The |getInstanceByType()| method must throw an |AmbiguousDependencyException| if |resolveByType()| returned more than one bean</text>
+ </assertion>
+
+ <assertion id="o">
+ <text>The |getInstanceByType()| method must obtain an instance of the bean (or a client proxy) by calling |Manager.getInstance()|, passing the Bean object representing the bean, and return it</text>
+ </assertion>
+ </section>
+
+ <section id="5.8" title="Dynamic lookup">
+
+ <assertion id="a">
+ <text>An instance of the |javax.inject.Instance| interface may be injected via use of the
+|@javax.inject.Obtains| binding</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>Additional bindings may be specified at the injection point</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The |Instance| interface provides a method for obtaining instances of beans of a specific type</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If two instances of the same binding type are passed to |Instance.get()|, a |DuplicateBindingTypeException| is thrown</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If an instance of an annotation that is not a binding type is passed to |Instance.get()|, an |IllegalArgumentException| is thrown</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>The |@Obtains| annotation or |<Obtains>| element may be applied to any injection point of type |Instance| where an actual type parameter is specified</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>If the type of the injection point is not of type |Instance| a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>If no actual type parameter is specified a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>If the type parameter contains a type variable a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>If the type parameter contains a wildcard a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="k" testable="false">
+ <text>Whenever the |@Obtains| annotation appears at an injection point, an implicit bean exists with exactly the bean type and bindings that appear at the injection point</text>
+ <note>As the bean is implicit, it cannot be resolved</note>
+ </assertion>
+
+ <assertion id="l" testable="false">
+ <text>Whenever the |@Obtains| annotation appears at an injection point, an implicit bean exists with deployment type |@Standard|</text>
+ <note>As the bean is implicit, it cannot be resolved</note>
+ </assertion>
+
+ <assertion id="m" testable="false">
+ <text>Whenever the |@Obtains| annotation appears at an injection point, an implicit bean exists with |@Dependent| scope</text>
+ <note>As the bean is implicit, it cannot be resolved</note>
+ </assertion>
+
+ <assertion id="n" testable="false">
+ <text>Whenever the |@Obtains| annotation appears at an injection point, an implicit bean exists with no bean name</text>
+ <note>As the bean is implicit, it cannot be resolved</note>
+ </assertion>
+
+ <assertion id="o" testable="false">
+ <text>Whenever the |@Obtains| annotation appears at an injection point, an implicit bean exists with an implementation provided automatically by the container</text>
+ <note>As the bean is implicit, it cannot be resolved</note>
+ </assertion>
+
+ <assertion id="p">
+ <text>The |get()| method of the provided implementation of Instance must call |Manager.getInstanceByType()|, passing all bindings declared at the injection point, except |@Obtains|, and all bindings passed to |Instance.get()|</text>
+ </assertion>
+
+ <assertion id="q">
+ <text>The application may obtain a contextual instance by calling the |Instance.get()| method</text>
+ </assertion>
+
+ <assertion id="r">
+ <text>When the application calls |Instance.get()| to obtain a contextual instance dynamically, it may need to pass instances of binding annotation types</text>
+ </assertion>
+ </section>
+
+ <section id="5.9" title="Typesafe resolution algorithm">
+ <assertion id="a">
+ <text>The |resolveByType()| method of the |Manager| interface returns the result of the typesafe resolution</text>
+ <note>Here we just do a general test that resolveByType() is producing sensible results</note>
+ </assertion>
+
+ <assertion id="b">
+ <text>If no bindings are passed to |Manager.resolveByType()|, the default binding |@Current| is assumed</text>
+ </assertion>
+
+ <assertion id="ca">
+ <text>If a parameterized type with a type parameter ~or wildcard~ is passed to |Manager.resolveByType()|, an |IllegalArgumentException| is thrown</text>
+ </assertion>
+
+ <assertion id="cb">
+ <text>If a parameterized type with a ~type parameter or~ wildcard is passed to |Manager.resolveByType()|, an |IllegalArgumentException| is thrown</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If two instances of the same binding type are passed to |Manager.resolveByType()|, a |DuplicateBindingTypeException| is thrown</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If an instance of an annotation that is not a binding type is passed to |Manager.resolveByType()|, an |IllegalArgumentException| is thrown</text>
+ </assertion>
+
+ <assertion id="fa">
+ <text>When the container is resolving a bean by type, it identifies the set of matching enabled beans which have the given bean type.</text>
+ </assertion>
+
+ <assertion id="fb">
+ <text>When the container is resolving a bean by type~, it identifies the set of matching enabled beans which have the given bean type~. For this purpose, primitive types are considered to be identical to their corresponding wrapper types in |java.lang|~, array types are considered identical only if their element types are identical and parameterized types are considered identical only if both the type and all type parameters are identical~</text>
+ </assertion>
+
+ <assertion id="fc">
+ <text>When the container is resolving a bean by type~, it identifies the set of matching enabled beans which have the given bean type~. For this purpose, ~primitive types are considered to be identical to their corresponding wrapper types in |java.lang|,~ array types are considered identical only if their element types are identical~ and parameterized types are considered identical only if both the type and all type parameters are identical~</text>
+ </assertion>
+
+ <assertion id="fd">
+ <text>When the container is resolving a bean by type~, it identifies the set of matching enabled beans which have the given bean type~. For this purpose, ~primitive types are considered to be identical to their corresponding wrapper types in |java.lang|, array types are considered identical only if their element types are identical and~ parameterized types are considered identical only if both the type and all type parameters are identical</text>
+ </assertion>
+
+ <assertion id="ga">
+ <text>When the container is resolving a bean by type, it considers the given bindings. _If no bindings were passed to |resolveByType()|, the container assumes the binding |@Current|_. </text>
+ </assertion>
+
+ <assertion id="gb">
+ <text>When the container is resolving a bean by type, it considers the given bindings. ~If no bindings were passed to |resolveByType()|, the container assumes the binding |@Current|~. The container narrows the set of matching beans to just those where for each given binding, the bean declares a binding with _(a) the same type_ and (b) the same annotation member value for each member which is not annotated |@NonBinding| (see Section 5.9.1, "Binding annotations with members")</text>
+ </assertion>
+
+ <assertion id="gc">
+ <text>When the container is resolving a bean by type, it considers the given bindings. ~If no bindings were passed to |resolveByType()|, the container assumes the binding |@Current|~. The container narrows the set of matching beans to just those where for each given binding, the bean declares a binding with (a) the same type and _(b) the same annotation member value for each member_ which is not annotated |@NonBinding| (see Section 5.9.1, "Binding annotations with members")</text>
+ </assertion>
+
+ <assertion id="gd">
+ <text>When the container is resolving a bean by type, it considers the given bindings. ~If no bindings were passed to |resolveByType()|, the container assumes the binding |@Current|~. The container narrows the set of matching beans to just those where for each given binding, the bean declares a binding with (a) the same type and (b) the same annotation member value for each member which is _not annotated |@NonBinding|_ (see Section 5.9.1, "Binding annotations with members")</text>
+ </assertion>
+
+ <assertion id="ha">
+ <text>When the container is resolving a bean by type, it examines the deployment types of the matching beans, as defined in Section 2.5.7, "Deployment type precedence", and returns the set of beans with the highest precedence deployment type that occurs in the set.</text>
+ </assertion>
+
+ <assertion id="hb">
+ <text>When the container is resolving a bean by type, it examines the deployment types of the matching beans, as defined in Section 2.5.7, "Deployment type precedence", and returns the set of beans with the highest precedence deployment type that occurs in the set. _If there are no matching beans, an empty set is returned_</text>
+ </assertion>
+
+ </section>
+
+ <section id="5.9.1" title="Binding annotations with members">
+ <assertion id="a" testable="false">
+ <text>Binding types with members are supported</text>
+ <note>A statement of intent</note>
+ </assertion>
+
+ <assertion id="b">
+ <text>An annotation member may be excluded from consideration using the |@NonBinding| annotation</text>
+ </assertion>
+
+ <assertion id="ca">
+ <text>Array-valued ~or annotation-valued~ members of a binding type must be annotated |@NonBinding|. If an array-valued ~or annotation-valued~ member of a binding type is not annotated |@NonBinding|, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="cb">
+ <text>~Array-valued or ~annotation-valued members of a binding type must be annotated |@NonBinding|. If an ~array-valued or ~annotation-valued member of a binding type is not annotated |@NonBinding|, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+ </section>
+
+ <section id="5.9.2" title="Multiple bindings">
+ <assertion id="a">
+ <text>A bean class may declare multiple bindings</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>A producer method may declare multiple bindings</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>A producer field may declare multiple bindings</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>A bean must declare all of the bindings that are specified at the injection point to be considered a candidate for injection</text>
+ </assertion>
+ </section>
+
+ <section id="5.10" title="EL name resolution">
+
+ <assertion id="aa">
+ <text>The container must provide a Unified EL ELResolver to the servlet engine ~and JSF implementation~ that resolves bean names</text>
+ <note>This is testable implicitly by trying to resolve using EL from a servlet</note>
+ </assertion>
+
+ <assertion id="ab">
+ <text>The container must provide a Unified EL ELResolver to the ~servlet engine~ and JSF implementation that resolves bean names</text>
+ <note>This is testable implicitly by trying to resolve using EL from a JSF view</note>
+ </assertion>
+
+ <assertion id="b">
+ <text>When this resolver is called with a null base object, it calls the method |Manager.getInstanceByName()| to obtain an instance of the bean named in the EL expression</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The |Manager.getInstanceByName()| method must identify the bean by calling |Manager.resolveByName()|, passing the name</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>The |Manager.getInstanceByName()| method must return a null value, if |Manager.resolveByName()| returned an empty set</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>The |Manager.getInstanceByName()| method must throw an |AmbiguousDependencyException| if |Manager.resolveByName()| returned more than one bean</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>The |Manager.getInstanceByName()| method must obtain an instance of the bean by calling |Manager.getInstance()|, passing the |Bean| instance representing the bean if exactly one bean was returned by |Manager.resolveByName()|. For each distinct name that appears in the EL expression, |getInstanceByName()| must be called at most once</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>Even if a name appears more than once in the same expression, the container may not call |getInstanceByName()| multiple times with that name. This restriction ensures that there is a unique instance of each bean with scope |@Dependent| in any EL evaluation</text>
+ </assertion>
+ </section>
+
+ <section id="5.11" title="Name resolution algorithm">
+ <assertion id="a">
+ <text>The |resolveByName()| method of the |Manager| interface performs name resolution</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>When resolving a bean by name, the container must identify the set of matching enabled beans which have the given name</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>After the container identifies the set of matching beans, it examines the deployment types of the matching beans, as defined in Section 2.5.7, "Deployment type precedence", and returns the set of beans with the highest precedence deployment type that occurs in the set</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If there are no matching beans, an empty set is returned</text>
+ </assertion>
+ </section>
+
+ <section id="5.12" title="Injection into non-contextual objects">
+ <assertion id="a" testable="false">
+ <text>The container is required to perform dependency injection upon certain non-contextual objects</text>
+ <note>This is a statement of intent</note>
+ </assertion>
+ </section>
+
+ <section id="5.12.1" title="Non-contextual instances of session beans">
+ <assertion id="a">
+ <text>The container is required to perform dependency injection for session bean instances obtained directly from JNDI</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>The container is required to perform dependency injection for session bean instances injected using |@EJB|</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The container is required to perform dependency injection for session bean instances injected using |@Resource|</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>The container is required to perform dependency injection for session bean instances created by the container to receive remote method calls</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>The container is required to perform dependency injection for session bean instances created by the container to receive timeouts</text>
+ </assertion>
+
+ <assertion id="p">
+ <text>For the purposes of dependency injection, the container must treat non-contextual instances of session beans as instances of the most specialized bean that specializes the bean with binding |@New| and deployment type |@Standard| defined in Section 3.3.6, "Session beans with the |@New| binding"</text>
+ </assertion>
+
+ </section>
+
+ <section id="5.12.2" title="Message-driven beans">
+
+ <assertion id="a">
+ <text>The container performs dependency injection for message-driven bean instances according to the bean class annotations</text>
+ </assertion>
+ </section>
+
+ <section id="5.12.3" title="Servlets">
+ <assertion id="a">
+ <text>The container performs dependency injection for servlets according to the servlet class annotations</text>
+ </assertion>
+ </section>
+
+ <section id="6" title="Bean lifecycle">
+ <assertion id="a">
+ <text>To create a contextual instance of a session bean, the container creates an EJB local object reference</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>To create a contextual instance of a producer method bean, the container calls the producer method</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>To create a contextual instance of a producer field bean, the container retrieves the current value of the field</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>To create a contextual instance of a simple bean, the container calls the bean constructor</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>To destroy a contextual instance of a stateful session bean, the container removes the EJB instance</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>To destroy a contextual instance of a producer method bean, the container calls the disposal method, if any</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>When the container injects a dependency and there is no existing instance of the bean cached by the context object for the bean scope, the context object automatically creates a new contextual instance of the bean</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>When the container resolves an EL name and there is no existing instance of the bean cached by the context object for the bean scope, the context object automatically creates a new contextual instance of the bean</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>When a context is destroyed, the context object automatically destroys any instances associated with that context</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>To create and destroy contextual instances, the context object calls operations defined by the interface Contextual</text>
+ </assertion>
+ </section>
+
+ <section id="6.1" title="The Contextual interface">
+ <assertion id="a" testable="false">
+ <text>The interface |javax.context.CreationalContext| provides an operation that allows the |create()| method to register an incompletely initialized contextual instance with the container. A contextual instance is considered incompletely initialized until the |create()| method returns the instance</text>
+ <note>Statement of intent</note>
+ </assertion>
+
+ <assertion id="b">
+ <text>If |Contextual.create()| calls |CreationalContext.push()|, it must also return the instance passed to |push()|</text>
+ </assertion>
+
+ <assertion id="c" testable="false">
+ <text>The implementation of |Contextual| is not required to call |CreationalContext.push()|</text>
+ <note>No way to test this really</note>
+ </assertion>
+ </section>
+
+ <section id="6.2" title="Creation">
+ <assertion id="a">
+ <text>The |Contextual.create()| method obtains an instance of the bean</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>The |Contextual.create()| method injects any dependencies</text>
+ </assertion>
+
+
+ <assertion id="f">
+ <text>The |Contextual.create()| method calls the |@PostConstruct| method, if necessary</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>If any exception occurs while creating an instance, the exception is rethrown by the |create()| method</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>If a checked exception occurs while creating an instance, it is wrapped and rethrown as an (unchecked) |CreationException|</text>
+ </assertion>
+ </section>
+
+ <section id="6.3" title="Destruction">
+ <assertion id="a">
+ <text>The |Contextual.destroy()| method calls the disposal method, if necessary</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>The |Contextual.destroy()| method calls the |@PreDestroy method|, if necessary</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The |Contextual.destroy()| method destroys all dependent objects of the instance, as defined in Section 8.3.2, "Dependent object destruction"</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If any exception occurs while destroying an instance, the exception is caught by the |destroy()| method</text>
+ </assertion>
+
+ <assertion id="e" testable="false">
+ <text>If the application invokes a contextual instance after it has been destroyed, the behavior is undefined</text>
+ <note>In otherwords, the behavious is unspecified!</note>
+ </assertion>
+ </section>
+
+ <section id="6.4" title="Lifecycle of simple beans">
+
+ <assertion id="b">
+ <text>When the |create()| method of the |Bean| object that represents a simple bean is called, after the bean constructor is called the container next initializes the values of any attributes annotated |@EJB|</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>When the |create()| method of the |Bean| object that represents a simple bean is called, after the bean constructor is called the container next initializes the values of any attributes annotated |@PersistenceContext|</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>When the |create()| method of the |Bean| object that represents a simple bean is called, after the bean constructor is called the container next initializes the values of any attributes annotated |@Resource|</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>When the |create()| method of the |Bean| object that represents a simple bean is called, after the |@EJB|, |@PersistenceContext| and |@Resource| attributes are initialized the container initializes the values of all injected fields. For each injected field, the container sets the value to the object returned by |Manager.getInstanceToInject()|.</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>When the |destroy()| method of a |Bean| object is called, the container calls the |@PreDestroy| method, if any</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>When the |destroy()| method of a |Bean| object is called, after the container calls the |@PreDestroy| method, it finally destroys dependent objects</text>
+ </assertion>
+ </section>
+
+ <section id="6.5" title="Lifecycle of stateful session beans">
+ <assertion id="a">
+ <text>When the |create()| method of a |Bean| object that represents a stateful session bean that is called, the container creates and returns a session bean proxy, as defined in Section 3.3.9, "Session bean proxies".</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>When the |destroy()| method of a |Bean| object is called, the container removes the stateful session bean. The |@PreDestroy| callback must be invoked by the container</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If the underlying EJB was already removed by direct invocation of a remove method by the application, the container ignores the instance</text>
+ </assertion>
+ </section>
+
+ <section id="6.6" title="Lifecycle of stateless session and singleton beans">
+ <assertion id="a">
+ <text>When the |create()| method of a |Bean| object that represents a stateless session or singleton session bean is called, the container creates and returns a session bean proxy, as defined in Section 3.3.9, "Session bean proxies".</text>
+ </assertion>
+
+ <assertion id="b" testable="false">
+ <text>When the |destroy()| method of a |Bean| object is called, the container simply discards the proxy and all underlying EJB local object references</text>
+ <note>Untestable</note>
+ </assertion>
+ </section>
+
+ <section id="6.7" title="Lifecycle of producer methods">
+ <assertion id="a">
+ <text>Any Java object may be returned by a producer method. It is not required that the returned object be an instance of another bean</text>
+ </assertion>
+
+ <assertion id="b" testable="false">
+ <text>If an object returned by a producer method is not an instance of another bean, the container will not provide injection of other beans</text>
+ <note>In other words the behaviour is unspecified</note>
+ </assertion>
+
+ <assertion id="c" testable="false">
+ <text>If an object returned by a producer method is not an instance of another bean, the container will not provide lifecycle callbacks</text>
+ <note>In other words the behaviour is unspecified</note>
+ </assertion>
+
+ <assertion id="d" testable="false">
+ <text>If an object returned by a producer method is not an instance of another bean, the container will not provide method and lifecycle interception</text>
+ <note>In other words the behaviour is unspecified</note>
+ </assertion>
+
+ <assertion id="e">
+ <text>When the |create()| method of a |Bean| object that represents a producer method is called, the container must invoke the producer method, passing the object returned by |Manager.getInstanceToInject()| to each parameter</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>If a producer method is static, the container must invoke the method</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>If a producer method is not static, the container must obtain the |Bean| object for the most specialized bean that specializes the bean which declares the producer method</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>If a producer method is not static, after obtaining the most specialized |Bean| object the container must obtain an instance of the most specialized bean, by calling |Manager.getInstance()|, passing the |Bean| object representing the bean</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>If a producer method is not static, after obtaining an instance of the most specialized bean the container must invoke the producer method upon this instance</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>The return value of the producer method, after method interception completes, is the new contextual instance to be returned by |Bean.create()|</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>If the producer method returns a null value and the producer method bean has the scope |@Dependent|, the |create()| method returns a null value</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>If the producer method returns a null value, and the scope of the producer method is not |@Dependent|, the |create()| method throws an |IllegalProductException|</text>
+ </assertion>
+
+ <assertion id="m">
+ <text>When the |destroy()| method is called, and if there is a disposal method for this producer method, the container must invoke the disposal method, passing the instance given to |destroy()| to the disposed parameter, and the object returned by |Manager.getInstanceToInject()| to each of the other parameters</text>
+ </assertion>
+
+ <assertion id="n">
+ <text>If a disposal method is static, the container must invoke the method</text>
+ </assertion>
+
+ <assertion id="o">
+ <text>If a disposal method is non-static, the container must obtain the |Bean| object for the most specialized bean that specializes the bean which declares the disposal method</text>
+ </assertion>
+
+ <assertion id="p">
+ <text>If a disposal method is non-static, after obtaining the |Bean| object for the most specialized bean, the container must obtain an instance of the most specialized bean, by calling |Manager.getInstance()|, passing the |Bean| object representing the bean</text>
+ </assertion>
+
+ <assertion id="q">
+ <text>If a disposal method is non-static, after obtaining the instance of the most specialized bean the container must invoke the disposal method upon this instance</text>
+ </assertion>
+
+ <assertion id="r">
+ <text>Finally, the container destroys dependent objects</text>
+ </assertion>
+ </section>
+
+ <section id="6.8" title="Lifecycle of producer fields">
+ <assertion id="a">
+ <text>Any Java object may be the value of a producer field</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>It is not required that the returned object of a producer field be an instance of another bean</text>
+ </assertion>
+
+ <assertion id="c" testable="false">
+ <text>If the object returned by a producer field is not an instance of another bean, the container will not provide injection of other beans</text>
+ <note>In other words the behaviour is unspecified</note>
+ </assertion>
+
+ <assertion id="d" testable="false">
+ <text>If the object returned by a producer field is not an instance of another bean, the container will not provide lifecycle callbacks</text>
+ <note>In other words the behaviour is unspecified</note>
+ </assertion>
+
+ <assertion id="e" testable="false">
+ <text>If the object returned by a producer field is not an instance of another bean, the container will not provide method interception</text>
+ <note>In other words the behaviour is unspecified</note>
+ </assertion>
+
+ <assertion id="f" testable="false">
+ <text>If the object returned by a producer field is not an instance of another bean, the container will not provide lifecycle interception</text>
+ <note>In other words the behaviour is unspecified</note>
+ </assertion>
+
+ <assertion id="g">
+ <text>When the |create()| method of a |Bean| object that represents a producer field is called, the container must access the producer field to obtain the current value of the field</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>If a producer field is static, the container must access the field value</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>If a producer field is non-static, the container must obtain the |Bean| object for the most specialized bean that specializes the bean which declares the producer field</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>If a producer field is non-static, after obtaining the |Bean| object for the most specialized bean the container must obtain an instance of the most specialized bean, by calling |Manager.getInstance()|, passing the |Bean| object representing the bean</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>If a producer field is non-static, after obtaining an instance of the most specialized bean, the container must access the field value of this instance</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>The value of the producer field is the new contextual instance to be returned by |Bean.create()|</text>
+ </assertion>
+
+ <assertion id="m">
+ <text>If the producer field contains a null value and the producer field bean has the scope |@Dependent|, the create() method returns a null value</text>
+ </assertion>
+
+ <assertion id="n">
+ <text>If the producer field contains a null value, and the scope of the producer method is not |@Dependent|, the |create()| method throws an |IllegalProductException|</text>
+ </assertion>
+ </section>
+
+ <section id="6.9" title="Lifecycle of resources">
+ <assertion id="a" testable="false">
+ <text>An instance of a resource is a proxy object, provided by the container, that implements the declared bean type, delegating the actual implementation of the methods directly to the underlying Java EE resource, entity manager, entity manager factory, EJB remote object or web service referenc</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>A resource proxy object is a dependent object of the object it is injected into</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>Resource proxy objects are serializable</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>When the |create()| method of a |Bean| object that represents a JMS resource is called, the container creates and returns a proxy object that implements the bean type of the resource</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>The methods of this proxy object delegate to the underlying implementation, which is obtained using the metadata provided in the resource declaration</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>A Java EE resource is obtained using the JNDI name or mapped name specified by |<Resource>|</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>A persistence context is obtained using the persistence unit name specified by |<PersistenceContext>|</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>A persistence unit is obtained using the persistence unit name specified by |<PersistenceUnit>|</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>A remote EJB is obtained using the JNDI name, mapped name or EJB link specified by |<EJB>|</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>A web service is obtained using the JNDI name or mapped name specified by |<WebServiceRef>|</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>When the |destroy()| method is called, the container discards the proxy object</text>
+ </assertion>
+ </section>
+
+ <section id="6.10" title="Lifecycle of JMS resources">
+ <assertion id="a" testable="false">
+ <text>An instance of a JMS resource is a proxy object, provided by the container, that implements all the bean types defined in Section 3.7, "JMS resources", delegating the actual implementation of these methods directly to the underlying JMS objects</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>A JMS resource proxy object is a dependent object of the object it is injected into</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>JMS resource proxy objects are serializable</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>When the |create()| method of a |Bean| object that represents a JMS resource is called, the container creates and returns a proxy object that implements all the bean types of the JMS resource</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>The methods of this proxy object delegate to JMS objects obtained as needed using the metadata provided by the JMS resource declaration and using standard JMS APIs</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>The Destination is obtained using the JNDI name or mapped name specified by |<Resource>|</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>The appropriate |ConnectionFactory| for the topic or queue is obtained automatically</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>The |Connection| is obtained by calling |QueueConnectionFactory.createQueueConnection()| or |TopicConnectionFactory.createTopicConnection()|</text>
+ </assertion>
+
+ <assertion id="i" testable="false">
+ <text>The container is permitted to share a connection between multiple proxy objects</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>The |Session| object is obtained by calling |QueueConnection.createQueueSession()| or |TopicConnection.createTopicSession()|</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>The |MessageProducer| object is obtained by calling |QueueSession.createSender()| or |TopicSession.createPublisher()|</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>The |MessageConsumer| object is obtained by calling |QueueSession.createReceiver()| or |TopicSession.createSubscriber()|</text>
+ </assertion>
+
+ <assertion id="m">
+ <text>When the |destroy()| method is called, the container must ensure that all JMS objects created by the proxy object are destroyed by calling |close()| if necessary</text>
+ </assertion>
+
+ <assertion id="n">
+ <text>The |Connection| is destroyed by calling |Connection.close()| if necessary</text>
+ </assertion>
+
+ <assertion id="o">
+ <text>If the connection is being shared between multiple proxy objects, the container is not required to close the connection when the proxy is destroyed</text>
+ </assertion>
+
+ <assertion id="p">
+ <text>The |Session| object is destroyed by calling |Session.close()|</text>
+ </assertion>
+
+ <assertion id="q">
+ <text>The |MessageProducer| object is destroyed by calling |MessageProducer.close()|</text>
+ </assertion>
+
+ <assertion id="r">
+ <text>The |MessageConsumer| object is destroyed by calling |MessageConsumer.close()|</text>
+ </assertion>
+
+ <assertion id="s">
+ <text>The |close()| method of a JMS resource proxy object always throws an |UnsupportedOperationException|</text>
+ </assertion>
+
+ </section>
+
+ <section id="6.11" title="Lifecycle of EJBs">
+ <assertion id="a">
+ <text>When the EJB container creates a new instance of an EJB, after Java EE injection has been performed and before the |@PostConstruct| callback occurs the container must initialize the values of all injected fields . For each injected field, the container sets the value to the object returned by |Manager.getInstanceToInject()|</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>When the EJB container creates a new instance of an EJB, after Java EE injection has been performed and before the |@PostConstruct| callback occurs the container calls all initializer methods. For each initializer method parameter, the container passes the object returned by |Manager.getInstanceToInject()|</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>When the EJB container removes an instance of an EJB, the container destroys all dependent objects, after the |@PreDestroy| callback completes</text>
+ </assertion>
+ </section>
+
+ <section id="6.12" title="Lifecycle of servlets">
+ <assertion id="a">
+ <text>When the servlet container creates a new instance of a servlet, the container initializes the values of all injected fields. For each injected field, the container sets the value to the object returned by |Manager.getInstanceToInject()|</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>When the servlet container creates a new instance of a servlet, the container calls all initializer methods. For each initializer method parameter, the container passes the object returned by |Manager.getInstanceToInject()|</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>When the servlet container destroys a servlet, the container destroys all dependent objects</text>
+ </assertion>
+
+ <assertion id="d" testable="false">
+ <text>In a Java EE 5 environment, the container is not required to support injected fields or initializer methods of servlets</text>
+ </assertion>
+ </section>
+
+ <section id="7" title="Events">
+
+ </section>
+
+ <section id="7.1" title="Event types and binding types">
+
+ <assertion id="a">
+ <text>An event object is an instance of a concrete Java class with no [type variables] or wildcards</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>An event object is an instance of a concrete Java class with no type variables or [wildcards]</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The event types of the event include all superclasses and interfaces of the class of the event object</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>An event binding type is a Java annotation defined as |@Target({FIELD, PARAMETER})| ~or |@Target({METHOD, FIELD, PARAMETER, TYPE})| and |@Retention(RUNTIME)|~</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>An event binding type is a Java annotation defined as ~|@Target({FIELD, PARAMETER})| or~ |@Target({METHOD, FIELD, PARAMETER, TYPE})| ~and |@Retention(RUNTIME)|~</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>An event binding type is a Java annotation defined as ~|@Target({FIELD, PARAMETER})| or |@Target({METHOD, FIELD, PARAMETER, TYPE})| and ~|@Retention(RUNTIME)|</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>All event binding types must specify the |@javax.inject.BindingType| meta-annotation</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>An event consumer will be notified of an event if the observed event type it specifies is one of the event types of the event, and if all the observed event bindings it specifies are event bindings of the event</text>
+ </assertion>
+
+ </section>
+
+ <section id="7.2" title="Firing an event via the Manager interface">
+
+ <assertion id="a">
+ <text>The |Manager| interface provides the |fireEvent()| method for firing events</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>If the type of the event object passed to |fireEvent()| contains [type variables] or wildcards, an |IllegalArgumentException| is thrown</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If the type of the event object passed to |fireEvent()| contains type variables or [wildcards], an |IllegalArgumentException| is thrown</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If an instance of an annotation that is not a binding type is passed to |fireEvent()|, an |IllegalArgumentException| is thrown. (Not in PRD2, but should appear in next revision)</text>
+ </assertion>
+
+ </section>
+
+ <section id="7.3" title="Observing events via the Observer interface">
+ <assertion id="a">
+ <text>Observers of events implement the |javax.event.Observer| interface</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>An observer instance may be registered with the container by calling |Manager.addObserver()|</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>In the signature of |Manager.addObserver()|, the first parameter is the observer object, the second parameter is the observed event type, and the remaining parameters are optional observed event bindings</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>The observer is notified when an event object that is assignable to the observed event type is raised with the observed event bindings</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>An observer instance may be deregistered by calling |Manager.removeObserver()|</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>If the observed event type passed to ~|addObserver()|~ or |removeObserver()| contains ~type variables~ or wildcards, an |IllegalArgumentException| is thrown</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>If the observed event type passed to ~|addObserver()|~ or |removeObserver()| contains type variables or ~wildcards~, an |IllegalArgumentException| is thrown</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>If the observed event type passed to |addObserver()| or ~|removeObserver()|~ contains ~type variables~ or wildcards, an |IllegalArgumentException| is thrown</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>If the observed event type passed to |addObserver()| or ~|removeObserver()|~ contains type variables or ~wildcards~, an |IllegalArgumentException| is thrown</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>If two instances of the same binding type are passed to ~|addObserver()|~ or |removeObserver()|, a |DuplicateBindingTypeException| is thrown</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>If two instances of the same binding type are passed to |addObserver()| or ~|removeObserver()|~, a |DuplicateBindingTypeException| is thrown</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>If an instance of an annotation that is not a binding type is passed to ~|addObserver()|~ or |removeObserver()|, an |IllegalArgumentException| is thrown</text>
+ </assertion>
+
+ <assertion id="m">
+ <text>If an instance of an annotation that is not a binding type is passed to |addObserver()| or ~|removeObserver()|~, an |IllegalArgumentException| is thrown</text>
+ </assertion>
+ </section>
+
+ <section id="7.4" title="Observer notification">
+
+ <assertion id="a" testable="false">
+ <text>When an event is fired by the application the container must determine the observers for that event by calling |Manager.resolveObservers()|, passing the event object and all event bindings</text>
+ <note>This is not testable</note>
+ </assertion>
+
+ <assertion id="b">
+ <text>When an event is fired by the application the container must, for each observer, call the |notify()| method of the Observer interface, passing the event object</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If an observer throws an exception, the exception aborts processing of the event. No other observers of that event will be called. The |fireEvent()| method rethrows the exception</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>Any observer called before completion of a transaction may call |setRollbackOnly()| to force a transaction rollback</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>An observer may not directly ~initiate~, commit or rollback JTA transactions</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>An observer may not directly initiate, ~commit~ or rollback JTA transactions</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>An observer may not directly initiate, commit or ~rollback~ JTA transactions</text>
+ </assertion>
+
+ </section>
+
+ <section id="7.5" title="Observer methods">
+ <assertion id="a">
+ <text>An observer method is an observer defined via annotations, instead of by explicitly implementing the Observer interface. Unlike regular observers, observer methods are automatically discovered and registered by the container</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>An observer method must be a method of a simple bean class or session bean class</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>An observer method may be either static or non-static</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If the bean is a session bean, the observer method must be a business method of the EJB or a static method of the bean class</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>There may be arbitrarily many observer methods with the same event parameter type and bindings</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>A bean may declare multiple observer methods</text>
+ </assertion>
+ </section>
+
+ <section id="7.5.1" title="Event parameter of an observer method">
+ <assertion id="a">
+ <text>Each observer method must have exactly one event parameter, of the same type as the event type it observes. When searching for observer methods for an event, the container considers the type and bindings of the event parameter</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>If the event parameter does not explicitly declare any binding, the observer method observes events with no binding</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If the type of the event parameter contains type variables or wildcards, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+ </section>
+
+ <section id="7.5.2" title="Declaring an observer method using annotations">
+ <assertion id="a">
+ <text>A observer method may be declared using annotations by annotating a parameter |@javax.event.Observes|. That parameter is the event parameter.</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>If a method has more than one parameter annotated |@Observes|, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If an observer method is annotated |@Produces| a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If an observer method is annotated |@Initializer| a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If an observer method has a parameter annotated |@Disposes|, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>If a non-static method of a session bean class has a parameter annotated |@Observes|, and the method is not a business method of the EJB, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>The event parameter may declare bindings</text>
+ </assertion>
+ </section>
+
+ <section id="7.5.3" title="Declaring an observer method using XML">
+
+ </section>
+
+ <section id="7.5.4" title="Observer method parameters">
+ <assertion id="a">
+ <text>In addition to the event parameter, observer methods may declare additional parameters, which may declare bindings. The container calls the method |Manager.getInstanceToInject()| defined in Section 5.7.1, "Resolving dependencies" to determine a value for each parameter of an observer method and calls the observer method with those parameter values</text>
+ </assertion>
+ </section>
+
+ <section id="7.5.5" title="Conditional observer methods">
+ <assertion id="a">
+ <text>Conditional observer methods are observer methods which are notified of an event only if an instance of the bean that defines the observer method already exists in the current context</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>A conditional observer methods may be declared by annotating the event parameter with the |@javax.event.IfExists| annotation</text>
+ </assertion>
+
+ </section>
+
+ <section id="7.5.6" title="Transactional observer methods">
+ <assertion id="a">
+ <text>Transactional observer methods are observer methods which receive event notifications during the before or after completion phase of the transaction in which the event was fired. If no transaction is in progress when the event is fired, they are notified at the same time as other observers</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>A before completion observer method is called during the before completion phase of the transaction</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>An after completion observer method is called during the after completion phase of the transaction</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>An after success observer method is called during the after completion phase of the transaction, only when the transaction completes successfully</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>An after failure observer method is called during the after completion phase of the transaction, only when the transaction fails</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>A transactional observer method may be declared by annotating the event parameter of the observer method or ~in XML by a child element of the |<Observes>| element~</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>The |@javax.event.BeforeTransactionCompletion| annotation or |<BeforeTransactionCompletion>| element specifies that the observer method is a before completion observer method</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>The |@javax.event.AfterTransactionCompletion| annotation or |<AfterTransactionCompletion>| element specifies that the observer method is an after completion observer method</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>The |@javax.event.AfterTransactionSuccess| annotation or |<AfterTransactionSuccess>| element specifies that the observer method is an after success observer method</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>The |@javax.event.AfterTransactionFailure| annotation or |<AfterTransactionFailure>| element specifies that the observer method is an after failure observer method</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>A transactional observer method may not specify more than one of the four types. If a transactional observer method specifies more than one of the four types, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+ </section>
+
+ <section id="7.5.7" title="Asynchronous observer methods">
+
+ <assertion id="b">
+ <text>An asynchronous observer method may be declared by annotating the event parameter of the observer method |@javax.event.Asynchronously| or ~in XML by a child |<Asynchronously>| element of the |<Observes>| element~</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>An asynchronous observer method may also be a transactional observer method</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If an asynchronous observer method is also a transactional observer method, it ~may not be a before completion observer method~ or a conditional observer method. If an asynchronous observer method is specified as a before completion or conditional observer method, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If an asynchronous observer method is also a transactional observer method, it may not be a before completion observer method or a ~conditional observer method~. If an asynchronous observer method is specified as a before completion or conditional observer method, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+ </section>
+
+ <section id="7.5.8" title="Observer object for an observer method">
+ <assertion id="a">
+ <text>For every observer method of an enabled bean, the container is responsible for providing and registering an appropriate implementation of the Observer interface, that delegates event notifications to the observer method</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>The |notify()| method of the |Observer| implementation for an observer method either invokes the observer method ~immediately~, or asynchronously, or registers the observer method for later invocation during the transaction completion phase, using a JTA Synchronization</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The |notify()| method of the |Observer| implementation for an observer method either invokes the observer method immediately, ~or asynchronously~, or registers the observer method for later invocation during the transaction completion phase, using a JTA Synchronization</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>The |notify()| method of the |Observer| implementation for an observer method either invokes the observer method immediately, or asynchronously, ~or registers the observer method for later invocation during the transaction completion phase, using a JTA Synchronization~</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If the observer method is an asynchronous transactional observer method and there is currently a JTA transaction in progress, the observer object calls the observer method asynchronously during the after transaction completion phase</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>If the observer method is a transactional observer method and there is currently a JTA transaction in progress, the observer object calls the observer method during the appropriate transaction completion phase</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>If the observer method is an asynchronous observer method, the container calls the observer method asynchronously</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>If none of the conditions of assertions e, f, or g are true, the container calls the observer immediately</text>
+ </assertion>
+
+ <assertion id="i" testable="false">
+ <text>The container is not required to guarantee delivery of asynchronous events in the case of a server shutdown or failure</text>
+ <note>This is just a note about the lack of an assertion, and therefore is not testable.</note>
+ </assertion>
+
+ <assertion id="j">
+ <text>To invoke an observer method, the container must pass the event object to the event parameter and the object returned by |Manager.getInstanceToInject()| to each of the other parameters</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>If the observer method is static, the container must invoke the method</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>If the observer method is non-static, the container must obtain the |Bean| object for the most specialized bean that specializes the bean which declares the observer method</text>
+ </assertion>
+
+ <assertion id="m">
+ <text>Placeholder for path 2</text>
+ </assertion>
+
+ <assertion id="n">
+ <text>Placeholder for path 3</text>
+ </assertion>
+
+ <assertion id="o">
+ <text>Placeholder for path 4 etc</text>
+ </assertion>
+
+ <assertion id="p" testable="false">
+ <text>If the observer is a transactional or asynchronous observer method, any exception is caught and logged by the container</text>
+ <note>Cannot be tested as they are not under our control</note>
+ </assertion>
+
+ <assertion id="q">
+ <text>If the observer isn't a transactional or asynchronous observer method, the exception is rethrown by the |notify()| method of the observer object</text>
+ </assertion>
+
+ <assertion id="r">
+ <text>If the exception is a checked exception, it is wrapped and rethrown as an (unchecked) |ObserverException|</text>
+ </assertion>
+
+ <assertion id="s">
+ <text>The observer object is registered by calling |Manager.addObserver()|, passing the event parameter type as the observed event type, and the bindings of the event parameter as the observed event bindings</text>
+ </assertion>
+ </section>
+
+ <section id="7.5.9" title="Observer invocation context">
+ <assertion id="a">
+ <text>If the observer method is an asynchronous observer method, it is called with no active transaction, no client security context and with a new request context that is destroyed when the observer method returns. The application context is also active</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>If the observer method is a |@BeforeTransactionCompletion| transactional observer method, it is called within the context of the transaction that is about to complete and with the same client security context and lifecycle contexts</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If the observer method is any other kind of transactional observer method, it is called in an unspecified transaction context, but with the same client security context and lifecycle contexts as the transaction that just completed</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If an observer method is not an asynchronous observer method, and not a |@BeforeTransactionCompletion| transactional method, and not any other kind of transactional observer method, then the observer method is called in the same transaction context, client security context and lifecycle contexts as the invocation of |Event.fire()|</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>The transaction and security contexts for a business method of a session bean also depend upon the transaction attribute and |@RunAs| descriptor, if any</text>
+ </assertion>
+ </section>
+
+ <section id="7.6" title="The Event interface">
+ <assertion id="a">
+ <text>An instance of the |javax.event.Event| interface may be injected via use of the |@javax.event.Fires| binding</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>Additional bindings may be specified at the injection point for |javax.event.Event|</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The |Event| interface provides a method for firing events of a specific type</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>The |Event| interface provides a method for registering observers for events of the same type</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>The first parameter of the |fire()| method is the event object. The remaining parameters are event bindings</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>The first parameter of the |observe()| method is the observer object. The remaining parameters are the observed event bindings</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>If two instances of the same binding type are passed to |fire()| or |observes()|, a |DuplicateBindingTypeException| is thrown</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>If an instance of an annotation that is not a binding type is passed to |fire()| or |observes()|, an |IllegalArgumentException| is thrown</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>The |@Fires| annotation or |<Fires>| element may be applied to any injection point of type |Event|, where an actual type parameter is specified</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>If the type of the injection point is not of type |Event| a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>If the type of the injection point has no actual type parameter specified a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>If the type of the injection point parameter contains a type variable a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="m">
+ <text>If the type of the injection point parameter contains a wildcard a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="n">
+ <text>Whenever the |@Fires| annotation appears at an injection point, an implicit bean exists with exactly the bean type and bindings that appear at the injection point</text>
+ </assertion>
+
+ <assertion id="o">
+ <text>Whenever the |@Fires| annotation appears at an injection point, an implicit bean exists with deployment type |@Standard|,</text>
+ </assertion>
+
+ <assertion id="p">
+ <text>Whenever the |@Fires| annotation appears at an injection point, an implicit bean exists with |@Dependent| scope</text>
+ </assertion>
+
+ <assertion id="q">
+ <text>Whenever the |@Fires| annotation appears at an injection point, an implicit bean exists with no bean name</text>
+ </assertion>
+
+ <assertion id="r">
+ <text>Whenever the |@Fires| annotation appears at an injection point, an implicit bean exists with an implementation provided automatically by the container</text>
+ </assertion>
+
+ <assertion id="s">
+ <text>The |fire()| method of the provided implementation of |Event| must call |Manager.fireEvent()|, passing the event object passed to |Event.fire()|, all bindings declared at the injection point (except |@Fires|), and all bindings passed to |Event.fire()|</text>
+ </assertion>
+
+ <assertion id="t">
+ <text>The application may fire events by calling the |fire()| method</text>
+ </assertion>
+
+ <assertion id="u">
+ <text>The |observe()| method of the provided implementation of |Event| must call |Manager.addObserver()|, passing the observer object passed to |Event.observe()|, all bindings declared at the injection point (except |@Fires|), and all bindings passed to |Event.observer()|</text>
+ </assertion>
+
+ <assertion id="v">
+ <text>The application may register observers by calling the |observe()| method</text>
+ </assertion>
+ </section>
+
+ <section id="7.7" title="Observer resolution">
+ <assertion id="a">
+ <text>The method |Manager.resolveObservers()| resolves observers for an event - the first parameter of |resolveObservers()| is the event object. The remaining parameters are event bindings</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>If the type of the event object passed to |resolveObservers()| contains type variables, an |IllegalArgumentException| is thrown</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If the type of the event object passed to |resolveObservers()| contains wildcards, an |IllegalArgumentException| is thrown</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If two instances of the same binding type are passed to |resolveObservers()|, a |DuplicateBindingTypeException| is thrown</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If an instance of an annotation that is not a binding type is passed to |resolveObservers()|, an |IllegalArgumentException| is thrown</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>When searching for observers for an event, the event object must be assignable to the observed event type, taking type parameters into consideration</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>When searching for observers for an event, for each observed event binding, (a) an instance of the binding type must have been passed to |fireEvent()| and (b) any member values of the binding type must match the member values of the instance passed to |fireEvent()|</text>
+ </assertion>
+ </section>
+
+ <section id="7.7.1" title="Event binding types with members">
+ <assertion id="a">
+ <text>The binding type for an |Event| binding may have annotation members</text>
+ </assertion>
+
+ <assertion id="b" testable="false">
+ <text>The container uses |equals()| to compare event binding type member values</text>
+ <note>Since only primitive types are allowed, the call to equals() cannot be checked</note>
+ </assertion>
+ </section>
+
+ <section id="7.7.2" title="Multiple event bindings">
+ <assertion id="a">
+ <text>An event parameter may have multiple bindings</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>An observer method will only be notified if all the observed event bindings are specified when the event is fired</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>Other, less specific, observers will also be notified of events with multiple event bindings</text>
+ </assertion>
+ </section>
+
+ <section id="7.8" title="JMS event mappings">
+ <assertion id="a">
+ <text>An event type may be mapped to a JMS resource that represents a topic</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>Multiple event types may be mapped to the same topic</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>All observers of mapped event types must be asynchronous observer methods. If an observer for a mapped event type is not an asynchronous observer method, a |DeploymentException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>When an event type is mapped to a topic, the container must send a message containing the serialized event and its event bindings to the topic whenever an event with that type is fired</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>When an event type is mapped to a topic, the container must listen for messages containing events of that type sent to the topic, and notify all observers of the event type whenever a message containing an event of that type is received</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>Events of a mapped event type are distributed to other processes which have the same event type mapped to the same topic</text>
+ </assertion>
+ </section>
+
+ <section id="8" title="Scopes and contexts">
+
+ </section>
+
+ <section id="8.1" title="The Context interface">
+
+ <assertion id="a">
+ <text>The |get()| method of the |Context| object may return an existing instance of the given contextual type</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>The |get()| method of the |Context| object may return a null value if no |CreationalContext| is given</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The |get()| method of the |Context| object may create a new instance of the given contextual type by calling |Contextual.create()| and return the new instance, if a |CreationalContext| is given</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>The |get()| method of a |Context| object may not return a null value unless no |CreationalContext| is given, or |Contextual.create()| returns a null value</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>The |get()| method of a |Context| object may not create a new instance of the given contextual type unless a |CreationalContext| is given</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>The |Context| implementation is responsible for destroying any contextual instance it creates by passing the instance to the |destroy()| method of the |Contextual| object representing the contextual type</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>A destroyed instance must not subsequently be returned by a |Context| object's |get()| method</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>When a scope is inactive, any invocation of the |get()| from the current thread upon the |Context| object for that scope results in a |ContextNotActiveException|</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>The |isActive()| method returns false when the scope of the context object is inactive, and true when it is active</text>
+ </assertion>
+
+ </section>
+
+ <section id="8.2" title="Normal scopes and pseudo-scopes">
+ <assertion id="a" testable="false">
+ <text>There may be no more than one mapped instance of a context object per contextual type per thread</text>
+ <note>Not testable through API</note>
+ </assertion>
+
+ <assertion id="b" testable="false">
+ <text>A context may be associated with one or more threads</text>
+ <note>A statement of intent</note>
+ </assertion>
+
+ <assertion id="c">
+ <text>The |get()| operation of the |Context| object for an active normal scope returns the current instance of the given contextual type</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>When a context is destroyed, all mapped instances of contextual types with that scope are destroyed by passing them to the |Contextual.destroy()| method</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>Contexts with normal scopes must obey the following rule: Suppose beans A, B and Z all have normal scopes. Suppose A has an injection point x, and B has an injection point y. Suppose further that both x and y resolve to bean Z according to the typesafe resolution algorithm. If a is the current instance of A, and b is the current instance of B, then both a.x and b.y refer to the same instance of Z. This instance is the current instance of Z.</text>
+ </assertion>
+
+ <assertion id="f" testable="false">
+ <text>All pseudo-scopes must be explicitly declared |@ScopeType(normal=false)|, to indicate to the container that no client proxy is required</text>
+ <note>A statement of intent</note>
+ </assertion>
+
+ <assertion id="g" testable="false">
+ <text>All scopes defined by this specification, except for the |@Dependent| pseudo-scope, are normal scopes</text>
+ <note>A statement of intent</note>
+ </assertion>
+ </section>
+
+ <section id="8.3" title="Dependent pseudo-scope">
+
+ <assertion id="a">
+ <text>When a bean is declared to have |@Dependent| scope, no injected instance of the bean is ever shared between multiple injection points</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>When a bean is declared to have |@Dependent| scope, any injected instance of the bean is bound to the lifecycle of the bean, servlet or EJB into which it is injected</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>When a bean is declared to have |@Dependent| scope, any instance of the bean that is used to evaluate a Unified EL expression exists to service that evaluation only</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>When a bean is declared to have |@Dependent| scope, any instance of the bean that receives a producer method, producer field, disposal method or observer method invocation exists to service that invocation only</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>Every invocation of the |get()| operation of the |Context| object for the |@Dependent| scope with a |CreationalContext| returns a new instance of the given bean</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>Every invocation of the |get()| operation of the |Context| object for the |@Dependent| scope with no |CreationalContext| returns a null value</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>The |@Dependent| scope is inactive except when an instance of a bean with scope |@Dependent| is created by the container to receive a producer method, producer field, disposal method or observer method invocation</text>
+ <note>Assertions g through k are all related and should be treated as "or" conditions</note>
+ </assertion>
+
+ <assertion id="h">
+ <text>The |@Dependent| scope is inactive except while a Unified EL expression is evaluated</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>The |@Dependent| scope is inactive except while an observer method is invoked</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>The |@Dependent| scope is inactive except when the container is creating or destroying a contextual instance of a bean or injecting its dependencies</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>The |@Dependent| scope is inactive except when the container is injecting dependencies of an EJB</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>The |@Dependent| scope is inactive except when a |@PostConstruct| or |@PreDestroy| callback is invoked by the EJB container</text>
+ </assertion>
+
+ <assertion id="m">
+ <text>The |@Dependent| scope is inactive except when the container is injecting dependencies of a servlet</text>
+ </assertion>
+
+ </section>
+
+ <section id="8.3.1" title="Dependent objects">
+ <assertion id="a" testable="false">
+ <text>A bean, EJB or servlet may obtain an instance of a bean with scope |@Dependent| via dependency injection or by calling |Manager.getInstance()|, |Manager.getInstanceByType()| or |Instance.get()| when the |@Dependent| scope is active</text>
+ <note>A statement of intent</note>
+ </assertion>
+
+ </section>
+
+ <section id="8.3.2" title="Dependent object destruction">
+
+ <assertion id="a">
+ <text>The container must destroy all dependent objects of a contextual bean instance when the instance is destroyed</text>
+ </assertion>
+
+ <assertion id="ba">
+ <text>The container must destroy all dependent objects of an EJB ~or servlet~ when the EJB ~or servlet~ is destroyed</text>
+ </assertion>
+
+ <assertion id="bb">
+ <text>The container must destroy all dependent objects of a~n EJB or~ servlet when the ~EJB or~ servlet is destroyed</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The container must destroy all |@Dependent| scoped contextual instances created during an EL expression evaluation when the evaluation completes</text>
+ </assertion>
+
+ <assertion id="da">
+ <text>The container must destroy any |@Dependent| scoped contextual instance created to receive a producer method~, producer field, disposal method or observer method~ invocation when the invocation completes</text>
+ </assertion>
+
+ <assertion id="db">
+ <text>The container must destroy any |@Dependent| scoped contextual instance created to receive a ~producer method,~ producer field~, disposal method or observer method~ invocation when the invocation completes</text>
+ </assertion>
+
+ <assertion id="dc">
+ <text>The container must destroy any |@Dependent| scoped contextual instance created to receive a ~producer method, producer field,~ disposal method ~or observer method~ invocation when the invocation completes</text>
+ </assertion>
+
+ <assertion id="dd">
+ <text>The container must destroy any |@Dependent| scoped contextual instance created to receive a ~producer method, producer field, disposal method or~ observer method invocation when the invocation completes</text>
+ </assertion>
+
+ <assertion id="e" testable="false">
+ <text>The container is permitted to destroy any |@Dependent| scoped contextual instance at any time if the instance is no Scopes and contexts longer referenced by the application (excluding weak, soft and phantom references)</text>
+ <note>In other words this is unspecified</note>
+ </assertion>
+ </section>
+
+ <section id="8.4" title="Passivating scopes and serialization">
+ <assertion id="a">
+ <text>The container must validate that every bean declared with a passivating scope truly is serializable - EJB local objects are serializable. Therefore, a session bean may declare any passivating scope</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>Simple beans are not required to be serializable. If a simple bean declares a passivating scope, and the bean class is not serializable, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="cc">
+ <text>If a ~producer method or ~field declares a passivating scope and returns a non-serializable object at runtime, an |IllegalProductException| is thrown by the container</text>
+ </assertion>
+
+ <assertion id="cd">
+ <text>If a producer method~ or field~ declares a passivating scope and returns a non-serializable object at runtime, an |IllegalProductException| is thrown by the container</text>
+ </assertion>
+
+ <assertion id="ca">
+ <text>Check a producer method which declares a passivating scope and returns a serializable product works</text>
+ <note>Sanity test</note>
+ </assertion>
+
+ <assertion id="cb">
+ <text>Check a producer method which declares a passivating scope and returns a primitive product works</text>
+ <note>Sanity test</note>
+ </assertion>
+
+ <assertion id="d" testable="false">
+ <text>The built-in session and conversation scopes are passivating</text>
+ <note>This is an API signature test</note>
+ </assertion>
+
+ <assertion id="e" testable="false">
+ <text>No other built-in scope besides session and conversation scopes are passivating</text>
+ <note>This is an API signature test</note>
+ </assertion>
+
+ <assertion id="f">
+ <text>A contextual instance of a bean may be serialized when the bean declares a passivating scope, and context passivation occurs</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>A contextual instance of a bean may be serialized when the bean is an EJB stateful session bean, and it is passivated by the EJB container</text>
+ </assertion>
+
+ <assertion id="h" testable="false">
+ <text>In either case of assertion f or g above, any non-transient field that holds a reference to another bean must be serialized along with the bean that is being serialized. Therefore, the reference must be to a serializable type</text>
+ <note>An explanation</note>
+ </assertion>
+
+ <assertion id="i">
+ <text>Any reference to a bean which declares a normal scope is serializable</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>EJB local objects are serializable, therefore, any reference to a session bean of scope |@Dependent| is serializable</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>If a simple bean of scope |@Dependent| and a nonserializable bean class is injected into a stateful session bean an |UnserializableDependencyException| must be thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>If a simple bean of scope |@Dependent| and a nonserializable bean class is injected into a non-transient field an |UnserializableDependencyException| must be thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="m">
+ <text>If a simple bean of scope |@Dependent| and a nonserializable bean class is injected into a bean constructor parameter of a bean which declares a passivating scope, an |UnserializableDependencyException| must be thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="n">
+ <text>If a simple bean of scope |@Dependent| and a nonserializable bean class is injected into an initializer method parameter of a bean which declares a passivating scope, an |UnserializableDependencyException| must be thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="o">
+ <text>If a simple bean of scope |@Dependent| and a nonserializable bean class is injected into a parameter of a producer method which declares a passivating scope, an |UnserializableDependencyException| must be thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="p">
+ <text>If a producer method or field of scope |@Dependent| returns a non-serializable object for injection into a stateful session bean, an |IllegalProductException| is thrown by the container</text>
+ </assertion>
+
+ <assertion id="q">
+ <text>If a producer method or field of scope |@Dependent| returns a non-serializable object for injection into a non-transient field an |IllegalProductException| is thrown by the container</text>
+ </assertion>
+
+ <assertion id="r">
+ <text>If a producer method or field of scope |@Dependent| returns a non-serializable object for injection into a bean constructor parameter of a bean which declares a passivating scope, an |IllegalProductException| is thrown by the container</text>
+ </assertion>
+
+ <assertion id="s">
+ <text>If a producer method or field of scope |@Dependent| returns a non-serializable object for injection into an initializer method parameter of a bean which declares a passivating scope, an |IllegalProductException| is thrown by the container</text>
+ </assertion>
+
+ <assertion id="t">
+ <text>If a producer method or field of scope |@Dependent| returns a non-serializable object for injection into a parameter of a producer method which declares a passivating scope, an |IllegalProductException| is thrown by the container</text>
+ </assertion>
+
+ <assertion id="u">
+ <text>The container must guarantee that JMS resource proxy objects are serializable</text>
+ </assertion>
+
+ <assertion id="v">
+ <text>The method |Bean.isSerializable()| may be used to detect if a bean is serializable</text>
+ </assertion>
+ </section>
+
+ <section id="8.5" title="Context management for built-in scopes">
+
+ <assertion id="a">
+ <text>The container provides an implementation of the |Context| interface for each of the built-in scopes</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>For each of the built-in normal scopes, contexts propagate across any Java method call, including invocation of EJB local business methods</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The built-in contexts do not propagate across remote method invocations or to asynchronous processes such as JMS message listeners or EJB timer service timeouts</text>
+ </assertion>
+
+ </section>
+
+ <section id="8.5.1" title="Request context lifecycle">
+
+ <assertion id="a">
+ <text>The request scope is active during the |service()| method of any servlet in the web application</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>The request scope is active during the |doFilter()| method of any servlet filter</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The request context is destroyed at the end of the servlet request, after the |service()| method and all |doFilter()| methods return</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>The request scope is active during any Java EE web service invocation</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>The request context is destroyed after a web service invocation completes</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>The request scope is active during any asynchronous observer method notification</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>The request context is destroyed after a asynchronous observer method notification completes</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>The request scope is active during any remote method invocation of any EJB</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>The request scope is active during any call to an EJB timeout method</text>
+ <note>Only applicable in EJB 3.1 environments</note>
+ </assertion>
+
+ <assertion id="j">
+ <text>The request scope is active during message delivery to any EJB message-driven bean</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>The request context is destroyed after the remote EJB method invocation completes</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>The request context is destroyed after the invocation of an EJB timeout method</text>
+ <note>Only applicable in EJB 3.1 environments</note>
+ </assertion>
+
+ <assertion id="m">
+ <text>The request context is destroyed after message delivery to an EJB message-drive bean completes</text>
+ </assertion>
+ </section>
+
+ <section id="8.5.2" title="Session context lifecycle">
+
+ <assertion id="a">
+ <text>The session scope is active during the |service()| method of any servlet in the web application</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>The session scope is active during the |doFilter()| method of any servlet filter</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The session context is shared between all servlet requests that occur in the same HTTP servlet session</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>The session context is destroyed when the HTTPSession is invalidated</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>The session context is destroyed when the HTTPSession times out</text>
+ </assertion>
+ </section>
+
+ <section id="8.5.3" title="Application context lifecycle">
+
+ <assertion id="a">
+ <text>The application scope is active during the |service()| method of any servlet in the web application</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>The application scope is active during the |doFilter()| method of any servlet filter</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The application scope is active during any Java EE web service invocation</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>The application scope is active during any asynchronous observer method notification</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>The application scope is active during any remote method invocation of any EJB</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>The application scope is active during any call to an EJB timeout method</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>The application scope is active during message delivery to any EJB message-driven bean</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>The application context is shared between all servlet requests that execute within the same application</text>
+ </assertion>
+
+ <assertion id="i">
+ <text>The application context is shared between all asynchronous observer method notifications that execute within the same application</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>The application context is shared between all web service invocations that execute within the same application</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>The application context is shared between all EJB remote method invocations that execute within the same application</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>The application context is shared between all EJB timeouts that execute within the same application</text>
+ </assertion>
+
+ <assertion id="m">
+ <text>The application context is shared between all message deliveries to message driven beans that execute within the same application</text>
+ </assertion>
+
+ <assertion id="n">
+ <text>The application context is destroyed when the application is undeployed</text>
+ </assertion>
+ </section>
+
+ <section id="8.5.4" title="Conversation context lifecycle">
+
+ <assertion id="a">
+ <text>For a JSF faces request, the conversation context is active from the beginning of the apply request values phase, until the response is complete</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>For a JSF non-faces request, the context is active during the render response phase</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>Any JSF request has exactly one associated conversation</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>The conversation associated with a JSF request is determined at the end of the restore view phase and does not change during the request</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>By default, a conversation is transient</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>A transient conversation may be marked long-running by calling |Conversation.begin()|</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>A long-running conversation may be marked transient by calling |Conversation.end()|</text>
+ </assertion>
+
+ <assertion id="ha">
+ <text>All long-running conversations have a string-valued unique identifier, _which may be set by the application_ when the conversation is marked long-running~, or generated by the container~</text>
+ </assertion>
+
+ <assertion id="hb">
+ <text>All long-running conversations have a string-valued unique identifier, ~which may be set by the application when the conversation is marked long-running,~ or generated by the container</text>
+ </assertion>
+
+ <assertion id="ia">
+ <text>The container provides a built-in bean with bean type |javax.context.Conversation|~, scope |@RequestScoped|, deployment type |@Standard| and binding |@Current|, named |javax.context.conversation|~</text>
+ </assertion>
+
+ <assertion id="ib">
+ <text>The container provides a built-in bean with ~bean type |javax.context.Conversation|~, scope |@RequestScoped|~, deployment type |@Standard| and binding |@Current|, named |javax.context.conversation|~</text>
+ </assertion>
+
+ <assertion id="ic">
+ <text>The container provides a built-in bean with~ bean type |javax.context.Conversation|, scope |@RequestScoped|,~ deployment type |@Standard|~ and binding |@Current|, named |javax.context.conversation|~</text>
+ </assertion>
+
+ <assertion id="id">
+ <text>The container provides a built-in bean with bean type ~|javax.context.Conversation|, scope |@RequestScoped|, deployment type |@Standard| and~ binding |@Current|~, named |javax.context.conversation|~</text>
+ </assertion>
+
+ <assertion id="ie">
+ <text>The container provides a built-in bean with bean type ~|javax.context.Conversation|, scope |@RequestScoped|, deployment type |@Standard| and binding |@Current|,~ named |javax.context.conversation|</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>If the conversation associated with the current JSF request is in the transient state at the end of a JSF request, it is destroyed, and the conversation context is also destroyed</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>If the conversation associated with the current JSF request is in the long-running state at the end of a JSF request, it is not destroyed</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>The long-running conversation context associated with a request that renders a JSF view is automatically propagated to any faces request (JSF form submission) that originates from that rendered page</text>
+ </assertion>
+
+ <assertion id="m">
+ <text>The long-running conversation context associated with a request that results in a JSF redirect (via a navigation rule) is automatically propagated to the resulting non-faces request, and to any other subsequent request to the same URL. This is accomplished via use of a GET request parameter named cid containing the unique identifier of the conversation</text>
+ </assertion>
+
+ <assertion id="n">
+ <text>The long-running conversation associated with a request may be propagated to any non-faces request via use of a GET request parameter named cid containing the unique identifier of the conversation. In this case, the application must manage this request parameter</text>
+ </assertion>
+
+ <assertion id="o">
+ <text>When no conversation is propagated to a JSF request, the request is associated with a new transient conversation</text>
+ </assertion>
+
+ <assertion id="p">
+ <text>All long-running conversations are scoped to a particular HTTP servlet session and may not cross session boundaries</text>
+ </assertion>
+
+ <assertion id="q">
+ <text>When the HTTP servlet session is invalidated, all long-running conversation contexts created during the current session are destroyed</text>
+ </assertion>
+
+ <assertion id="r" testable="false">
+ <text>The container is permitted to arbitrarily destroy any long-running conversation that is associated with no current JSF request, in order to conserve resources</text>
+ <note>In other words, this is unspecified</note>
+ </assertion>
+
+ <assertion id="s">
+ <text>If the propagated conversation cannot be restored, the request is associated with a new transient conversation</text>
+ </assertion>
+
+ <assertion id="t" testable="false">
+ <text>The method |Conversation.setTimeout()| is a hint to the container that a conversation should not be destroyed if it has been active within the last given interval in milliseconds</text>
+ <note>Not required</note>
+ </assertion>
+
+ <assertion id="u" testable="false">
+ <text>The container ensures that a long-running conversation may be associated with at most one request at a time, by blocking or rejecting concurrent requests</text>
+ <note>Cannot test as their as what happens is not well defined</note>
+ </assertion>
+ </section>
+
+ <section id="8.6" title="Context management for custom scopes">
+
+ <assertion id="a">
+ <text>A custom implementation of |Context| may be associated with any scope type at any point in the execution of the application, by calling |Manager.addContext()|</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>Every time |Manager.getInstance()| is called, for example, during instance or EL name resolution, the container must call |Manager.getContext()| to retrieve an active context object associated with the bean scope</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If no active context object exists for the given scope type, |Manager.getContext()| must throw a |ContextNotActiveException|</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If more than one active context object exists for the given scope type, |Manager.getContext()| must throw an |IllegalStateException|</text>
+ </assertion>
+ </section>
+
+ <section id="9" title="XML based metadata">
+
+ <assertion id="b">
+ <text>Multiple namespaces are accommodated, each representing a Java package</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>XML elements belonging to these namespaces represent Java types, fields and methods</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>Each namespace may declare an XML schema</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If a |beans.xml| file contains any XML element without a declared namespace, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ </section>
+
+ <section id="9.1" title="XML namespace for a Java package">
+ <assertion id="a">
+ <text>Every Java package has a corresponding XML namespace. The namespace URN consists of the package name, with the prefix |urn:java:|</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>Each namespace may, optionally, have a schema</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>An XML element belonging to such a namespace represents a Java type in the corresponding Java package, or a method or field of a type in that package</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If there is a Java type in the package with the same name as the XML element, the XML element can be interpreted to represent that Java type</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>Type parameters may be specified by child elements of the element that represents the type</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>Members of a type may be specified by child elements of the element that represents the type, in the same namespace as the element that represents the type</text>
+ </assertion>
+
+ </section>
+
+ <section id="9.2" title="XML namespace aggregating multiple packages">
+ <assertion id="a">
+ <text>Alternatively, a namespace may represent several Java packages. Such a namespace must have a URN consisting of the prefix |urn:java:| followed by a period-separated list of valid Java identifiers</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>The list of packages for such a namespace must be defined in a classpath resource named namespace in the path named by the identifier list</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The format of the file is a list of packages, separated by whitespace</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>An XML element belonging to such a namespace represents a Java type in one of the listed packages, or a method or field of a type in one of the listed packages</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If there are multiple packages containing a Java type with the same name as the XML element, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>If there is exactly one Java type in the listed packages with the same name as the XML element, the XML element can be interpreted to represent that Java type</text>
+ </assertion>
+ </section>
+
+ <section id="9.2.1" title="The Java EE namespace">
+ <assertion id="a">
+ <text>The Java EE namespace |urn:java:ee| represents the following packages: |java.lang|, |java.util|, |javax.annotation|, |javax.inject|, |javax.context|, |javax.interceptor|, |javax.decorator|, |javax.event|, |javax.ejb|, |javax.persistence|, |javax.xml.ws|, |javax.jms|, and |javax.sql|</text>
+ </assertion>
+
+ <assertion id="b" testable="false">
+ <text>Several elements in the |urn:java:ee| namespace do not represent Java types</text>
+ <note>Intent</note>
+ </assertion>
+
+ <assertion id="c" testable="false">
+ <text>The root |<Beans>| element, together with the |<Deploy>|, |<Interceptors>| and |<Decorators>| elements belong to the namespace |urn:java:ee| and do not represent Java types nor members of Java types</text>
+ <note>Intent</note>
+ </assertion>
+
+ <assertion id="d">
+ <text>Java array types may be represented by an |<Array>| element in the namespace |urn:java:ee|, with a child element representing the element type</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>Primitive types may be represented by the XML element that represents the corresponding wrapper type in |java.lang|, since primitive and wrapper types are considered identical for the purposes of typesafe resolution, and assignable for the purposes of injection</text>
+ </assertion>
+ </section>
+
+ <section id="9.3" title="Standard schema location for a namespace">
+ <assertion id="a">
+ <text>The container must validate all namespaces for which schemas are available in the classpath</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>The container searches for a schema for each namespace in the classpath directory corresponding to the namespace</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The schema must be named schema.xsd</text>
+ </assertion>
+ </section>
+
+ <section id="9.4" title="Stereotype, binding type and interceptor binding type declarations">
+ <assertion id="a">
+ <text>An XML element that appears as a direct child of the root |<Beans>| element is interpreted as a binding type declaration if it has a direct child |<BindingType>| element in the Java EE namespace, as defined in Section 2.3.2, "Defining new binding types"</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>An XML element that appears as a direct child of the root |<Beans>| element is interpreted as an interceptor binding type if it has a direct child |<InterceptorBindingType>| element in the Java EE namespace, as defined in Section A.3.4, "Interceptor bindings"</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>An XML element that appears as a direct child of the root |<Beans>| element is interpreted as a stereotype declaration if it has a direct child |<Stereotype>| element in the Java EE namespace, as defined in Section 2.7.1, "Defining new stereotypes"</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>The XML element is interpreted as a Java type. If no such Java type exists in the classpath, a |DefinitionException| is thrown by the container at deployment time. If the type is not an annotation type, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If the annotation type is already declared as a binding type using annotations, the annotations are ignored by the container and the XML-based declaration is used</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>If the annotation type is already declared as an interceptor binding type using annotations, the annotations are ignored by the container and the XML-based declaration is used</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>If the annotation type is already declared as a stereotype using annotations, the annotations are ignored by the container and the XML-based declaration is used</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>If a certain annotation type is declared more than once as a binding type, interceptor binding type or stereotype using XML, a |DeploymentException| is thrown by the container at deployment time</text>
+ </assertion>
+ </section>
+
+ <section id="9.4.1" title="Child elements of a stereotype declaration">
+ <assertion id="a">
+ <text>Every direct child element of a stereotype declaration is interpreted as a Java type</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>If no such Java type exists in the classpath, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If the type is not an annotation type, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If the annotation type is a scope type, the default scope of the stereotype was declared</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If the annotation type is a deployment type, the default scope of the stereotype was declared</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>If the annotation type is a interceptor binding type, an interceptor binding of the stereotype was declared</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>If the annotation type is |javax.annotation.Named|, a stereotype with name defaulting was declared</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>Otherwise, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+ </section>
+
+ <section id="9.4.2" title="Child elements of an interceptor binding type declaration">
+ <assertion id="a">
+ <text>Every direct child element of an interceptor binding type declaration is interpreted as a Java type</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>If no such Java type exists in the classpath, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If the type is not an annotation type, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>If the annotation type is an interceptor binding type, an inherited interceptor binding was declared, as defined in Section A.3.4.1, "Interceptor binding types with additional interceptor bindings"</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>If the annotation type is not an interceptor binding type, a |DefinitionException| is thrown by the container at deployment time</text>
+ </assertion>
+
+ </section>
+
+ <section id="9.12" title="Deployment declarations">
+ <assertion id="a">
+ <text>The |<Deploy>|, |<Interceptors>| and |<Decorators>| elements in the Java EE namespace determine which beans, interceptors and decorators are enabled in a particular deployment</text>
+ </assertion>
+ </section>
+
+ <section id="9.12.1" title="The <Deploy> declaration">
+ <assertion id="a">
+ <text>Each direct child element of a |<Deploy>| element is interpreted as the declaring an enabled deployment type, as specified in Section 2.5.6, "Enabled deployment types"</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>Each child element is interpreted as a Java annotation type. If no such Java type exists in the classpath, a |DefinitionException| is thrown by the container at deployment time. If the type is not a deployment type, a |DefinitionException| is thrown by the container at deployment time.</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If the same deployment type is declared more than once, a |DefinitionException| is thrown by the container at deployment time.</text>
+ </assertion>
+ </section>
+
+ <section id="11" title="Packaging and Deployment">
+
+ </section>
+
+ <section id="11.1" title="Deployment lifecycle">
+
+ <assertion id="a">
+ <text>First, the container performs bean discovery and registers |Bean| and |Observer| objects for the discovered beans. The container detects definition errors by validating the bean classes and metadata, throwing a |DeploymentException| and aborting deployment of the application if any definition errors exist, as defined in Section 10.1, "Definition errors".</text>
+ <note>Test that beans and observers are registered and definition exceptions occur before @Initialized, and that this causes the app deployment to fail</note>
+ </assertion>
+
+ <assertion id="b">
+ <text>Next, the container raises an event of type |@Initialized Manager|, allowing the application or third-party frameworks to register additional |Bean| and |Observer| objects.</text>
+ <note>Test that the @Initialized event is called, and that beans are registered</note>
+ </assertion>
+
+ <assertion id="c">
+ <text>Next, the container detects deployment problems by validating bean dependencies and specialization, throwing a |DeploymentException| and aborting deployment of the application if any deployment problems exist, as defined in Section 10.2, "Deployment problems".</text>
+ <note>Test that validation happens after @Initialized and before @Deployed and that deployment problems cause deployment to fail</note>
+ </assertion>
+
+ <assertion id="d">
+ <text>Next, the container raises an event of type |@Deployed Manager|.</text>
+ <note>Test that the @Deployed event is called</note>
+ </assertion>
+
+ <assertion id="e">
+ <text>Finally, the container begins directing requests to the application.</text>
+ <note>Test that the app is usable</note>
+ </assertion>
+
+ </section>
+
+ <section id="11.2" title="Bean discovery">
+
+ <assertion id="a" implied="true">
+ <text>When bean discovery occurs, the container considers any |beans.xml| file in any metadata directory of the application classpath (standalone WAR)</text>
+ </assertion>
+
+ <assertion id="b" implied="true">
+ <text>When bean discovery occurs, the container considers any |beans.xml| file in any metadata directory of the application classpath (jar in |WEB-INF/lib| of standalone WAR)</text>
+ </assertion>
+
+ <assertion id="c" implied="true">
+ <text>When bean discovery occurs, the container considers any |beans.xml| file in any metadata directory of the application classpath (WAR in EAR)</text>
+ </assertion>
+
+ <assertion id="d" implied="true">
+ <text>When bean discovery occurs, the container considers any |beans.xml| file in any metadata directory of the application classpath (jar in |WEB-INF/lib| of WAR in EAR)</text>
+ </assertion>
+
+ <assertion id="e" implied="true">
+ <text>When bean discovery occurs, the container considers any |beans.xml| file in any metadata directory of the application classpath (ejb-jar)</text>
+ </assertion>
+
+ <assertion id="f" implied="true">
+ <text>When bean discovery occurs, the container considers any |beans.xml| file in any metadata directory of the application classpath (jar in EAR lib directory)</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>When bean discovery occurs, the container considers any |ejb-jar.xml| file in any metadata directory of the application classpath that also contains a |beans.xml| file</text>
+ <note>What does this mean?</note>
+ </assertion>
+
+ <assertion id="h" implied="true">
+ <text>When bean discovery occurs, the container considers any Java class in any archive or directory in the classpath that has a |beans.xml| file in the metadata directory (standalone WAR)</text>
+ </assertion>
+
+ <assertion id="i" implied="true">
+ <text>When bean discovery occurs, the container considers any Java class in any archive or directory in the classpath that has a |beans.xml| file in the metadata directory (jar in |WEB-INF/lib| of standalone WAR)</text>
+ </assertion>
+
+ <assertion id="j" implied="true">
+ <text>When bean discovery occurs, the container considers any Java class in any archive or directory in the classpath that has a |beans.xml| file in the metadata directory (WAR in EAR)</text>
+ </assertion>
+
+ <assertion id="k" implied="true">
+ <text>When bean discovery occurs, the container considers any Java class in any archive or directory in the classpath that has a |beans.xml| file in the metadata directory (jar in |WEB-INF/lib| of WAR in EAR)</text>
+ </assertion>
+
+ <assertion id="l" implied="true">
+ <text>When bean discovery occurs, the container considers any Java class in any archive or directory in the classpath that has a |beans.xml| file in the metadata directory (ejb-jar)</text>
+ </assertion>
+
+ <assertion id="m" implied="true">
+ <text>When bean discovery occurs, the container considers any Java class in any archive or directory in the classpath that has a |beans.xml| file in the metadata directory (jar in EAR lib dir)</text>
+ </assertion>
+
+ <assertion id="n">
+ <text>First, the container discovers all binding types~, stereotypes and interceptor binding types~ declared in XML, according to the rules of Section 9.4, "Stereotype, binding type and interceptor binding type declarations".</text>
+ </assertion>
+
+ <assertion id="o">
+ <text>First, the container discovers all ~binding types~, stereotypes ~and interceptor binding types~ declared in XML, according to the rules of Section 9.4, "Stereotype, binding type and interceptor binding type declarations".</text>
+ </assertion>
+
+ <assertion id="p">
+ <text>First, the container discovers all ~binding types, stereotypes and~ interceptor binding types declared in XML, according to the rules of Section 9.4, "Stereotype, binding type and interceptor binding type declarations".</text>
+ </assertion>
+
+ <assertion id="q">
+ <text>The container automatically discovers simple beans (according to the rules of Section 3.2.1, "Which Java classes are beans?") ~and session beans (according to the rules of Section 3.3.2, "Which EJBs are beans?") deployed and/or declared in these locations and searches the bean classes for producer methods, producer fields, disposal methods and observer methods declared using annotations.~</text>
+ <note>Check all archive types enumerated above</note>
+ </assertion>
+
+ <assertion id="r">
+ <text>The container automatically discovers ~simple beans (according to the rules of Section 3.2.1, "Which Java classes are beans?") and~ session beans (according to the rules of Section 3.3.2, "Which EJBs are beans?")~ deployed and/or declared in these locations and searches the bean classes for producer methods, producer fields, disposal methods and observer methods declared using annotations.~</text>
+ <note>Check all archive types enumerated above</note>
+ </assertion>
+
+ <assertion id="s">
+ <text>The container automatically discovers ~simple beans (according to the rules of Section 3.2.1, "Which Java classes are beans?") and session beans (according to the rules of Section 3.3.2, "Which EJBs are beans?") deployed and/or declared in these locations and searches the bean classes for~ producer methods, ~producer fields, disposal methods and observer methods~ declared using annotations.</text>
+ <note>Check all archive types enumerated above, and session beans and simple beans</note>
+ </assertion>
+
+ <assertion id="t">
+ <text>The container automatically discovers ~simple beans (according to the rules of Section 3.2.1, "Which Java classes are beans?") and session beans (according to the rules of Section 3.3.2, "Which EJBs are beans?") deployed and/or declared in these locations and searches the bean classes for producer methods~, producer fields~, disposal methods and observer methods~ declared using annotations.</text>
+ <note>Check all archive types enumerated above, and session beans and simple beans</note>
+ </assertion>
+
+ <assertion id="u">
+ <text>The container automatically discovers ~simple beans (according to the rules of Section 3.2.1, "Which Java classes are beans?") and session beans (according to the rules of Section 3.3.2, "Which EJBs are beans?") deployed and/or declared in these locations and searches the bean classes for producer methods, producer fields,~ disposal methods~ and observer methods~ declared using annotations.</text>
+ <note>Check all archive types enumerated above, and session beans and simple beans</note>
+ </assertion>
+
+ <assertion id="v">
+ <text>The container automatically discovers~ simple beans (according to the rules of Section 3.2.1, "Which Java classes are beans?") and session beans (according to the rules of Section 3.3.2, "Which EJBs are beans?") deployed and/or declared in these locations and searches the bean classes for producer methods, producer fields, disposal methods and~ observer methods declared using annotations.</text>
+ <note>Check all archive types enumerated above, and session beans and simple beans</note>
+ </assertion>
+
+ <assertion id="z">
+ <text>Next, the container determines which beans~, interceptors and decorators are enabled,~ according to the rules defined in Section 2.5.6, "Enabled deployment types", Section A.3.7, "Interceptor enablement and ordering" and Section A.5.5, "Decorator enablement and ordering", taking into account any |<Deploy>|, ~|<Interceptors>| and |<Decorators>|~ declarations in the |beans.xml| files.</text>
+ </assertion>
+
+ <assertion id="ac">
+ <text>For each enabled bean that is not an interceptor or decorator, the container creates an instance of |Bean|, and registers it by calling |Manager.addBean()|</text>
+ <note>Check that interceptors aren't registered as beans, decorators aren't registered as beans, that disabled beans aren't registered and that simple beans, session beans, producer methods and producer fields are registered</note>
+ </assertion>
+
+ <assertion id="af">
+ <text>For each observer method of an enabled bean, the container creates an instance of |Observer| that implements the rules of Section 7.5.8, "Observer object for an observer method" and registers it by calling |Manager.addObserver()|</text>
+ </assertion>
+ </section>
+
+ <section id="11.5" title="Initialization and Deployment Events">
+ <assertion id="a">
+ <text>Container fires event of type Manager with binding type @Initialized after bean discovery but before deployment problems are detected.</text>
+ </assertion>
+
+ <assertion id="b">
+ <text>The container must fire a second event of type Manager with binding type @Deployed after it has validated that there are no deployment problems and before the deployment begins processing requests.</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>The container must not allow any request to be processed by the deployment until all observers of this event return.</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>The request and application contexts are active when these events are fired.</text>
+ </assertion>
+
+ <assertion id="aa">
+ <text>If any observer method of the @Initialized event throws an exception, the exception is treated as a definition error by the container.</text>
+ </assertion>
+
+ <assertion id="ba">
+ <text> f any observer method of the @Deployed event throws an exception, the exception is treated as a deployment problem by the container.</text>
+ </assertion>
+ </section>
+
+ <section id="11.6" title="Activities">
+
+ <assertion id="a" testable="false">
+ <text>The method |createActivity()| creates a new child activity of an activity:</text>
+ <note>A statement of intent</note>
+ </assertion>
+
+ <assertion id="b">
+ <text>Every bean belonging to a parent activity also belongs to the child activity~, is eligible for injection into other beans belonging to the child activity and may be obtained by dynamic lookup via the child activity~</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>Every bean belonging to a parent activity ~also belongs to the child activity,~ is eligible for injection into other beans belonging to the child activity~ and may be obtained by dynamic lookup via the child activity~</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>Every bean belonging to a parent activity ~also belongs to the child activity, is eligible for injection into other beans belonging to the child activity and~ may be obtained by dynamic lookup via the child activity</text>
+ </assertion>
+
+ <assertion id="j">
+ <text>Every observer belonging to a parent activity also belongs to the child activity ~and receives events fired via the child activity~</text>
+ </assertion>
+
+ <assertion id="k">
+ <text>Every observer belonging to a parent activity ~also belongs to the child activity and~ receives events fired via the child activity</text>
+ </assertion>
+
+ <assertion id="l">
+ <text>Every context object belonging to the parent activity also belongs to the child activity</text>
+ </assertion>
+
+ <assertion id="m">
+ <text>|Beans| ~and observers~ may be registered with an activity by calling |addBean()| ~or |addObserver()|~ on the |Manager| object that represents the activity.</text>
+ </assertion>
+
+ <assertion id="n">
+ <text>~|Beans| and~ observers may be registered with an activity by calling ~|addBean()| or~ |addObserver()| on the |Manager| object that represents the activity.</text>
+ </assertion>
+
+ <assertion id="o">
+ <text>A bean registered with the child activity is not available for injection into any bean registered with a parent activity</text>
+ </assertion>
+
+ <assertion id="p">
+ <text>A bean registered with a child activity is not available for injection into a ~servlet or~ EJB</text>
+ </assertion>
+
+ <assertion id="q">
+ <text>A bean registered with a child activity is not available for injection into a servlet ~or EJB~</text>
+ </assertion>
+
+ <assertion id="r">
+ <text>A bean registered with a child activity may not be obtained by dynamic lookup via the parent activity</text>
+ </assertion>
+
+ <assertion id="s">
+ <text>An observer registered with the child activity does not receive events fired via a parent activity</text>
+ </assertion>
+
+ <assertion id="t">
+ <text>If a bean registered with a child activity has the bean type and all bindings of some injection point of some bean registered with a direct ~or indirect~ parent activity, a |DeploymentException| is throw by the container at deployment time.</text>
+ </assertion>
+
+ <assertion id="u">
+ <text>If a bean registered with a child activity has the bean type and all bindings of some injection point of some bean registered with a~ direct or~ indirect parent activity, a |DeploymentException| is throw by the container at deployment time.</text>
+ </assertion>
+
+ </section>
+
+ <section id="11.6.1" title="Current Activity">
+ <assertion id="a" testable="false">
+ <text>An activity may be associated with the current context for a normal scope by calling |setCurrent()|, passing the normal scope type</text>
+ <note>A statement of intent</note>
+ </assertion>
+
+ <assertion id="b">
+ <text>If the given scope is inactive when |setCurrent()| is called, a |ContextNotActiveException| is thrown.</text>
+ </assertion>
+
+ <assertion id="c">
+ <text>If the given scope type is not a normal scope, an |IllegalArgumentException| is thrown.</text>
+ </assertion>
+
+ <assertion id="d">
+ <text>All EL evaluations (as defined Section 5.10, "EL name resolution")~, all calls to any injected |Manager| object or |Manager| object obtained via JNDI lookup (as defined by Section 5.7, "The Manager object"), all calls to any injected |Event| object (as defined in Section 7.6, "The Event interface") and all calls to any injected |Instance| object (as defined by Section 5.8, "Dynamic lookup")~ are processed by the current activity</text>
+ </assertion>
+
+ <assertion id="e">
+ <text>~All EL evaluations (as defined Section 5.10, "EL name resolution"),~ all calls to any injected |Manager| object ~or |Manager| object obtained via JNDI lookup (as defined by Section 5.7, "The Manager object"), all calls to any injected |Event| object (as defined in Section 7.6, "The Event interface") and all calls to any injected |Instance| object (as defined by Section 5.8, "Dynamic lookup")~ are processed by the current activity</text>
+ </assertion>
+
+ <assertion id="f">
+ <text>~All EL evaluations (as defined Section 5.10, "EL name resolution"),~ all calls to any ~injected |Manager| object or~ |Manager| object obtained via JNDI lookup~ (as defined by Section 5.7, "The Manager object"), all calls to any injected |Event| object (as defined in Section 7.6, "The Event interface") and all calls to any injected |Instance| object (as defined by Section 5.8, "Dynamic lookup")~ are processed by the current activity</text>
+ </assertion>
+
+ <assertion id="g">
+ <text>~All EL evaluations (as defined Section 5.10, "EL name resolution"), all calls to any injected |Manager| object or |Manager| object obtained via JNDI lookup (as defined by Section 5.7, "The Manager object"),~ all calls to any injected |Event| object (as defined in Section 7.6, "The Event interface") ~and all calls to any injected |Instance| object (as defined by Section 5.8, "Dynamic lookup")~ are processed by the current activity</text>
+ </assertion>
+
+ <assertion id="h">
+ <text>~All EL evaluations (as defined Section 5.10, "EL name resolution"), all calls to any injected |Manager| object or |Manager| object obtained via JNDI lookup (as defined by Section 5.7, "The Manager object"), all calls to any injected |Event| object (as defined in Section 7.6, "The Event interface") and ~all calls to any injected |Instance| object (as defined by Section 5.8, "Dynamic lookup") are processed by the current activity</text>
+ </assertion>
+
+ <assertion id="m">
+ <text>A bean registered with an activity is only available to Unified EL expressions that are evaluated when that activity or one of its children is the current activity.</text>
+ <note>This is a statement of intent</note>
+ </assertion>
+ </section>
+
+</specification>
Modified: tck/trunk/impl/src/main/resources/tck-audit.xml
===================================================================
--- tck/trunk/impl/src/main/resources/tck-audit.xml 2009-05-26 16:04:00 UTC (rev 2717)
+++ tck/trunk/impl/src/main/resources/tck-audit.xml 2009-05-27 01:42:21 UTC (rev 2718)
@@ -3,7 +3,7 @@
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://jboss.com/products/webbeans/tck/audit http://snapshots.jboss.org/maven2/org/hibernate/tck-utils-api/0.9-SNAPSHOT/tck-utils-api-0.9-20090220.134140-13-audit.xsd"
name="JSR-299: Java Contexts and Dependency Injection"
- version="Revised Public Review Draft">
+ version="20090519">
<section id="2" title="Bean definition">
@@ -37,69 +37,87 @@
<assertion id="a">
<text>A bean may have multiple bean types</text>
</assertion>
-
- <assertion id="ba">
- <text>A bean type may be a parameterized type with an actual type parameter.</text>
+
+ <assertion id="l">
+ <text>All beans have the bean type java.lang.Object</text>
</assertion>
+
+ </section>
+
+ <section id="2.2.1" title="Legal bean types">
+ <assertion id="a">
+ <text>A bean type may be an interface</text>
+ </assertion>
- <assertion id="bb">
- <text>For the purposes of the typesafe resolution algorithm defined in Section 5.9, "Typesafe resolution algorithm", parameterized bean types are considered identical by the container only if both the type and the type parameters (if any) are identical</text>
+ <assertion id="b">
+ <text>A bean type may be a concrete class</text>
</assertion>
<assertion id="c">
- <text>Bean types may not declare a type variable. If the type of an injection point is a parameterized type with a type variable, a |DefinitionException| is thrown by the container at deployment time.</text>
+ <text>A bean type may be an abstract class</text>
</assertion>
<assertion id="d">
- <text>Bean types may not declare a wildcard. If the type of an injection point is a parameterized type with a wildcard, a |DefinitionException| is thrown by the container at deployment time.</text>
+ <text>A bean type may be declared final</text>
</assertion>
<assertion id="e">
- <text>A bean type may be an interface</text>
+ <text>A bean type may have final methods</text>
</assertion>
<assertion id="f">
- <text>A bean type may be a concrete class</text>
+ <text>A bean type may be a parameterized type with actual type parameters</text>
</assertion>
<assertion id="g">
- <text>A bean type may be an abstract class</text>
+ <text>A bean type may be a parameterized type with type variables</text>
</assertion>
<assertion id="h">
- <text>A bean type may be declared final</text>
+ <text>A bean type may be a parameterized type with wildcards</text>
</assertion>
<assertion id="i">
- <text>A bean type may have final methods</text>
+ <text>A bean type may be an array type. Two array types are considered identical only if the element type is identical.</text>
</assertion>
<assertion id="j">
- <text>A bean type may be an array type. Two array types are considered identical only if the element type is identical</text>
+ <text>A bean type may be a primitive type. Primitive types are considered to be identical to their corresponding wrapper types in java.lang.</text>
</assertion>
<assertion id="k">
- <text>A bean type may be a primitive types. Primitive types are considered to be identical to their corresponding wrapper types in java.lang.</text>
+ <text>A bean type may be a raw type.</text>
</assertion>
<assertion id="l">
- <text>All beans have the bean type java.lang.Object</text>
+ <text>A type parameter is not a legal bean type</text>
</assertion>
<assertion id="m">
- <text>A client of a bean may typecast its reference to any instance of the bean to any bean type of the bean</text>
+ <text>If an injection point type is a type variable, the container automatically detects the problem and treats it as a definition error, as defined in Section 12.4, "Problems detected automatically by the container".</text>
</assertion>
+
+ </section>
+ <section id="2.2.2" title="Typecasting between bean types">
+
+ <assertion id="a">
+ <text>A client of a bean may typecast its contextual reference to a bean to any bean type of the bean which is a Java interface. However, the client may not in general typecast its contextual reference to an arbitrary concrete bean type of the bean.</text>
+ </assertion>
</section>
<section id="2.3" title="Bindings">
</section>
- <section id="2.3.1" title="Default binding type">
+ <section id="2.3.1" title="Built-in binding types">
+
+ <assertion id="a0">
+ <text>Every bean has the built-in binding @Any, even if it does not explicitly declare this binding, except for beans with the builtin binding @New defined in Section 3.11, "Beans with the @New binding".</text>
+ </assertion>
- <assertion id="a">
- <text>If a bean does not explicitly declare a binding, the bean has exactly one binding, of type |@javax.inject.Current|</text>
+ <assertion id="aa">
+ <text>If a bean does not explicitly declare a binding, the bean has exactly one additional binding, of type |@Current|</text>
</assertion>
<assertion id="b">
@@ -117,21 +135,17 @@
<note>Non-runtime retention annotations are discarded by the compiler</note>
</assertion>
- <assertion id="b">
- <text>A binding type may be declared by specifying the |@javax.inject.BindingType| meta-annotation</text>
+ <assertion id="ba">
+ <text>A binding type may be declared by specifying the |@javax.enterprise.inject.BindingType| meta-annotation</text>
</assertion>
-
- <assertion id="c">
- <text>The |@BindingType| meta-annotation may be omitted, and the binding type may be declared in beans.xml</text>
- </assertion>
-
+
<assertion id="d" testable="false">
<text>A binding type may define annotation members</text>
<note>This is true by default in the JLS</note>
</assertion>
</section>
- <section id="2.3.3" title="Declaring the bindings of a bean using annotations">
+ <section id="2.3.3" title="Declaring the bindings of a bean">
<assertion id="a">
<text>A bean's bindings are declared by annotating the bean class with the binding types</text>
@@ -150,12 +164,8 @@
</assertion>
</section>
- <section id="2.3.4" title="Declaring the bindings of a bean using XML">
+ <section id="2.3.4" title="Specifying bindings of an injected field">
- </section>
-
- <section id="2.3.5" title="Specifying bindings of an injected field">
-
<assertion id="a">
<text>Binding types may be applied to injected fields (see Section 3.8, "Injected fields") to determine the bean that is injected, according to the typesafe resolution algorithm defined in Section 5.9, "Typesafe resolution algorithm".</text>
</assertion>
@@ -166,7 +176,7 @@
</section>
- <section id="2.3.6" title="Specifying bindings of a method or constructor parameter">
+ <section id="2.3.5" title="Specifying bindings of a method or constructor parameter">
<assertion id="a">
<text>Binding types may be applied to parameters of producer methods (see Chapter 3, Bean implementation) to determine the bean instance that is passed when the method is called by the container</text>
</assertion>
@@ -179,6 +189,10 @@
<text>Binding types may be applied to parameters of disposal methods (see Chapter 3, Bean implementation) to determine the bean instance that is passed when the method is called by the container</text>
</assertion>
+ <assertion id="ca">
+ <text>Binding types may be applied to parameters of observer methods (see Chapter 3, Bean implementation) to determine the bean instance that is passed when the method is called by the container</text>
+ </assertion>
+
<assertion id="d">
<text>Binding types may be applied to parameters of bean constructors (see Chapter 3, Bean implementation) to determine the bean instance that is passed when the method is called by the container</text>
</assertion>
@@ -204,17 +218,17 @@
<section id="2.4.1" title="Built-in scope types">
<assertion id="a" testable="false">
- <text>The |@RequestScoped|, |@ApplicationScoped| and |@SessionScoped| annotations defined in Section 8.5, "Context management for built-in scopes" represent the standard scopes defined by the Java Servlets specification</text>
+ <text>The |@RequestScoped|, |@ApplicationScoped| and |@SessionScoped| annotations defined in Section 6.7, "Context management for built-in scopes" represent the standard scopes defined by the Java Servlets specification</text>
<note>This is a statement of intent</note>
</assertion>
<assertion id="b" testable="false">
- <text>The |@ConversationScoped| annotation represents the conversation scope defined in Section 8.5.4, "Conversation context lifecycle".</text>
+ <text>The |@ConversationScoped| annotation represents the conversation scope defined in Section 6.7.4, "Conversation context lifecycle".</text>
<note>This is a statement of intent</note>
</assertion>
<assertion id="c" testable="false">
- <text>The |@Dependent| pseudo-scope is for dependent objects, as defined in Section 8.3, "Dependent pseudo-scope"</text>
+ <text>The |@Dependent| pseudo-scope is for dependent objects, as defined in Section 6.4, "Dependent pseudo-scope"</text>
<note>This is a statement of intent</note>
</assertion>
</section>
@@ -229,35 +243,29 @@
<note>Non-runtime retention annotations are discarded by the compiler</note>
</assertion>
-
-
- <assertion id="b">
- <text>All scope types must specify the |@javax.context.ScopeType| meta-annotation</text>
+ <assertion id="ba">
+ <text>All scope types must specify the |@javax.enterprise.context.ScopeType| meta-annotation</text>
</assertion>
</section>
- <section id="2.4.3" title="Declaring the bean scope using annotations">
+ <section id="2.4.3" title="Declaring the bean scope">
<assertion id="a">
<text>The bean's scope is defined by annotating the bean class or producer method or field with a scope type</text>
</assertion>
- <assertion id="b">
- <text>A bean class or producer method or field may specify at most one scope type annotation. If a bean class or producer method or field specifies multiple scope type annotations, a |DefinitionException| is thrown by the container at deployment time</text>
+ <assertion id="ba">
+ <text>A bean class or producer method or field may specify at most one scope type annotation. If a bean class or producer method or field specifies multiple scope type annotations, the container automatically detects the problem and treats it as a definition error, as defined in Section 12.4, "Problems detected automatically by the container".</text>
</assertion>
<assertion id="c">
- <text>A scope type may be specified using a stereotype annotation, as defined in Section 2.7.2, "Declaring the stereotypes for a bean using annotations"</text>
+ <text>A scope type may be specified using a stereotype annotation, as defined in Section 2.7.2, "Declaring the stereotypes for a bean"</text>
</assertion>
</section>
- <section id="2.4.4" title="Declaring the bean scope using XML">
-
- </section>
-
- <section id="2.4.5" title="Default scope">
- <assertion id="a">
- <text>When no scope is explicitly declared by annotating the bean class or producer method or field, ~or by using XML~, the scope of a bean is defaulted</text>
+ <section id="2.4.4" title="Default scope">
+ <assertion id="aa">
+ <text>When no scope is explicitly declared by annotating the bean class or producer method or field the scope of a bean is defaulted.</text>
</assertion>
<assertion id="b">
@@ -268,8 +276,9 @@
<text>If all stereotypes declared by the bean that have some declared default scope have the same default scope, then that scope is the default scope for the bean</text>
</assertion>
- <assertion id="d">
- <text>If there are two different stereotypes declared by the bean that declare different default scopes, then there is no default scope and the bean must explicitly declare a scope. If it does not explicitly declare a scope, a |DefinitionException| is thrown by the container at deployment time</text>
+ <assertion id="da">
+ <text>If there are two different stereotypes declared by the bean that declare different default scopes, then there is no default scope and the bean must explicitly declare a scope. If it does not explicitly declare a scope, the container automatically
+detects the problem and treats it as a definition error, as defined in Section 12.4, "Problems detected automatically by the container".</text>
</assertion>
<assertion id="e">
@@ -286,6 +295,10 @@
<section id="2.5.1" title="Built-in deployment types">
+ <assertion id="a0">
+ <text>The default deployment type for beans which do not explicitly declare a deployment type is |@Production|.</text>
+ </assertion>
+
<assertion id="a">
<text>All standard beans defined by this specification, and provided by the container, are defined using the |@Standard| deployment type</text>
<note>This is tested in the test for each bean defined. See 5.6.1.za, 5.7.2.ca, 8.5.4.i</note>
@@ -293,13 +306,7 @@
<assertion id="b">
<text>No bean may be declared with the |@Standard| deployment type unless explicitly required by this specification</text>
- </assertion>
-
- <assertion id="c" testable="false">
- <text>Application beans may be defined using the |@Production| deployment type</text>
- <note>This is a statement of intent</note>
- </assertion>
-
+ </assertion>
</section>
<section id="2.5.2" title="Defining new deployment types">
@@ -323,7 +330,7 @@
</section>
- <section id="2.5.3" title="Declaring the deployment type of a bean using annotations">
+ <section id="2.5.3" title="Declaring the deployment type of a bean">
<assertion id="a">
<text>The deployment type of the bean is declared by annotating the bean class</text>
@@ -337,17 +344,16 @@
<text>The deployment type of the bean is declared by annotating the field</text>
</assertion>
- <assertion id="d">
- <text>An bean class may specify at most one deployment type. If multiple deployment type annotations are specified, a |DefinitionException| is thrown by the container at deployment time.</text>
+ <assertion id="da">
+ <text>A bean class may specify at most one deployment type. If multiple deployment type annotations are specified, the container automatically detects the problem and treats it as a definition error, as defined in Section 12.4, "Problems detected automatically by the container".</text>
</assertion>
- <assertion id="e">
- <text>A producer method may specify at most one deployment type. If multiple deployment type annotations are specified, a |DefinitionException| is thrown by the container at deployment time.</text>
+ <assertion id="ea">
+ <text>A producer method may specify at most one deployment type. If multiple deployment type annotations are specified, the container automatically detects the problem and treats it as a definition error, as defined in Section 12.4, "Problems detected automatically by the container".</text>
</assertion>
- <assertion id="f">
- <text>A field may specify at most one deployment type. If multiple deployment type annotations are specified, a |DefinitionException| is thrown by the container at deployment time.</text>
- </assertion>
+ <assertion id="fa">
+ <text>A producer field may specify at most one deployment type. If multiple deployment type annotations are specified, the container automatically detects the problem and treats it as a definition error, as defined in Section 12.4, "Problems detected automatically by the container".</text> </assertion>
<assertion id="g">
<text>By default, if no deployment type annotation is explicitly specified, a producer method inherits the deployment type of the bean in which it is defined.</text>
@@ -363,19 +369,22 @@
</section>
- <section id="2.5.4" title="Declaring the deployment type of a bean using XML">
-
- </section>
-
<section id="2.5.5" title="Default deployment type">
- <assertion id="a">
- <text>The default deployment type for a bean which does not explicitly declare a deployment type depends upon its declared stereotypes - if a bean does not declare any stereotype with a declared default deployment type, then the default deployment type is |@Production|</text>
+ <assertion id="a0">
+ <text>If a producer method does not declare any stereotype with a declared default deployment type, then the default deployment type is the deployment type of the bean that declares the producer method or field.</text>
</assertion>
+ <assertion id="a1">
+ <text>If a producer field does not declare any stereotype with a declared default deployment type, then the default deployment type is the deployment type of the bean that declares the producer method or field.</text>
+ </assertion>
+
+ <assertion id="aa">
+ <text>If a bean that is not a producer method or producer field does not declare any stereotype with a declared default deployment type, then the default deployment type is |@Production|</text>
+ </assertion>
+
<assertion id="b">
<text>Otherwise, the default deployment type for the bean is the highest-precedence default deployment type declared by any stereotype declared by the bean</text>
- <note>This assertion relates to assertion 2.5.5.b</note>
</assertion>
<assertion id="c">
@@ -383,49 +392,45 @@
</assertion>
</section>
- <section id="2.5.6" title="Enabled deployment types">
+ <section id="2.5.5" title="Enabled deployment types">
<assertion id="a">
<text>Beans declared with a deployment type that is not enabled are not available to the resolution algorithms defined in Chapter 5, Lookup, dependency injection and EL resolution.</text>
</assertion>
- <assertion id="b">
- <text>If a |<Deploy>| element is specified, only the explicitly declared deployment types are enabled.</text>
+ <assertion id="ba">
+ <text>If a |<Deploy>| element is specified, the explicitly declared deployment types are enabled, together with |@Standard|, which need not be declared explicitly.</text>
</assertion>
-
- <assertion id="c">
- <text>The |@Standard| deployment type must be declared. If the |@Standard| deployment type is not declared, a |DeploymentException| is thrown by the container at deployment time.</text>
- </assertion>
-
+
<assertion id="d">
<text>If no |<Deploy>| element is specified in any |beans.xml| file, only the |@Standard| and |@Production| deployment types are enabled.</text>
</assertion>
- <assertion id="e">
- <text>If the |<Deploy>| element is specified in more than one |beans.xml| document, a |DeploymentException| is thrown by the container at deployment time. </text>
+ <assertion id="ea">
+ <text>If the |<Deploy>| element is specified in more than one |beans.xml| document, the container automatically detects the problem and treats it as a deployment problem, as defined in Section 12.4, "Problems detected automatically by the container".</text>
</assertion>
-
+
</section>
- <section id="2.6" title="Bean names">
+ <section id="2.6" title="Bean EL names">
<assertion id="a">
- <text>A valid bean name is a period-separated list of valid EL identifiers</text>
+ <text>A valid bean EL name is a period-separated list of valid EL identifiers</text>
</assertion>
</section>
- <section id="2.6.1" title="Declaring the bean name using annotations">
+ <section id="2.6.1" title="Declaring the bean EL name">
<assertion id="a">
- <text>To specify the name of a bean, the |@javax.annotation.Named| annotation is applied to the bean class.</text>
+ <text>To specify the EL name of a bean, the |@javax.annotation.Named| annotation is applied to the bean class.</text>
</assertion>
<assertion id="b">
- <text>To specify the name of a bean, the |@javax.annotation.Named| annotation is applied to the producer method.</text>
+ <text>To specify the EL name of a bean, the |@javax.annotation.Named| annotation is applied to the producer method.</text>
</assertion>
<assertion id="c">
- <text>To specify the name of a bean, the |@javax.annotation.Named| annotation is applied to the producer field.</text>
+ <text>To specify the EL name of a bean, the |@javax.annotation.Named| annotation is applied to the producer field.</text>
</assertion>
<assertion id="d">
@@ -433,33 +438,30 @@
</assertion>
</section>
- <section id="2.6.2" title="Declaring the bean name using XML">
-
- </section>
+ <section id="2.6.2" title="Default bean EL names">
- <section id="2.6.3" title="Default bean names">
-
<assertion id="a">
- <text>A default name must be assigned by the container when a bean class defined using annotations declares a |@Named| annotation and no name is explicitly specified by the value member</text>
+ <text>A default EL name must be assigned by the container when a bean class defined using annotations declares a |@Named| annotation and no EL name is explicitly specified by the value member</text>
</assertion>
<assertion id="b">
- <text>A default name must be assigned by the container when a producer method of a bean defined using annotations declares a |@Named| annotation and no name is explicitly specified by the value member</text>
+ <text>A default EL name must be assigned by the container when a producer method of a bean defined using annotations declares a |@Named| annotation and EL no name is explicitly specified by the value member</text>
</assertion>
<assertion id="c">
- <text>A default name must be assigned by the container when a producer field of a bean defined using annotations declares a |@Named| annotation and no name is explicitly specified by the value member</text>
+ <text>A default EL name must be assigned by the container when a producer field of a bean defined using annotations declares a |@Named| annotation and no EL name is explicitly specified by the value member</text>
</assertion>
<assertion id="e">
- <text>A default name must be assigned by the container when a bean declares a stereotype that declares an empty |@Named| annotation, and the bean does not explicitly specify a name.</text>
+ <text>A default EL name must be assigned by the container when a bean declares a stereotype that declares an empty |@Named| annotation, and the bean does not explicitly specify an EL name.</text>
</assertion>
</section>
- <section id="2.6.4" title="Beans with no name">
+ <section id="2.6.4" title="Beans with no EL name">
<assertion id="a">
- <text>If ~neither |<Named>| nor~ |@Named| is specified, by the bean or its stereotypes, a bean has no name</text>
+ <text>If |@Named| is not specified, by neither the bean nor its stereotypes, a bean has no EL name</text>
+ <note>I've pointed out to Gavin that this is a double negative, and should probably be reworded</note>
</assertion>
</section>
@@ -510,53 +512,47 @@
<text>A stereotype may be declared by specifying the |@javax.annotation.Stereotype| meta-annotation</text>
</assertion>
- <assertion id="c">
- <text>The |@Stereotype| meta-annotation may be omitted, and the stereotype may be declared in beans.xml</text>
+ <assertion id="da">
+ <text>A stereotype may not declare any binding annotation. If a stereotype declares a binding annotation, the container automatically detects the problem and treats it as a definition error, as defined in Section 12.4, "Problems detected automatically by the container".</text>
</assertion>
-
- <assertion id="d">
- <text>A stereotype may not declare any binding annotation. If a stereotype declares a binding annotation, a |DefinitionException| is thrown by the container at deployment time</text>
- </assertion>
</section>
<section id="2.7.1.1" title="Declaring the default scope and deployment type for a stereotype">
- <assertion id="a">
- <text>A stereotype may declare at most one scope. If a stereotype declares more than one scope, a |DefinitionException| is thrown by the container at deployment time</text>
+ <assertion id="aa">
+ <text>A stereotype may declare at most one scope. If a stereotype declares more than one scope, the container automatically detects the problem and treats it as a definition error, as defined in Section 12.4, "Problems detected automatically by the
+container".</text>
</assertion>
- <assertion id="b">
- <text>A stereotype may declare at most one deployment type. If a stereotype declares more than one deployment type, a |DefinitionException| is thrown by the container at deployment time</text>
+ <assertion id="bb">
+ <text>A stereotype may declare at most one deployment type. If a stereotype declares more than one deployment type, the container automatically detects the problem and treats it as a definition error, as defined in Section 12.4, "Problems detected
+automatically by the container".</text>
</assertion>
</section>
<section id="2.7.1.2" title="Specifying interceptor bindings for a stereotype">
-
- </section>
-
- <section id="2.7.1.3" title="Specifying name defaulting for a stereotype">
<assertion id="a">
- <text>A stereotype may declare an empty |@Named| annotation. If a stereotype declares a non-empty |@Named| annotation, a |DefinitionException| is thrown by the container at deployment time</text>
+ <text>A stereotype may declare zero interceptor bindings.</text>
</assertion>
<assertion id="b">
- <text>A stereotype may specify that every bean with the stereotype has a defaulted name when a name is not explicitly specified by the bean</text>
+ <text>A stereotype may declare one interceptor bindings.</text>
</assertion>
+
+ <assertion id="c">
+ <text>A stereotype may declare multiple interceptor bindings.</text>
+ </assertion>
</section>
- <section id="2.7.1.4" title="Restricting bean scopes and types using a stereotype">
- <assertion id="a">
- <text>Bean scopes may be restricted using a stereotype</text>
+ <section id="2.7.1.3" title="Specifying name defaulting for a stereotype">
+ <assertion id="aa">
+ <text>A stereotype may declare an empty |@Named| annotation. If a stereotype declares a non-empty |@Named| annotation, the container automatically detects the problem and treats it as a definition error, as defined in Section 12.4, "Problems detected automatically by the container".</text>
</assertion>
<assertion id="b">
- <text>Bean types may be restricted using a stereotype</text>
+ <text>A stereotype may specify that every bean with the stereotype has a defaulted name when a name is not explicitly specified by the bean</text>
</assertion>
-
- <assertion id="c">
- <text>Scope and type restrictions may not be specified when a stereotype is declared in XML</text>
- </assertion>
</section>
-
+
<section id="2.7.1.5" title="Stereotypes with additional stereotypes">
<assertion id="a">
<text>A stereotype may declare other stereotypes</text>
@@ -584,7 +580,7 @@
</section>
- <section id="2.7.2" title="Declaring the stereotypes for a bean using annotations">
+ <section id="2.7.2" title="Declaring the stereotypes for a bean">
<assertion id="a">
<text>Stereotype annotations may be applied to a bean class</text>
</assertion>
@@ -610,27 +606,9 @@
</assertion>
</section>
- <section id="2.7.3" title="Declaring the stereotypes for a bean using XML">
-
- </section>
-
- <section id="2.7.4" title="Stereotype restrictions">
- <assertion id="a">
- <text>If a stereotype declares a requiredType, and the bean types do not include the type, a |DefinitionException| is thrown by the container at deployment time</text>
- </assertion>
-
- <assertion id="b">
- <text>If a stereotype explicitly declares a set of scope types using supportedScopes, and the bean scope is not in that set, a |DefinitionException| is thrown by the container at deployment time</text>
- </assertion>
-
- <assertion id="c">
- <text>If a bean declares multiple stereotypes, it must satisfy every restriction declared by every declared stereotype</text>
- </assertion>
- </section>
-
- <section id="2.7.5" title="Built-in stereotypes">
- <assertion id="a" testable="false">
- <text>The built-in |@Model| stereotype is intended for use with beans that define the model layer of an MVC web application architecture such as JSF</text>
+ <section id="2.7.3" title="Built-in stereotypes">
+ <assertion id="aa" testable="false">
+ <text>The built-in stereotype |@javax.enterprise.inject.Model| is intended for use with beans that define the model layer of an MVC web application architecture such as JSF</text>
<note>Tested by API signature test</note>
</assertion>
More information about the weld-commits
mailing list