de.uka.ilkd.key.java.recoderext

Class ClassFileDeclarationManager

java.lang.Object

de.uka.ilkd.key.java.recoderext.ClassFileDeclarationManager

public class ClassFileDeclarationManager
extends java.lang.Object

This class provides an infrastructure to read in multiple class files and to manufacture ClassDeclarations out of them. If inner classes are present, more than one class file may be put into a class declaration. This manager uses ClassFileDeclarationBuilder objects to actually create source objects from classes and keeps track of the changes. It allows to retrieve a collection of compilation units in the end. Only toplevel classes and their embedded classes are created. Anonymous classes and classes which are declared within the code are NOT translated.

Author:

MU

See Also:

ClassFileDeclarationBuilder

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<ClassFileDeclarationBuilder>	builderList
private java.util.Map<java.lang.String,ClassFileDeclarationBuilder>	classBuilders
private java.util.List<CompilationUnit>	compUnits
private ProgramFactory	programFactory

Constructor Summary

Constructors

Constructor and Description
ClassFileDeclarationManager(ProgramFactory programFactory) create a new ClassFileDeclarationManager

Method Summary

Modifier and Type	Method and Description
void	addClassFile(ClassFile cf, DataLocation dataLocation) add a class file which is to be transformed into a stub.
ClassFileDeclarationBuilder	getBuilder(java.lang.String className) retrieve a specific builder from the database of builders.
java.util.Collection<? extends CompilationUnit>	getCompilationUnits() retrieve all stores compilation units.
ProgramFactory	getProgramFactory() get the program factory associated with this manager
static void	main(java.lang.String[] args) Test the class creation mechanism.
private void	processBuilders()

Methods inherited from class java.lang.Object

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

Field Detail

compUnits

private java.util.List<CompilationUnit> compUnits

builderList

private java.util.List<ClassFileDeclarationBuilder> builderList

programFactory

private ProgramFactory programFactory

classBuilders

private java.util.Map<java.lang.String,ClassFileDeclarationBuilder> classBuilders

Constructor Detail

ClassFileDeclarationManager

public ClassFileDeclarationManager(ProgramFactory programFactory)

create a new ClassFileDeclarationManager

Parameters:

programFactory - Factory to be used for the creation of the type declarations.

Method Detail

getCompilationUnits

public java.util.Collection<? extends CompilationUnit> getCompilationUnits()
                                                                    throws ConvertException

retrieve all stores compilation units. This method makes sure that prior to returning all known inner classses are appended as members to the corresponding enclosing classes

Returns:

a collection of compilation units

Throws:

ConvertException - if an inner class cannot be connected to the enclosing class, e.g. if this is not present

processBuilders

private void processBuilders()
                      throws ConvertException

Throws:

ConvertException

addClassFile

public void addClassFile(ClassFile cf,
                         DataLocation dataLocation)

add a class file which is to be transformed into a stub. Create a compilation unit if the class file is no inner class. Otherwise remember the builder to resolve it later.

Parameters:

cf - Classfile to add

dataLocation - location to be stored in the created stub.

getProgramFactory

public ProgramFactory getProgramFactory()

get the program factory associated with this manager

Returns:

the program factory, not null

getBuilder

public ClassFileDeclarationBuilder getBuilder(java.lang.String className)

retrieve a specific builder from the database of builders.

Parameters:

className - class to get a builder for.

Returns:

a builder for the given className or null if no builder is stored

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception

Test the class creation mechanism. Arguments: 1. Directory that contains .class files 2. Directory to write resulting .java files to The test procedure is to run this program on the JDK java.* packages There should be no error.

Throws:

java.lang.Exception - all kinds of exceptions