envgen.counterexample
Class CEProcessor

java.lang.Object
  |
  +--envgen.counterexample.CEProcessor

public class CEProcessor

extends java.lang.Object

Constructor Summary

CEProcessor()

Method Summary

private static java.lang.String	extractActionName(java.lang.String str)
static void	main(java.lang.String[] args)
private static void	printf(java.io.FileWriter outStream, java.lang.String string)

Methods inherited from class java.lang.Object

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

Constructor Detail

CEProcessor

public CEProcessor()

Method Detail

main

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

extractActionName

private static java.lang.String extractActionName(java.lang.String str)

printf

private static void printf(java.io.FileWriter outStream,
                           java.lang.String string)