joeq.Compiler.Analysis.Primitive
Class PrimitiveGenRelations

java.lang.Object
  joeq.Compiler.Analysis.Primitive.PrimitiveGenRelations

public class PrimitiveGenRelations
extends Object

Generate initial relations for BDD pointer analysis.

Version:

$Id: PrimitiveGenRelations.java 2318 2005-09-26 07:45:22Z livshits $

Author:

jwhaley

Constructor Summary

PrimitiveGenRelations()

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

PrimitiveGenRelations

public PrimitiveGenRelations()

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()