dk.brics.xact.analysis
Class Main

java.lang.Object
  dk.brics.xact.analysis.Main

public class Main
extends Object

Command-line interface to the program analysis for XACT.

Method Summary

static void	addClassFilesFromFolder(File dir, String prefix, List<String> list)
static void	main(String[] args) Analyzes the given classes and reports warnings to standard output.
static void	printUsage()

Methods inherited from class java.lang.Object

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

Method Detail

addClassFilesFromFolder

public static void addClassFilesFromFolder(File dir,
                                           String prefix,
                                           List<String> list)

main

public static void main(String[] args)

Analyzes the given classes and reports warnings to standard output. The system property soot-classpath can be set to the class path for the classes to be analyzed.

printUsage

public static void printUsage()