Robust/src/Benchmarks/Ownership/Jhttpp2BR.txt

   1 Conducting ownership analysis with allocation depth = 1
   2 ---------request(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket, Request rold)--------
   3 Task request(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket, Request rold) contains no aliases between flagged objects.
   4
   5 ---------start(StartupObject s)--------
   6 Task start(StartupObject s) contains no aliases between flagged objects.
   7
   8 ---------sendnext(Request rprev, Request r)--------
   9 Task sendnext(Request rprev, Request r) contains no aliases between flagged objects.
  10
  11 ---------sendfirst(Request r)--------
  12 Task sendfirst(Request r) contains no aliases between flagged objects.
  13
  14 ---------sendfirstresp(Request r, MySocket sock)--------
  15 Task sendfirstresp(Request r, MySocket sock) contains no aliases between flagged objects.
  16
  17 ---------recvreq(Request r)--------
  18 Task recvreq(Request r) contains no aliases between flagged objects.
  19
  20 ---------requestmore(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, Request rold)--------
  21 Task requestmore(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, Request rold) contains no aliases between flagged objects.
  22
  23 ---------sendresp(Request rprev, Request r, MySocket sock)--------
  24 Task sendresp(Request rprev, Request r, MySocket sock) contains no aliases between flagged objects.
  25
  26 ---------acceptconnection(ServerSocket ss)--------
  27 Task acceptconnection(ServerSocket ss) contains no aliases between flagged objects.
  28
  29 ---------requestfirst(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket)--------
  30 Task requestfirst(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket) contains no aliases between flagged objects.