• Post Reply Bookmark Topic Watch Topic
  • New Topic
programming forums Java Mobile Certification Databases Caching Books Engineering Micro Controllers OS Languages Paradigms IDEs Build Tools Frameworks Application Servers Open Source This Site Careers Other Pie Elite all forums
this forum made possible by our volunteer staff, including ...
Marshals:
  • Campbell Ritchie
  • Jeanne Boyarsky
  • Ron McLeod
  • Paul Clapham
  • Liutauras Vilda
Sheriffs:
  • paul wheaton
  • Rob Spoor
  • Devaka Cooray
Saloon Keepers:
  • Stephan van Hulst
  • Tim Holloway
  • Carey Brown
  • Frits Walraven
  • Tim Moores
Bartenders:
  • Mikalai Zaikin

JML (java modeling languge): how to verify servlets with JML

 
Greenhorn
Posts: 2
  • Mark post as helpful
  • send pies
    Number of slices to send:
    Optional 'thank-you' note:
  • Quote
  • Report post to moderator
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'
 
Sheriff
Posts: 67746
173
Mac Mac OS X IntelliJ IDE jQuery TypeScript Java iOS
  • Mark post as helpful
  • send pies
    Number of slices to send:
    Optional 'thank-you' note:
  • Quote
  • Report post to moderator
You need to add the servlets jar into the classpath.
 
nikhil rupanawar
Greenhorn
Posts: 2
  • Mark post as helpful
  • send pies
    Number of slices to send:
    Optional 'thank-you' note:
  • Quote
  • Report post to moderator
ok i did this .... thanks


but i am getting this errors. i am using jre1.6 is there any problem ?
i am not much experienced programmer in jsp.



D:\nikesc\ESCJava>escj BannerServlet.java

D:\nikesc\ESCJava>"java" -Dsimplify=D:\nikesc

\ESCJava\Simplify-1.5.4.exe -cl
path "D:\nikesc\ESCJava\esctools2.jar;D:\nikesc

\ESCJava\Utils\BCEL\bcel-5.2\b
-5.2.jar;D:\nikesc\ESCJava\Utils\Javafe

\Javafe2.0.5b.jar" escjava.Main -class
h D:\nikesc\ESCJava\jmlspecs.jar -classpath \D:

\nikesc\ESCJava\servlet-2.4.
. -nowarn Deadlock -specs D:\nikesc\ESCJava\specs

BannerServlet.java
ESC/Java version ESCJava-2.0b2
BannerServlet.java: Caution: Using given file as

the .java file, even though
is not the java file for servlets.BannerServlet on

the classpath
[0.052 s 15540408 bytes]

servlets.BannerServlet ...
BannerServlet.java:64: Error: No such method

getWriter() in type javax.servle
ttp.HttpServletResponse
PrintWriter out = response.getWriter();
^
BannerServlet.java:70: Error: No such method

getContextPath() in type javax.s
let.http.HttpServletRequest
request.getContextPath() +
^
BannerServlet.java:70: Error: No method valueOf

(error) matching given argumen
ypes
request.getContextPath() +
^
BannerServlet.java:69: Error: No method

_infixConcat_(java.lang.String, error
atching given argument types
... 0066\">Duke's </font> <img src=\"" +
^
BannerServlet.java:69: Error: No method valueOf

(error) matching given argumen
ypes
... 0066\">Duke's </font> <img src=\"" +
^
BannerServlet.java:70: Error: No method

_infixConcat_(error, java.lang.String
atching given argument types
request.getContextPath() +
^
BannerServlet.java:70: Error: No method valueOf

(error) matching given argumen
ypes
request.getContextPath() +
^
BannerServlet.java:71: Error: No method

_infixConcat_(error, java.lang.String
atching given argument types
... f\" alt=\"Duke holding books\"\">" +
^
BannerServlet.java:71: Error: No method valueOf

(error) matching given argumen
ypes
... f\" alt=\"Duke holding books\"\">" +
^
BannerServlet.java:72: Error: No method

_infixConcat_(error, java.lang.String
atching given argument types
... color=\"black\">Bookstore</font>" + "</h1>" +
^
BannerServlet.java:72: Error: No method valueOf

(error) matching given argumen
ypes
... color=\"black\">Bookstore</font>" + "</h1>" +
^
BannerServlet.java:72: Error: No method

_infixConcat_(error, java.lang.String
atching given argument types
... lack\">Bookstore</font>" + "</h1>" +
^
BannerServlet.java:72: Error: No method valueOf

(error) matching given argumen
ypes
... lack\">Bookstore</font>" + "</h1>" +
^
BannerServlet.java:73: Error: No method

_infixConcat_(error, java.lang.String
atching given argument types
"</center>" + "<br>   <hr>

<br> ");
^
C:\Program Files\Java\jre6\lib

\rt.jar:java/io/Writer.class: Error: Different
incompatible return types on overridden(hidden) and

overriding(hiding) method
C:\Program Files\Java\jre6\lib

\rt.jar:java/io/Writer.class: Error: Different
incompatible return types on overridden(hidden) and

overriding(hiding) method
C:\Program Files\Java\jre6\lib

\rt.jar:java/io/Writer.class: Error: Different
incompatible return types on overridden(hidden) and

overriding(hiding) method
C:\Program Files\Java\jre6\lib

\rt.jar:java/io/PrintWriter.class: Error: Diffe
t or incompatible return types on overridden

(hidden) and overriding(hiding) m
ods
C:\Program Files\Java\jre6\lib

\rt.jar:java/io/PrintWriter.class: Error: Diffe
t or incompatible return types on overridden

(hidden) and overriding(hiding) m
ods
C:\Program Files\Java\jre6\lib

\rt.jar:java/io/PrintWriter.class: Error: Diffe
t or incompatible return types on overridden

(hidden) and overriding(hiding) m
ods
BannerServlet.java:67: Error: No method println

(error) matching given argumen
ypes
out.println("<body bgcolor=\"#ffffff\">" +

"<center>" +
^
Caution: Turning off extended static checking due

to type error(s)
[0.772 s 22282144 bytes total] (aborted)
2 cautions
21 errors
 
With a little knowledge, a cast iron skillet is non-stick and lasts a lifetime.
reply
    Bookmark Topic Watch Topic
  • New Topic