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 No aliases between flagged objects in Task request(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket, Request rold).
   4
   5 ---------start(StartupObject s)--------
   6 No aliases between flagged objects in Task start(StartupObject s).
   7
   8 ---------sendnext(Request rprev, Request r)--------
   9 No aliases between flagged objects in Task sendnext(Request rprev, Request r).
  10
  11 ---------sendfirst(Request r)--------
  12 No aliases between flagged objects in Task sendfirst(Request r).
  13
  14 ---------sendfirstresp(Request r, MySocket sock)--------
  15 No aliases between flagged objects in Task sendfirstresp(Request r, MySocket sock).
  16
  17 ---------recvreq(Request r)--------
  18 No aliases between flagged objects in Task recvreq(Request r).
  19
  20 ---------requestmore(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, Request rold)--------
  21 No aliases between flagged objects in Task requestmore(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, Request rold).
  22
  23 ---------sendresp(Request rprev, Request r, MySocket sock)--------
  24 No aliases between flagged objects in Task sendresp(Request rprev, Request r, MySocket sock).
  25
  26 ---------acceptconnection(ServerSocket ss)--------
  27 No aliases between flagged objects in Task acceptconnection(ServerSocket ss).
  28
  29 ---------requestfirst(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket)--------
  30 No aliases between flagged objects in Task requestfirst(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket).