@@ -209,18 +209,14 @@ module HTTP {
209209 *
210210 * Use `RequestSource.ref()` to get reference to this request object.
211211 */
212- final Servers:: RequestSource getARequestSource ( ) {
213- result .getRouteHandler ( ) = this
214- }
212+ final Servers:: RequestSource getARequestSource ( ) { result .getRouteHandler ( ) = this }
215213
216214 /**
217215 * Gets a response object originating from this route handler.
218216 *
219217 * Use `ResponseSource.ref()` to get reference to this response object.
220218 */
221- final Servers:: ResponseSource getAResponseSource ( ) {
222- result .getRouteHandler ( ) = this
223- }
219+ final Servers:: ResponseSource getAResponseSource ( ) { result .getRouteHandler ( ) = this }
224220
225221 /**
226222 * Gets an expression that contains a request object handled
@@ -315,8 +311,7 @@ module HTTP {
315311 abstract RouteHandler getRouteHandler ( ) ;
316312
317313 /** DEPRECATED. Use `ref().flowsTo()` instead. */
318- deprecated
319- predicate flowsTo ( DataFlow:: Node nd ) { ref ( ) .flowsTo ( nd ) }
314+ deprecated predicate flowsTo ( DataFlow:: Node nd ) { ref ( ) .flowsTo ( nd ) }
320315
321316 private DataFlow:: SourceNode ref ( DataFlow:: TypeTracker t ) {
322317 t .start ( ) and
@@ -326,9 +321,7 @@ module HTTP {
326321 }
327322
328323 /** Gets a `SourceNode` that refers to this request object. */
329- DataFlow:: SourceNode ref ( ) {
330- result = ref ( DataFlow:: TypeTracker:: end ( ) )
331- }
324+ DataFlow:: SourceNode ref ( ) { result = ref ( DataFlow:: TypeTracker:: end ( ) ) }
332325 }
333326
334327 /**
@@ -343,8 +336,7 @@ module HTTP {
343336 abstract RouteHandler getRouteHandler ( ) ;
344337
345338 /** DEPRECATED. Use `ref().flowsTo()` instead. */
346- deprecated
347- predicate flowsTo ( DataFlow:: Node nd ) { ref ( ) .flowsTo ( nd ) }
339+ deprecated predicate flowsTo ( DataFlow:: Node nd ) { ref ( ) .flowsTo ( nd ) }
348340
349341 private DataFlow:: SourceNode ref ( DataFlow:: TypeTracker t ) {
350342 t .start ( ) and
@@ -354,9 +346,7 @@ module HTTP {
354346 }
355347
356348 /** Gets a `SourceNode` that refers to this response object. */
357- DataFlow:: SourceNode ref ( ) {
358- result = ref ( DataFlow:: TypeTracker:: end ( ) )
359- }
349+ DataFlow:: SourceNode ref ( ) { result = ref ( DataFlow:: TypeTracker:: end ( ) ) }
360350 }
361351
362352 /**
0 commit comments