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

java.lang.Object
  extended by org.objectweb.dsrg.sofa.cushion.jpfcheck.JPFCheckAction
All Implemented Interfaces:
ActionInterface

public class JPFCheckAction
extends java.lang.Object
implements ActionInterface

Frontend to the Environment Generator and Java PathFinder.


Field Summary
 
Fields inherited from interface org.objectweb.dsrg.sofa.cushion.ActionInterface
ACTION_ERROR, BAD_PARAMETERS, NOT_ENOUGH_PARAMETERS, SUCCESS, TOO_MANY_PARAMETERS
 
Constructor Summary
JPFCheckAction()
           
 
Method Summary
 int perform(java.lang.String[] argv, java.io.PrintStream out)
          Executes the action.
 void printHelp(java.lang.StringBuffer msg)
          Prints help.
 void printUsage(java.lang.StringBuffer msg)
          Prints usage.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JPFCheckAction

public JPFCheckAction()
Method Detail

printHelp

public void printHelp(java.lang.StringBuffer msg)
Prints help.

Specified by:
printHelp in interface ActionInterface
Parameters:
msg - buffer to which help message is printed
See Also:
ActionInterface.printHelp(StringBuffer)

printUsage

public void printUsage(java.lang.StringBuffer msg)
Prints usage.

Specified by:
printUsage in interface ActionInterface
Parameters:
msg - buffer to which help message is printed
See Also:
ActionInterface.printUsage(StringBuffer)

perform

public int perform(java.lang.String[] argv,
                   java.io.PrintStream out)
Description copied from interface: ActionInterface
Executes the action.

Specified by:
perform in interface ActionInterface
Parameters:
argv - Command-line arguments to Cushion (except the first one containing the action name).
out - std output for the task