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