public class KeYCrossReferenceServiceConfiguration extends CrossReferenceServiceConfiguration
Modifier and Type | Field and Description |
---|---|
protected KeYProgModelInfo |
kpmi |
Constructor and Description |
---|
KeYCrossReferenceServiceConfiguration(KeYProgModelInfo kpmi) |
KeYCrossReferenceServiceConfiguration(KeYRecoderExcHandler keh) |
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.
|
getCrossReferenceSourceInfo, initServices, makeServices
makeByteCodeInfo, makeChangeHistory, makeClassFileRepository, makeConstantEvaluator, makeImplicitElementInfo, makeProjectSettings
getByteCodeInfo, getChangeHistory, getClassFileRepository, getConstantEvaluator, getImplicitElementInfo, getNameInfo, getProgramFactory, getProjectSettings, getSourceFileRepository, getSourceInfo
protected KeYProgModelInfo kpmi
public KeYCrossReferenceServiceConfiguration(KeYRecoderExcHandler keh)
public KeYCrossReferenceServiceConfiguration(KeYProgModelInfo kpmi)
protected ProgramFactory makeProgramFactory()
makeProgramFactory
in class DefaultServiceConfiguration
protected SourceInfo makeSourceInfo()
makeSourceInfo
in class CrossReferenceServiceConfiguration
protected SourceFileRepository makeSourceFileRepository()
makeSourceFileRepository
in class DefaultServiceConfiguration
protected NameInfo makeNameInfo()
makeNameInfo
in class DefaultServiceConfiguration
public KeYProgModelInfo getKeYProgModelInfo()