jmlServlets
I used JML annotations for servlet classes. In order to verify those i used ESC/Java2 static verification tool
Problem is that When i go for simple java classes it's working fine but wen i go for servlets it showing error messages for import statements "No such type javax.servlet..."
and its also not resolving type 'HttpServlet'
I used JML annotations for servlet classes. In order to verify those i used ESC/Java2 static verification tool
Problem is that When i go for simple java classes it's working fine but wen i go for servlets it showing error messages for import statements "No such type javax.servlet..."
and its also not resolving type 'HttpServlet'