Class StopWatch

java.lang.Object

StopWatch

public class StopWatch
extends java.lang.Object

This is an illustration of how to use the Java API for Kind 2 to implement a StopWatch Lustre Program.

Constructor Summary

Constructors

Constructor and Description
StopWatch()

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args) Run the main function to print the generated Lustre program and results of calling Kind 2.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StopWatch

public StopWatch()

Method Detail

main

public static void main(java.lang.String[] args)

Run the main function to print the generated Lustre program and results of calling Kind 2.

Parameters:

args - inputs to the program (ignored)