Problem running code with JML2 in Eclipse

Posted by devoured elysium on Stack Overflow See other posts from Stack Overflow or by devoured elysium
Published on 2010-03-18T17:19:30Z Indexed on 2010/03/18 17:21 UTC
Read the original article Hit count: 311

Filed under:

jml

|

java

|

eclipse

I'm having trouble running JML2 in Eclipse. I have the foolowing code:

public class MainClass {
    public static void main(String[] args) {
        System.out.println(-9.0);
    }

    //@requires x >= 7.0
    public static double getSquare(double x) {
        return Math.sqrt(x);
    }
}

The error I'm getting is: alt text

Is there anything wrong with the syntax I've used?

Thanks

© Stack Overflow or respective owner

Related posts about jml

Why isn't JML implemented as Annotations in Java?

as seen on Stack Overflow - Search for 'Stack Overflow'
Contrary to Code Contracts in C#, in JML Code Contracts are just text that's used in the form of comments in the header of a method. Wouldn't it be better to have them exposed as Annotations, then? That way even when compiling the information would persist on the .class's metadata, contrary to comments… >>> More
Contracts vs Exceptions

as seen on Stack Overflow - Search for 'Stack Overflow'
Let's assume I have the following code: public class MainClass { public static void main(String[] args) { System.out.println(sumNumbers(10, 10)); } //@requires a >= 10; //@ensures \result < 0; public static int sumNumbers(int a, int b) { return a+b; … >>> More
Problem running code with JML2 in Eclipse

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm having trouble running JML2 in Eclipse. I have the foolowing code: public class MainClass { public static void main(String[] args) { System.out.println(-9.0); } //@requires x >= 7.0 public static double getSquare(double x) { return Math.sqrt(x); } } The… >>> More
select query from mysql_num_rows

as seen on Stack Overflow - Search for 'Stack Overflow'
i want create multiple search where statement $where_search is a multiple condition from post form. but stil error when iam using this code ".where_search." in where condition with mysql_num_rows for paging $tampil2 = mysql_query("SELECT * FROM bb where ".$where_search." and kd_kelompok='2' and… >>> More
Spring Design By Contract: where to start?

as seen on Stack Overflow - Search for 'Stack Overflow'
I am trying to put a "Contract" on a method call. My web application is in Spring 3. Is writing customs Annotations the right way to go. If so, any pointers( I didn't find anything in spring reference docs). Should I use tools like "Modern Jass", JML ...? Again any pointers will be useful. Thanks >>> More

Related posts about java

Tomcat 6: Access Control Exception?

as seen on Server Fault - Search for 'Server Fault'
I'm trying to setup a tomcat6 server, and I'm trying to match another setup someone else established. However, my deployment (default Ubuntu install) uses a policy.d/ directory structure, and the established server just uses a catalina.policy file. I've tried setting every entry in policy.d to match… >>> More
Problem in creation MDB Queue connection at Jboss StartUp

as seen on Stack Overflow - Search for 'Stack Overflow'
I am not able to create a Queue connection in JBOSS4.2.3GA Version & Java1.5, as I am using MDB as per the below details. I am putting this MDB in a jar file(named utsJar.jar) and copied it in deploy folder of JBOSS, In the test env. this MDB works well but in another env. [ env settings and… >>> More
failing to establish connection between Postgres db and gwt

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, I am using Postgres and gwt 2.0 for one of my applications. I am facing problem connecting to the database. When I try to connect it gives "ClassNotFoundException". Here is what I get when I try to connect to database: java.lang.ClassNotFoundException: org.postgresql.Driver at java.net… >>> More
failing to establish connection between postgre db and gwt

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, For i am using postgre and gwt 2.0 for one of my applications. I am facing problem connecting to the database. When i try to connect it gives "ClassNotFoundException". Here is what i get when i try to connect to database: java.lang.ClassNotFoundException: org.postgresql.Driver at java.net… >>> More
Migration and deployement problems JBoss 4.2.2.GA to JBoss 6.0.0.M2

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, I'm trying to migrate an application running on JBoss 4.2.2.GA to JBoss 6.0.0.M2 I give you some log to explain my problem : boot.log : 2010-03-16 09:59:29,406 ERROR [org.jboss.system.server.profileservice.ProfileServiceBootstrap] (Thread-2) Failed to load profile: Summary of incomplete deployments… >>> More