joeq.Main
Class GenRelations

java.lang.Object
  joeq.Main.GenRelations

public class GenRelations
extends Object

Generate initial relations for BDD pointer analysis.

Version:

$Id: GenRelations.java 2326 2005-10-08 19:51:20Z joewhaley $

Author:

jwhaley

Constructor Summary

GenRelations()

Method Summary

static ClassLoader	addBDDLibraryToClasspath(String[] args)
static void	addClassesToClasspath(PrimordialClassLoader loader, String[] args)
static URL	getFileURL(String filename)
static void	main(String[] args)
static void	main2(String[] args)
static void	printUsage()

Methods inherited from class java.lang.Object

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

Constructor Detail

GenRelations

public GenRelations()

Method Detail

getFileURL

public static URL getFileURL(String filename)
                      throws IOException

Throws:

IOException

addBDDLibraryToClasspath

public static ClassLoader addBDDLibraryToClasspath(String[] args)
                                            throws IOException

Throws:

IOException

addClassesToClasspath

public static void addClassesToClasspath(PrimordialClassLoader loader,
                                         String[] args)
                                  throws IOException

Throws:

IOException

main

public static void main(String[] args)
                 throws IOException

Throws:

IOException

main2

public static void main2(String[] args)
                  throws IOException

Throws:

IOException

printUsage

public static void printUsage()