COSC6490A - jpf-native
https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6490A/
2026-09-26T02:10:08+00:00COSC6490A
https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6490A/
https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6490A/_media/wiki:dokuwiki-128.pngtext/html2009-05-14T21:03:36+00:00Anonymous (anonymous@undisclosed.example.com)Handling Native Code
https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6490A/jpf-native:start?rev=1242335016&do=diff
Handling Native Code
Consider, for example, the following app.
import java.util.Date;
public class Now
{
public static void main(String[] args)
{
Date now = new Date();
System.out.println(now);
}
}