Class Http::Server::HttpRedirectResponse::Range
A data-flow node that creates a HTTP redirect response on a server.
Note: we don’t require that this redirect must be sent to a client (a kind of “if a tree falls in a forest and nobody hears it” situation).
Extend this class to model new APIs. If you want to refine existing API models,
extend HttpResponse instead.
Import path
import semmle.python.ConceptsDirect supertypes
Known direct subtypes
Predicates
| getRedirectLocation | Gets the data-flow node that specifies the location of this HTTP redirect response. |
Inherited predicates
| asCfgNode | Gets the control-flow node corresponding to this node, if any. | from Node |
| asExpr | Gets the expression corresponding to this node, if any. | from Node |
| getALocalSource | Gets a local source node from which data may flow to this node in zero or more local data-flow steps. | from Node |
| getBody | Gets the data-flow node that specifies the body of this HTTP response. | from Range |
| getEnclosingCallable | Gets the enclosing callable of this node. | from Node |
| getLocation | Gets the location of this node | from Node |
| getMimetype | Gets the mimetype of this HTTP response, if it can be statically determined. | from Range |
| getMimetypeDefault | Gets the default mimetype that should be used if | from Range |
| getMimetypeOrContentTypeArg | Gets the data-flow node that specifies the content-type/mimetype of this HTTP response, if any. | from Range |
| getScope | Gets the scope of this node. | from Node |
| hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Node |
| toString | Gets a textual representation of this element. | from Node |