kiniry / Mobius

4 stars 8 forks source link

[Task #1123] add Java Card support #228

Open atiti opened 11 years ago

atiti commented 11 years ago

{{{

!html

Reply to: noreply@sort.ucd.ie }}} {{{ Task #1123 has been updated.

Project: ESC/Java2 Subproject: To Do Summary: add Java Card support Complete: 0% Status: Closed

Description: Moving feature request from SourceForge: https://sourceforge.net/tracker/index.php?func=detail&aid=970215&group_id=65346&atid=510629


Add a new switch -javacard which should turn on Java Card support in ESC/Java2 transparently.

Adding support for such will entail: o shipping the Java Card API that has been developed in Nijmegen. This jar file of specs replaces the portions of jmlspecs.jar that specify core Java classes (e.g., java.lang). This might mean we have to split jmlspecs.jar into two pieces, based upon some feedback I have received from Erik. o disable some types. Java Card 2.x supports integral types byte, char, and short but not int or long. Later/alternate versions of Java Card support ints. This variance is why we'll probably need an optional on the -javacard switch. o adding other new non-type-related tests for Java Card conformance (see appropriate Appendix of Java Card spec or book for enumeration)

Follow-Ups:


Date: 2007-04-25 17:30 By: jkiniry

Comment: Fixing End Date.


Date: 2007-04-25 17:28 By: jkiniry

Comment: Reassigning to Dermot as this will be a good independent project for him to own this Summer, and we'll be needing to do the exact same thing for MIDP in the near future for Mobius.


For more info, visit:

http://sort.ucd.ie/pm/task.php?func=detailtask&project_task_id=1123&group_id=97&group_project_id=170 }}}

atiti commented 11 years ago

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

added mailto line

This message has 0 attachment(s)

atiti commented 11 years ago

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

added mailto line

This message has 0 attachment(s)

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Thu Jan 17 16:25:34 2008

Instance of #325

atiti commented 11 years ago

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

Milestone ESCJava2.0b5 release deleted