dk.brics.xact.analysis
Class Main

java.lang.Object
  extended by 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
equals, 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()


Copyright © 2005-2011 Aarhus University.