public class SchemaCrossReferenceServiceConfiguration extends KeYCrossReferenceServiceConfiguration
kpmi
Constructor and Description |
---|
SchemaCrossReferenceServiceConfiguration(KeYRecoderExcHandler keh) |
Modifier and Type | Method and Description |
---|---|
protected ProgramFactory |
makeProgramFactory()
we need another factory for some new program elements
|
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.
|
getKeYProgModelInfo, makeNameInfo, makeSourceFileRepository
getCrossReferenceSourceInfo, initServices, makeServices
makeByteCodeInfo, makeChangeHistory, makeClassFileRepository, makeConstantEvaluator, makeImplicitElementInfo, makeProjectSettings
getByteCodeInfo, getChangeHistory, getClassFileRepository, getConstantEvaluator, getImplicitElementInfo, getNameInfo, getProgramFactory, getProjectSettings, getSourceFileRepository, getSourceInfo
public SchemaCrossReferenceServiceConfiguration(KeYRecoderExcHandler keh)
protected ProgramFactory makeProgramFactory()
makeProgramFactory
in class KeYCrossReferenceServiceConfiguration
protected SourceInfo makeSourceInfo()
makeSourceInfo
in class KeYCrossReferenceServiceConfiguration