netbeans - How do we apply JML (openJML) to Java Code? -

-

how apply jml java code? i'm still new in design contracts , quite lost on how apply program.

http://jmlspecs.sourceforge.net/

using:

  • openjml
  • netbeans 7.3
  • java sdk 1.7

i have added openjml jar files classpath of netbeans. tried cofoga google jml version import com.google.java.contract.ensures; import com.google.java.contract.requires can add pre , post conditions

how specify pre condition , post condition using openjml in program?

i found needed; importing library annotations: 

import org.jmlspecs.annotation.requires; import org.jmlspecs.annotation.ensures;

Comments

Post a Comment

Popular posts from this blog

Unable to remove the www from url on https using .htaccess -

-
i want remove www site url. ie. https://www.domainname.com.au https://domainname.com.au . i have tried various .htacces code nothing work me. here present code remove www http not work https. rewriteengine on rewritebase / rewritecond %{http_host} ^www\.(.*)$ [nc] rewriterule ^/(.*)$ http://%1/$1 [r=301,l] rewritecond %{https} off rewriterule ^(.*)$ https://domainname.com.au/$1 [r=301,l] rewriterule ^code-of-conducts/(.*)/$ code-of-conducts.php?type=$1 rewriterule ^parents/post-a-job/(.*)/edit/$ parents/post-a-job.php?action=edit&id=$1 rewriterule ^parents/post-a-job/(.*)/$ parents/post-a-job.php?job_type=$1 rewriterule ^parents/open-jobs/(.*)/delete/$ parents/open-jobs.php?action=delete&id=$1 rewriterule ^parent-profile/(.*)/$ parent-profile.php?id=$1 rewriterule ^parents/job-details/(.*)$ parents/job-details.php?applied_id=$1 rewriterule ^sitterprofile/(.*)/$ sitterprofile.php?id=$1 rewriterule ^sitter/job-board/state/(.*)/page/(.*)/$ sitter/job-board.ph...
Read more