edu.toronto.cs.util
Class KEGClapi

java.lang.Object
  extended by edu.toronto.cs.util.KEGClapi

public class KEGClapi
extends java.lang.Object

This is the utility that parses the command line arguements for the counter example generator.


Constructor Summary
KEGClapi()
           
 
Method Summary
static void main(java.lang.String[] opts)
          Test driver: it will print the options map.
static java.util.Map parseOpts(java.lang.String[] opts)
          Parses the arguments producing a Map for the options and their values.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

KEGClapi

public KEGClapi()
Method Detail

parseOpts

public static java.util.Map parseOpts(java.lang.String[] opts)
Parses the arguments producing a Map for the options and their values. The map is of the form (option, value).

Parameters:
opts - -- the arguements to be parsed
Returns:
-- Map of all the options

main

public static void main(java.lang.String[] opts)
Test driver: it will print the options map.