gov.nasa.jpf.tool

Class GenPeer

java.lang.Object

gov.nasa.jpf.tool.GenPeer

public class GenPeer
extends java.lang.Object

tool to automatically generate the framework of a native peer MJI class, given it's model class. GenPeer collects all the native methods from the model class, and creates the corresponding native peer methods

Constructor Summary

Constructors

Constructor and Description
GenPeer()

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

GenPeer

public GenPeer()

Method Detail

main

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