SessionGrammar

event get-login {
   has $request  = $<request>
   has $response = $<response>
   
   match {
      <request method=“GET” path=“/login”>
      <response reponse-for=$request>
   }
}

event post-login {
   has $request  = $<request>
   has $response = $<response>
   
   match {
      <request method=“POST” path=“/login”>
      <response response-for=$request>
   }
}

event login {
   has $get        = $<get-login>
   has $post       = $<post-login>
   has $session-id = $post.response.cookies.session-id
   
   match {
      <get-login>
      <post-login header.form-id=$get.response.header.form-id>
   }
}
event session {
   has $session-id = $<login>.session-id
   has @requests   = $<request>

   match {
      <login>
      <request cookies.session-id=$session-id>* % ..5min
   }
}