org.objectweb.dsrg.sofa.cushion.jpfcheck
Class JPFCheckActionBackend

java.lang.Object
  extended by org.objectweb.dsrg.sofa.cushion.jpfcheck.JPFCheckActionBackend

public class JPFCheckActionBackend
extends java.lang.Object

This class actually uses Environment Generator and Java PathFinder.


Constructor Summary
JPFCheckActionBackend()
           
 
Method Summary
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

JPFCheckActionBackend

public JPFCheckActionBackend()
Method Detail

main

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