Index

A C D G M P R S T W
All Classes and Interfaces|All Packages

A

AbstractGenericRemover - Class in de.uka.ilkd.key.util.removegenerics

AbstractGenericRemover(GenericRemoverMonitor) - Constructor for class de.uka.ilkd.key.util.removegenerics.AbstractGenericRemover

addSearchPath(String) - Method in class de.uka.ilkd.key.util.removegenerics.AbstractGenericRemover

addSourceFile(String) - Method in class de.uka.ilkd.key.util.removegenerics.AbstractGenericRemover

addSourceFiles(Collection<String>) - Method in class de.uka.ilkd.key.util.removegenerics.AbstractGenericRemover

analyze() - Method in class de.uka.ilkd.key.util.removegenerics.ResolveGenerics

Analyse a compilation unit to remove all traces of generic entities.

analyze() - Method in class de.uka.ilkd.key.util.removegenerics.ResolveMemberReference

Analys a MemberReference.

analyze() - Method in class de.uka.ilkd.key.util.removegenerics.ResolveTypeReference

C

ConsoleGenericRemoverMonitor - Class in de.uka.ilkd.key.util.removegenerics.monitor

ConsoleGenericRemoverMonitor() - Constructor for class de.uka.ilkd.key.util.removegenerics.monitor.ConsoleGenericRemoverMonitor

D

de.uka.ilkd.key.util.removegenerics - package de.uka.ilkd.key.util.removegenerics

de.uka.ilkd.key.util.removegenerics.monitor - package de.uka.ilkd.key.util.removegenerics.monitor

DEBUG_OUTPUT - Static variable in class de.uka.ilkd.key.util.removegenerics.GenericResolutionTransformation

debugOut(String, Object...) - Static method in class de.uka.ilkd.key.util.removegenerics.GenericResolutionTransformation

if the global debug flag GenericResolutionTransformation.DEBUG_OUTPUT is set to true print out a message.

G

GenericRemover - Class in de.uka.ilkd.key.util.removegenerics

GenericRemover(GenericRemoverMonitor) - Constructor for class de.uka.ilkd.key.util.removegenerics.GenericRemover

GenericRemoverMonitor - Interface in de.uka.ilkd.key.util.removegenerics.monitor

GenericResolutionTransformation - Class in de.uka.ilkd.key.util.removegenerics

This is the base class to all transformations used in the generics removal process.

GenericResolutionTransformation() - Constructor for class de.uka.ilkd.key.util.removegenerics.GenericResolutionTransformation

GenericResolutionTransformation(CrossReferenceServiceConfiguration) - Constructor for class de.uka.ilkd.key.util.removegenerics.GenericResolutionTransformation

getCU() - Method in class de.uka.ilkd.key.util.removegenerics.ResolveGenerics

getOutDir() - Method in class de.uka.ilkd.key.util.removegenerics.GenericRemover

getResultMap() - Method in class de.uka.ilkd.key.util.removegenerics.PreviewGenericRemover

getSearchPath() - Method in class de.uka.ilkd.key.util.removegenerics.AbstractGenericRemover

getSourceFiles() - Method in class de.uka.ilkd.key.util.removegenerics.AbstractGenericRemover

M

main(String[]) - Static method in class de.uka.ilkd.key.util.removegenerics.Main

Main - Class in de.uka.ilkd.key.util.removegenerics

That's the entry point when the transformation is to be applied outside from the KeY-tool.

P

PreviewGenericRemover - Class in de.uka.ilkd.key.util.removegenerics

PreviewGenericRemover(GenericRemoverMonitor) - Constructor for class de.uka.ilkd.key.util.removegenerics.PreviewGenericRemover

R

removeGenerics() - Method in class de.uka.ilkd.key.util.removegenerics.AbstractGenericRemover

repairSingleLineComments(ProgramElement) - Static method in class de.uka.ilkd.key.util.removegenerics.SingleLineCommentRepairer

ResolveGenerics - Class in de.uka.ilkd.key.util.removegenerics

A recoder transformation that removes all traces of Java5 generics from a file.

ResolveGenerics(CrossReferenceServiceConfiguration, CompilationUnit) - Constructor for class de.uka.ilkd.key.util.removegenerics.ResolveGenerics

make a new generic resolver for a single compilation unit

ResolveMemberReference - Class in de.uka.ilkd.key.util.removegenerics

ResolveMemberReference(NameReference, CrossReferenceServiceConfiguration) - Constructor for class de.uka.ilkd.key.util.removegenerics.ResolveMemberReference

ResolveTypeReference - Class in de.uka.ilkd.key.util.removegenerics

Handle a type reference in the generic deletion process.

ResolveTypeReference(TypeReference, CrossReferenceServiceConfiguration) - Constructor for class de.uka.ilkd.key.util.removegenerics.ResolveTypeReference

S

saveModifiedCompilationUnit(CompilationUnit, String) - Method in class de.uka.ilkd.key.util.removegenerics.AbstractGenericRemover

saveModifiedCompilationUnit(CompilationUnit, String) - Method in class de.uka.ilkd.key.util.removegenerics.GenericRemover

saveModifiedCompilationUnit(CompilationUnit, String) - Method in class de.uka.ilkd.key.util.removegenerics.PreviewGenericRemover

setOutDir(File) - Method in class de.uka.ilkd.key.util.removegenerics.GenericRemover

SingleLineCommentRepairer - Class in de.uka.ilkd.key.util.removegenerics

This class has been used to repair a bug in recoder.

SingleLineCommentRepairer() - Constructor for class de.uka.ilkd.key.util.removegenerics.SingleLineCommentRepairer

T

targetType(Type) - Method in class de.uka.ilkd.key.util.removegenerics.GenericResolutionTransformation

get the type of the reference that it will have in a generic-free environment.

taskStarted(String) - Method in class de.uka.ilkd.key.util.removegenerics.monitor.ConsoleGenericRemoverMonitor

taskStarted(String) - Method in interface de.uka.ilkd.key.util.removegenerics.monitor.GenericRemoverMonitor

toString(Object) - Static method in class de.uka.ilkd.key.util.removegenerics.GenericResolutionTransformation

convert an object to a String.

transform() - Method in class de.uka.ilkd.key.util.removegenerics.ResolveGenerics

simply iterate over all remaining transformations and apply them.

transform() - Method in class de.uka.ilkd.key.util.removegenerics.ResolveMemberReference

transform() - Method in class de.uka.ilkd.key.util.removegenerics.ResolveTypeReference

W

warningOccurred(String) - Method in class de.uka.ilkd.key.util.removegenerics.monitor.ConsoleGenericRemoverMonitor

warningOccurred(String) - Method in interface de.uka.ilkd.key.util.removegenerics.monitor.GenericRemoverMonitor

A C D G M P R S T W
All Classes and Interfaces|All Packages