de.uka.ilkd.key.util

Class ReferenceLister

java.lang.Object

de.uka.ilkd.key.util.ReferenceLister

public class ReferenceLister
extends java.lang.Object

Find out for a collection of Java files which referenced types are not defined within the source directory. Stubs using empty method or constructor bodies are allowed.

Author:

MU

Field Summary

Fields

Modifier and Type	Field and Description
private static DefaultServiceConfiguration	sc

Constructor Summary

Constructors

Constructor and Description
ReferenceLister()

Method Summary

Modifier and Type	Method and Description
private static void	handleDir(java.io.File dir)
static void	main(java.lang.String[] args)
private static void	readFile(java.io.File file)

Methods inherited from class java.lang.Object

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

Field Detail

sc

private static DefaultServiceConfiguration sc

Constructor Detail

ReferenceLister

public ReferenceLister()

Method Detail

main

public static void main(java.lang.String[] args)
                 throws ParserException,
                        java.io.IOException

Throws:

ParserException

java.io.IOException

handleDir

private static void handleDir(java.io.File dir)
                       throws ParserException,
                              java.io.IOException

Throws:

ParserException

java.io.IOException

readFile

private static void readFile(java.io.File file)
                      throws ParserException,
                             java.io.IOException

Throws:

ParserException

java.io.IOException