kiniry / Mobius

4 stars 8 forks source link

[ escjava-Bugs-577 ] Modifies warning disappears #110

Open atiti opened 11 years ago

atiti commented 11 years ago

{{{

!html

Reply to: noreply@sort.ucd.ie }}} {{{ Bugs item #577, was opened at 2007-06-14 13:42 You can respond by visiting: http://sort.ucd.ie/tracker/?func=detail&atid=441&aid=577&group_id=97

Category: None Group: 2.0b0 Status: Open Resolution: None Priority: 3 Submitted By: Aleksy Schubert (alx-gforge) Assigned to: Nobody (None) Summary: Modifies warning disappears

Initial Comment: An ESC/Java2 check for Maina.java:

import java.util.LinkedList; /@ pure @/ class Maina { private int b; private LinkedList l = new LinkedList(); Maina() { } public int length() { if (l==null) return 0; l.clear(); return l.size(); } }

gives a proper warning:

Maina: length() ...

Maina.java:25: Warning: Possible violation of modifies clause (Modifies) l.clear(); ^ Associated declaration is "/home/alx/bug/../esc/specs/java/util/Collection.spec", line 303, col 21: @ assignable objectState; ^ Associated declaration is "Maina.java", line 19, col 2: public int length() { ... ^ Execution trace information: Executed else branch in "Maina.java", line 21, col 4.

while adding some random code such as in Main.java:

import java.util.LinkedList; /@ pure @/ class Main { private int b; private LinkedList l = new LinkedList(); Main() { } public int length() { int x = 10; int y = 10; int aa[] = new int[10]; for (int i=0;i<x;i++) { y += i; aa[i] = y; } l.clear(); return aa.length * y + x + b + l.size(); } } causes the warning to disappear.


You can respond by visiting: http://sort.ucd.ie/tracker/?func=detail&atid=441&aid=577&group_id=97 }}}

atiti commented 11 years ago

From: (GH: None) Date: Sat Dec 15 17:05:59 2007

added mailto line

This message has 0 attachment(s)

atiti commented 11 years ago

From: None (GH: None) Date: Tue Apr 27 14:34:16 2010

Milestone ESCJava2 2.0.9 release deleted

atiti commented 11 years ago

From: JohnAdled (GH: None) Date: Mon Apr 23 03:56:56 2012

http://www.Idonthaveasite.com - Nosite Excellent post! Really loved it, havent seen an artice this good in a while.

atiti commented 11 years ago

From: TreeJohn (GH: None) Date: Fri Apr 27 04:55:28 2012

Formula for success: Rise early, work hard, strike oil. rare gold coins

atiti commented 11 years ago

From: FoleJet (GH: None) Date: Fri Apr 27 06:09:48 2012

Hi there, just became aware of this site through Bing, and found that it's really informative. I'm gonna check out for new articles. I will be grateful if you continue this in future. A lot of people will be benefited from your writing. Cheers! <a href=http://joos.ru/images/guest/index.php?showforum=1Result:usingproxy119.46.110.197:8080;chosennickname"BjoeXr";registered(100%);loggedin;success-postedto>business intelligence systems

atiti commented 11 years ago

From: PromoBruce (GH: None) Date: Fri Apr 27 06:27:48 2012

I think I will change to this blogengine system as it is a lot nicer than mine. <a href=http://www.elportaldelasalsa.com.ar/smf/index.php?action=post;board=7.0Result:usingproxy186.3.41.51:8080;chosennickname"CatTommy";captcharecognized;registered(100%);profileedited;UsageofBB-codeinprofileisforbidden;loggedin;choosenvaluesinselectfield-"Standard";success-postedto"NewTopic";>Nyt Tag

atiti commented 11 years ago

From: WhiteBao (GH: None) Date: Fri Apr 27 07:45:11 2012

It is truly good idea dude.iam really proud of you .
Do u have twitter?? i need to abide by you .thx <a href=http://www.newlaunchproperty-sg.com/stevens-suites-stevens-close/Result:usingproxy196.202.200.135:8080;pagetoolarge,notfullydownloaded;chosennickname"GreenJohn";success;>online branchenbuch

atiti commented 11 years ago

From: CelsoRishan (GH: None) Date: Fri Apr 27 13:09:30 2012

wicked blog, this is going on my twitter. raspberry ketone

atiti commented 11 years ago

From: TommyTree (GH: None) Date: Fri Apr 27 14:23:35 2012

Hello! I've been browsing your site for some time. You have really nice posts. Sweet job! hot looks for summer

atiti commented 11 years ago

From: Fruitschmole (GH: None) Date: Sat Apr 28 12:46:16 2012

You'r text helped me a lot, thank you for that, gonna use it, bookmarking your story at the moment^^ acai

atiti commented 11 years ago

From: ShaceFole (GH: None) Date: Sat Apr 28 15:39:21 2012

You really make it seem so easy with your presentation but I find this matter to be really something which I think I would never understand. It seems too complicated and very broad for me. I am looking forward for your next post, I’ll try to get the hang of it! online casino

atiti commented 11 years ago

From: ShawnFole (GH: None) Date: Sat Apr 28 18:14:36 2012

Hello! I have read some of your post here and found it interesting and it makes a lot of sense. Plus i love your theme here. Thumbs up! Keep on sharing! bars Denver

atiti commented 11 years ago

From: NedKierstin (GH: None) Date: Sun Apr 29 08:25:08 2012

Can I just say what a reduction to search out somebody who really knows what theyre talking about on the internet. You undoubtedly know how to carry a difficulty to mild and make it important. Extra folks must learn this and perceive this side of the story. I cant consider youre not more standard because you positively have the gift. buy twitter followers

atiti commented 11 years ago

From: ShaneRed (GH: None) Date: Sun Apr 29 09:05:36 2012

I am writing a paper on romoba vacuum cleaners and I observed this posting to be incredibly useful and informative. Thank you. hcgdiet.org

atiti commented 11 years ago

From: NasonDoe (GH: None) Date: Sun Apr 29 09:19:26 2012

very nice put up, i actually love this web site, keep on it dialysis technician certification

atiti commented 11 years ago

From: DoeMw (GH: None) Date: Sun Apr 29 19:19:49 2012

Great blog here! Also your web site loads up very fast! What web host are you using? Can I get your affiliate link to your host? I wish my site loaded up as quickly as yours lol business intelligence

atiti commented 11 years ago

From: ShaceMax (GH: None) Date: Sun Apr 29 20:39:09 2012

Nice one, thanks for the tip <a href=http://blog.ocean-hk.com/?p=84&cpage=49#comment-424481Result:usingproxy90.150.144.46:8080;POST-timeouts1;chosennickname"ShaneJohn";success(fromfirstpage);>tagesgeldkonto

atiti commented 11 years ago

From: FireDavedad (GH: None) Date: Sun Apr 29 23:39:17 2012

The following time I read a weblog, I hope that it doesnt disappoint me as a lot as this one. I imply, I do know it was my choice to read, however I really thought youd have one thing fascinating to say. All I hear is a bunch of whining about one thing that you might repair should you werent too busy on the lookout for attention. toll free number

atiti commented 11 years ago

From: AlingaPromo (GH: None) Date: Mon Apr 30 01:14:10 2012

I’m impressed, I must say. Really hardly ever do I encounter a weblog that’s both educative and entertaining, and let me let you know, you may have hit the nail on the head. Your idea is excellent; the problem is something that not enough persons are talking intelligently about. I'm very pleased that I stumbled throughout this in my seek for something relating to this. zoloft lawsuit settlements

atiti commented 11 years ago

From: JordanBlueda (GH: None) Date: Mon Apr 30 11:24:41 2012

Cheers for taking the time to discuss this, I feel can locate any data in write-up and discus forum Xrumer Mods

atiti commented 11 years ago

From: LegaiSuera (GH: None) Date: Tue May 1 12:08:45 2012

Excellent work the following. I really enjoyed what you had to say. gccf

atiti commented 11 years ago

From: (GH: None) Date: Sat Dec 15 17:11:15 2007

added mailto line

This message has 0 attachment(s)

atiti commented 11 years ago

From: kiniry (GH: kiniry) Date: Wed Oct 21 12:20:05 2009

Duplicate of #116.

atiti commented 11 years ago

From: (GH: None) Date: Sat Dec 15 17:15:31 2007

added mailto line

This message has 0 attachment(s)

atiti commented 11 years ago

From: kiniry (GH: kiniry) Date: Wed Oct 21 12:20:13 2009

Duplicate of #116.