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()