java - OpenJML with generics? -

-

I have a class Edge.java . When I run it through OpenJML, this happens:

Error: An internal JML error occurred, possibly recoverable. Please report bugs as much as you can with reason: com.sun.tools.javac.code.Symbol $ TypeSymbol can not be entered for com.sun.tools.javac.code.Symbol $ ClassSymbol The strange thing is,

My jdk is 1.7, openjml is turned on (to make sure both have been downloaded again).

This is the command to use for running openjml (after example from the site): java -jar "E: \ Downloads \ openjml \ openjml.jar" -esc -prover z3_4_3 - Exec "e: \ Downloads \ z3-4.3.0-x64 \ bin \ z3.exe" -noPurityCheck Test.java

EDIT: I can confirm that with a lot of generic Simple classes can also cause this error: 

  Public square test & lt; T & gt; {TI; }

Edge.java 

  Public square edge & lt; K & gt; Applied comparative & lt; Edge & lt; K & gt; & Gt; {Public K N1, N2; Public full weight; Public Ultimate IT Tiebraker; Public stable int nextTiebreaker = 0; Public Edge (KN1, K2, Int Weight) {this.n1 = n1; This.n2 = n2; this. Weight = weight; Tiebraker = Next Tibreaker ++; } Compare @ Override Public Int (Edge & Lt; k & gt; o) {if (weight> gt; o.we.) returns +1; If (this weight is

solution I think That is to remove the -sc option (runs extended static probes). The proper way to solve this is not sure.


Comments

Post a Comment

Popular posts from this blog

Pass DB Connection parameters to a Kettle a.k.a PDI table Input step dynamically from Excel -

-
Image
I have a requirement whenever I run my own kettle, dynamically took database connection parameters from an excel source Every run should go. I have an Excel column names: hostname, username, database, password. I want to pass these connection parameters to my table input stage dynamically whenever it runs the job. This is what I was trying to do. You can get it Connection parameters from the DB reading source (for example Excel or a CSV file in my example) < / Li> Store the parameters in the variable Using the variable in your connection's settings. Setting Variables Create another conversion for (you can not do it in the same conversion Uses): set variables element variable: The element that reads / writes your data creates a new connection and sets the connection parameter using $ {variable name_} Note that you will need to type in the field field in the field $ {password} Also keep in mind that this can be a security problem as the
Read more

multithreading - PhantomJS-Node in a for Loop -

-
I am trying to implement a screen-scraps application that opens a URL in which a parameter changes as it is for a loop: var data = [ '100', '101', '102', '103', '104']; (Var indexA = 0; indexA & lt; data.length; indexA ++) for {Phantom Generation ({'port': freeport}, function (pH) {ph.create page (function (page) {page.open ("http: //...++ data [index B] +" ... " , Status {console.log ("open site:" + data [index B], position); / * OLD * / indexB ++; page evaluation (function () {// page scrape and an object Return}, function {console.log (result.dataRequest); // here is the problem}); / * new and fixed * / indexB ++} first console Logs it: Open Site: 100 Success Opens Site: 101 Success B Ola Site: 102 Success Opening Site: 103 Success Opened Site: 104 Success Which is good. Data is verified in scrap HTML and from index to array Matches. So in page 101 I scrap '101 and retrieve' and pu
Read more

c++ - MATLAB .m file to .mex file using Matlab Compiler -

-
I know that it can speak as a very famous topic, but something that helps me with it Not found This scenario is: I have my functions function, no matter what's inside, it's a generic function that may depend on other toolboxes. Does. Has input and output; I want to generate the same myFun.mex function; : Lib myFun This way I get some new files: libmyfun.c libmyfun.dll Libmyfun.exp libmyfun.exports libmyfun .h libmyfun.lib Reading around and I think that Creating a myfun.cpp that is very famous is included: / * gateway function * / zero max function (ent NLHS, MXARRA * PLS [], int NRHS, CONST M Xeray * PHS []) Here is the Variable Deals * / / * code here * /} I have tried to do this and are called Regular of Max Generation: Max ('- v', 'myfun.cpp') But I get many errors, and I should say that my myfun.cpp copy / Paste Function is where I have a lot of doubts ... especially on input / output management. My q
Read more