de.uka.ilkd.key.java.recoderext

Class KeYCrossReferenceServiceConfiguration

java.lang.Object

recoder.ServiceConfiguration

recoder.DefaultServiceConfiguration

recoder.CrossReferenceServiceConfiguration

de.uka.ilkd.key.java.recoderext.KeYCrossReferenceServiceConfiguration

Direct Known Subclasses:

ProofCrossReferenceServiceConfiguration, SchemaCrossReferenceServiceConfiguration

public class KeYCrossReferenceServiceConfiguration
extends CrossReferenceServiceConfiguration

Field Summary

Fields

Modifier and Type	Field and Description
protected KeYProgModelInfo	kpmi

Constructor Summary

Constructors

Constructor and Description
KeYCrossReferenceServiceConfiguration(KeYProgModelInfo kpmi)
KeYCrossReferenceServiceConfiguration(KeYRecoderExcHandler keh)

Method Summary

Modifier and Type	Method and Description
KeYProgModelInfo	getKeYProgModelInfo()
protected NameInfo	makeNameInfo()
protected ProgramFactory	makeProgramFactory()
protected SourceFileRepository	makeSourceFileRepository()
protected SourceInfo	makeSourceInfo() The cross reference source info is a subclass of the source info, so this class simply overrides the source info factory method.

Methods inherited from class recoder.CrossReferenceServiceConfiguration

getCrossReferenceSourceInfo, initServices, makeServices

Methods inherited from class recoder.DefaultServiceConfiguration

makeByteCodeInfo, makeChangeHistory, makeClassFileRepository, makeConstantEvaluator, makeImplicitElementInfo, makeProjectSettings

Methods inherited from class recoder.ServiceConfiguration

getByteCodeInfo, getChangeHistory, getClassFileRepository, getConstantEvaluator, getImplicitElementInfo, getNameInfo, getProgramFactory, getProjectSettings, getSourceFileRepository, getSourceInfo

Methods inherited from class java.lang.Object

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

Field Detail

kpmi

protected KeYProgModelInfo kpmi

Constructor Detail

KeYCrossReferenceServiceConfiguration

public KeYCrossReferenceServiceConfiguration(KeYRecoderExcHandler keh)

KeYCrossReferenceServiceConfiguration

public KeYCrossReferenceServiceConfiguration(KeYProgModelInfo kpmi)

Method Detail

makeProgramFactory

protected ProgramFactory makeProgramFactory()

Overrides:

makeProgramFactory in class DefaultServiceConfiguration

makeSourceInfo

protected SourceInfo makeSourceInfo()

The cross reference source info is a subclass of the source info, so this class simply overrides the source info factory method.

Overrides:

makeSourceInfo in class CrossReferenceServiceConfiguration

makeSourceFileRepository

protected SourceFileRepository makeSourceFileRepository()

Overrides:

makeSourceFileRepository in class DefaultServiceConfiguration

makeNameInfo

protected NameInfo makeNameInfo()

Overrides:

makeNameInfo in class DefaultServiceConfiguration

getKeYProgModelInfo

public KeYProgModelInfo getKeYProgModelInfo()