de.uka.ilkd.key.java.recoderext

Class KeYCrossReferenceSourceFileRepository

java.lang.Object

recoder.AbstractService

recoder.io.DefaultSourceFileRepository

de.uka.ilkd.key.java.recoderext.KeYCrossReferenceSourceFileRepository

All Implemented Interfaces:

java.beans.PropertyChangeListener, java.util.EventListener, SourceFileRepository, Service, ChangeHistoryListener

public class KeYCrossReferenceSourceFileRepository
extends DefaultSourceFileRepository

This class is used to handle source files within recoder. It does only overwrite one method: createDataLocation. The original method in DefaultSourceFileRepository creates references to possibly non-existing files which we do not want. Thus, we leave the location already present.

Author:

MU

Field Summary

Fields inherited from class recoder.io.DefaultSourceFileRepository

JAVA_FILENAME_FILTER

Fields inherited from class recoder.AbstractService

serviceConfiguration

Constructor Summary

Constructors

Constructor and Description
KeYCrossReferenceSourceFileRepository(ServiceConfiguration config)

Method Summary

Modifier and Type	Method and Description
protected DataLocation	createDataLocation(CompilationUnit cu) return the data location that is already stored in the compilation unit.

Methods inherited from class recoder.io.DefaultSourceFileRepository

addProgressListener, cleanUp, findSourceFile, getAllCompilationUnitsFromPath, getAllCompilationUnitsFromPath, getCompilationUnit, getCompilationUnitFromFile, getCompilationUnitFromLocation, getCompilationUnits, getCompilationUnitsFromFiles, getKnownCompilationUnits, getOutputPath, getSearchPathList, information, initialize, isUpToDate, modelChanged, print, printAll, propertyChange, removeProgressListener

Methods inherited from class recoder.AbstractService

getServiceConfiguration

Methods inherited from class java.lang.Object

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

Methods inherited from interface recoder.Service

getServiceConfiguration

Constructor Detail

KeYCrossReferenceSourceFileRepository

public KeYCrossReferenceSourceFileRepository(ServiceConfiguration config)

Method Detail

createDataLocation

protected DataLocation createDataLocation(CompilationUnit cu)

return the data location that is already stored in the compilation unit. If there is no location stored so far, create a temporary invalid one. The super class would have created a location that does not represent the existing sources.

Overrides:

createDataLocation in class DefaultSourceFileRepository

Parameters:

cu - Compilation unit to create the location for.

Returns:

location(cu) == null ? SpecDataLocation.UNKNOWN_LOCATION : location(cu)