JSETool Home Page

Last Modified 30 November 2004 by Mike Lawson

The executable Jar is signed according to the following instructions: How To Sign a Jar

Example inputs:
(Download these and then use Load in the Tool)

   Reachability Exercise from Powerpoint Slides (both machines the same)

   Homework #3, Part 2 Machine 1    Machine 2

   Question from the Midterm Machine 1    Machine 2

Download and Go:
   Download the Source: JSEToolSrc.jar
   Download a compiled jar: JSETool.jar

Applet:
Launch JSETool as an Applet: JSEToolApplet

 <HTML>
 <HEAD>
 <TITLE>Java State Exploration Tool - Mike Lawson, CS522, Fall 2004</TITLE>
 </HEAD>
 <APPLET
 CODE="jsetool.gui.JSEToolApplet"
 codebase="jsetool"
 ARCHIVE="JSETool.jar"
 WIDTH=1000
 HEIGHT=800
 ALT="Could not load applet!">
 </APPLET> 
 </HTML>

WebStart:
Launch JSETool via Java Web Start: JSETool Web Start
This is the text of the above link:

<a href="jsetool.jnlp">

You need to add this to your mime.types (or equivalent):

application/x-java-jnlp-file JNLP

This is the JNLP file:

<?xml version="1.0" encoding="utf-8"?>

<!-- JNLP File for JSETool Application -->

<jnlp

 spec="1.0+"

 codebase="http://blanca.uccs.edu"

 href="~mjlawson/cs522/jsetool/jsetool.jnlp">

 <information>

 <title>Java State Exploration Tool</title>

 <vendor>Mike Lawson, cs522, Fall 2004</vendor>

 <homepage href="jsetool_help.html"/>

 <description>Java State Exploration Tool/description>

 <description kind="short">A Portable State Exploration Tool.</description>

 <offline-allowed/>

 </information>

 <security>

 <all-permissions/>

 </security>

 <resources>

 <j2se version="1.4.2+"/>

 <jar href="~mjlawson/cs522/jsetool/JSETool.jar"/>

 </resources>

 <application-desc main-class="jsetool.gui.JSEToolMainFrame"/>

</jnlp>