package mantra.web
Request
CLASS
public class
Represents a parsed incoming HTTP request with headers, path parameters, query parameters, and payload data.
🏗️ Constructor Summary
Constructor Signature
def __init__(self, method: String, path: String)
⚙️ Method Summary
| Modifier & Return Type | Method Signature | Description |
|---|---|---|
String |
pub def header(name: String) |
Retrieves a request header value by case-insensitive name. |
String |
pub def param(name: String) |
Retrieves a path parameter captured from route wildcards. |
String |
pub def query_param(name: String) |
Retrieves a query string parameter value. |
String |
pub def json_body() |
Returns the raw JSON body payload string if present. |
🔍 Detailed Method Specifications
pub def header(name: String) -> String
Retrieves a request header value by case-insensitive name.
pub def param(name: String) -> String
Retrieves a path parameter captured from route wildcards.
pub def query_param(name: String) -> String
Retrieves a query string parameter value.
pub def json_body() -> String
Returns the raw JSON body payload string if present.
💡 Example Usage
request_example.mantra
let auth_header = req.header("Authorization")
let user_id = req.param("id")
let page_num = req.query_param("page")
let raw_json = req.json_body()