With-Abstraction ..... 81 3.33 Without K ..... 90 4 Tools ..... 93 4.1 Automatic Proof Search (Auto) ..... 93 4.2 Command-line options ..... 96 4.3 Compilers ..... 99 4.4 Emacs Mode ..... 101 declared using BUILTIN pragmas. In contrast to the Agda.Builtin modules, the Agda.Primitive module is auto-imported and thus it is not possible to change the level built-ins. For reference these are the bindings: Search (Auto) Agda supports (since version 2.2.6) the command Auto, that searches for type inhabitants and fills a hole when one is found. The type inhabitant found is not necessarily unique. Auto can be

additional configuration classes Importing XML configuration 15. Auto-configuration Gradually replacing auto-configuration Disabling specific auto-configuration 16. Spring Beans and dependency injection 17 configuration 24. Developing web applications The 'Spring Web MVC framework' Spring MVC auto-configuration HttpMessageConverters MessageCodesResolver Static Content EnvironmentTestUtils OutputCapture TestRestTemplate 32. Developing auto-configuration and using conditions Understanding auto-configured beans Locating auto-configuration candidates Condition annotations Class

Importing XML Configuration ..... 32 6.4. Auto-configuration ..... 32 6.4.1. Gradually Replacing Auto-configuration ..... 33 6.4.2. Disabling Specific Auto-configuration Classes ..... 33 6.5. Spring Auto-configured Tests ..... 157 Auto-configured JSON Tests ..... 157 Auto-configured Spring MVC Tests ..... 160 Auto-configured Spring WebFlux Tests ..... 164 Auto-configured ..... 167 Auto-configured Data Cassandra Tests ..... 172 Auto-configured Data Couchbase Tests ..... 173 Auto-configured Data Elasticsearch Tests ..... 174 Auto-configured Data JPA

Importing XML Configuration ..... 30 3.4. Auto-configuration ..... 30 3.4.1. Gradually Replacing Auto-configuration ..... 31 3.4.2. Disabling Specific Auto-configuration Classes ..... 31 3.5. Spring 7. Developing Web Applications 89 4.7.1. The "Spring Web MVC Framework" 89 Spring MVC Auto-configuration 90 HttpMessageConverters 91 Custom JSON Serializers and Deserializers 91 MessageCodesResolver HATEOAS 99 CORS Support 100 4.7.2. The "Spring WebFlux Framework" 100 Spring WebFlux Auto-configuration 103 HTTP Codecs with HttpMessageReaders and HttpMessageWriters 103 Static Content

Configuration ..... 34 6.4. Auto-configuration ..... 34 6.4.1. Gradually Replacing Auto-configuration ..... 35 6.4.2. Disabling Specific Auto-configuration Classes ..... 35 6.4.3. Auto-configuration Packages Auto-configured Tests ..... 160 Auto-configured JSON Tests ..... 161 Auto-configured Spring MVC Tests ..... 164 Auto-configured Spring WebFlux Tests ..... 168 Auto-configured GraphQL Tests ..... 171 Auto-configured Data Cassandra Tests ..... 176 Auto-configured Data Couchbase Tests ..... 177 Auto-configured Data Elasticsearch Tests ..... 178 Auto-configured Data JPA Tests

Configuration ..... 34 6.4. Auto-configuration ..... 34 6.4.1. Gradually Replacing Auto-configuration ..... 35 6.4.2. Disabling Specific Auto-configuration Classes ..... 35 6.4.3. Auto-configuration Packages Auto-configured Tests ..... 158 Auto-configured JSON Tests ..... 159 Auto-configured Spring MVC Tests ..... 162 Auto-configured Spring WebFlux Tests ..... 166 Auto-configured Tests ..... 169 Auto-configured Data Cassandra Tests ..... 174 Auto-configured Data Couchbase Tests ..... 175 Auto-configured Data Elasticsearch Tests ..... 176 Auto-configured Data JPA Tests

Importing XML Configuration ..... 31 3.4. Auto-configuration ..... 31 3.4.1. Gradually Replacing Auto-configuration ..... 32 3.4.2. Disabling Specific Auto-configuration Classes ..... 32 3.5. Spring Developing Web Applications ..... 90 4.7.1. The "Spring Web MVC Framework" ..... 90 Spring MVC Auto-configuration ..... 91 HttpMessageConverters ..... 92 Custom JSON Serializers and Deserializers CORS Support ..... 101 4.7.2. The "Spring WebFlux Framework" ..... 101 Spring WebFlux Auto-configuration ..... 104 HTTP Codecs with HttpMessageReaders and HttpMessageWriters ..... 104 Static

Importing XML Configuration ..... 30 6.4. Auto-configuration ..... 30 6.4.1. Gradually Replacing Auto-configuration ..... 30 6.4.2. Disabling Specific Auto-configuration Classes ..... 30 6.5. Spring Beans ..... 121 Auto-configured Tests ..... 124 Auto-configured JSON Tests ..... 124 Auto-configured Spring MVC Tests ..... 126 Auto-configured Spring WebFlux Tests ..... 129 Auto-configured Data Tests ..... 131 Auto-configured Data JPA Tests ..... 131 Auto-configured JDBC Tests ..... 133 Auto-configured Data JDBC Tests ..... 134 Auto-configured jOOQ Tests ..... 134 Auto-configured Data

Configuration ..... 32 6.4. Auto-configuration ..... 32 6.4.1. Gradually Replacing Auto-configuration ..... 33 6.4.2. Disabling Specific Auto-configuration Classes ..... 33 6.4.3. Auto-configuration Packages Beans ..... 155 Auto-configured Tests ..... 158 Auto-configured JSON Tests ..... 159 Auto-configured Spring MVC Tests ..... 162 Auto-configured Spring WebFlux Tests ..... 166 Auto-configured Spring GraphQL Tests ..... 169 Auto-configured Data Cassandra Tests ..... 174 Auto-configured Data Couchbase Tests ..... 175 Auto-configured Data Elasticsearch Tests ..... 176 Auto-configured Data JPA Tests

Importing XML Configuration ..... 28 6.4. Auto-configuration ..... 28 6.4.1. Gradually Replacing Auto-configuration ..... 28 6.4.2. Disabling Specific Auto-configuration Classes ..... 28 6.5. Spring Developing Web Applications 111 7.7.1. The "Spring Web MVC Framework" 111 Spring MVC Auto-configuration 114 HttpMessageConverters 115 Custom JSON Serializers and Deserializers 115 CORS Support ..... 128 7.7.2. The "Spring WebFlux Framework" ..... 129 Spring WebFlux Auto-configuration ..... 132 HTTP Codecs with HttpMessageReaders and HttpMessageWriters ..... 133 Static