Example: Tomcat Server

 Browse: Tomcat.csv

 Add: cfi.currentMethod

 Abbreviations: cfi.currentMethod = s

 Sample Properties:

 //Every servlet that is allocated is eventually deallocated
   P [ s = "StandardWrapper.allocate" ~~> s = "StandardWrapper.deallocate" ]

// Every servlet request is handled by the service method of the HttpServlet class
  P [ s = "StandardWrapper.allocate" ~~>
 s = "HttpServlet.service" ~~> s =
"StandardWrapper.deallocate" ]

//Every servlet is initialized before any of its service methods are invoked
P [ s = "StandardWrapper.allocate" ~> s = "EntryServlet.init" 
~> s = "EntryServlet.doGet" ]
P [ s = "StandardWrapper.allocate" ~> s = "QueryServlet.init" 
~> s = "QueryServlet.doPost" ]
P [ s = "StandardWrapper.allocate" ~> s = "OrderServlet.init" 
~> s = "OrderServlet.doPost" ]

//The servlets are destroyed when they are undeployed.
P [ s = "StandardWrapper.unload" ~> s = "QueryServlet.destroy" ]
P [ s = "StandardWrapper.unload" ~> s = "EntryServlet.destroy" ]
P [ s = "StandardWrapper.unload" ~> s = "OrderServlet.destroy" ]