search

kiniry / Mobius

4 stars 8 forks source link

Re: ESCJava bugs #342

Open atiti opened 11 years ago

atiti commented 11 years ago

{{{

!html

Reply to: Dermot Cochran }}} {{{

On Feb 14, 2008, at 1:28 PM, Wojciech Mostowski wrote:

Dermot Cochran wrote:

You can file bugs using the Mobius Trac: https://mobius.ucd.ie of by email: mobius-ticket@mobius.ucd.ie Which version of ESC/Java2 were you using?

Just downloaded the newest I could find - 2.0b4.

/Wojtek

On Feb 14, 2008, at 12:43 PM, Wojciech Mostowski wrote:

Hi Joe & Dermot,

Where do I officially file ESCJava bugs? Any bug tracking page
somewhere, quick browse through the ks pages did not bring
anything. Starting a small project now and already encountered
one (see below), will probably collect more.

Cheers,

Wojtek

I got this exception:

Exception java.lang.ClassCastException: javafe.ast.ArrayType
thrown while processing sos.enikapplet.EFEntry

Can you attach/send a copy of the Java file that you are working with.

Which version of Java are you using and which operating system?

java.lang.ClassCastException: javafe.ast.ArrayType at escjava.translate.Frame$ModifiesIterator.add (Frame.java:1113) at escjava.translate.Frame$ModifiesIterator.next (Frame.java:1035) at escjava.translate.GetSpec.trMethodDecl(GetSpec.java:490) at escjava.translate.GetSpec.getCommonSpec(GetSpec.java:87) at escjava.translate.GetSpec.getSpecForCall(GetSpec.java:36) at escjava.translate.Translate.call(Translate.java:3933) at escjava.translate.Translate.trConstructorCallStmt (Translate.java:2171) at escjava.translate.Translate.trConstructorBody (Translate.java:390) at escjava.translate.Translate.trBody(Translate.java:242) at escjava.Main.computeBody(Main.java:1330) at escjava.Main.processRoutineDecl(Main.java:801) at escjava.Main.processTypeDeclElem(Main.java:697) at escjava.Main.processTD(Main.java:641) at escjava.Main.handleTD(Main.java:514) at javafe.SrcTool.handleCU(SrcTool.java:303) at escjava.Main.handleCU(Main.java:467) at javafe.SrcTool.handleAllCUs(SrcTool.java:248) at javafe.SrcTool.frontEndToolProcessing(SrcTool.java:116) at javafe.FrontEndTool.run(FrontEndTool.java:271) at escjava.Main.compile(Main.java:242) at escjava.Main.main(Main.java:197)

Wojciech Mostowski Radboud University Nijmegen Department of Computing Science P.O. Box 9010, 6500 GL Nijmegen, The Netherlands e-mail: woj@cs.ru.nl www: http://www.cs.ru.nl/~woj/ phone: +31-24-365 2076 fax: +31-24-365 2298

Dermot Cochran Dermot.Cochran@ucd.ie Systems Research Group School of Computer Science & Informatics UCD CASL 8 Belfield Office Park Clonskeagh Dublin 4, Ireland Tel: +353-1-716-5349

Wojciech Mostowski Radboud University Nijmegen Department of Computing Science P.O. Box 9010, 6500 GL Nijmegen, The Netherlands e-mail: woj@cs.ru.nl www: http://www.cs.ru.nl/~woj/ phone: +31-24-365 2076 fax: +31-24-365 2298

Dermot Cochran Dermot.Cochran@ucd.ie Systems Research Group School of Computer Science & Informatics UCD CASL 8 Belfield Office Park Clonskeagh Dublin 4, Ireland Tel: +353-1-716-5349

}}}

atiti commented 11 years ago

From: Dermot Cochran (GH: None) Date: Thu Feb 14 14:52:50 2008

added mailto line

This message has 0 attachment(s)

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Mon Jun 30 11:36:23 2008

Milestone ESCJava2.0b5 release deleted