Class Http :: Server :: HttpRedirectResponse
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 refine existing API models. If you want to model new APIs,
extend HttpRedirectResponse::Range
instead.
Import path
import semmle.python.Concepts
Direct supertypes
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 |
asVar |
Gets the ESSA variable 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 HttpResponse |
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 HttpResponse |
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 |