de.uka.ilkd.key.java.recoderext

Class ProofCrossReferenceServiceConfiguration

java.lang.Object

recoder.ServiceConfiguration

recoder.DefaultServiceConfiguration

recoder.CrossReferenceServiceConfiguration

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

de.uka.ilkd.key.java.recoderext.ProofCrossReferenceServiceConfiguration

public class ProofCrossReferenceServiceConfiguration
extends KeYCrossReferenceServiceConfiguration

Field Summary

Fields inherited from class de.uka.ilkd.key.java.recoderext.KeYCrossReferenceServiceConfiguration

kpmi

Constructor Summary

Constructors

Constructor and Description
ProofCrossReferenceServiceConfiguration(KeYRecoderExcHandler keh)

Method Summary

Modifier and Type	Method and Description
protected ProgramFactory	makeProgramFactory() we need another factory for some new program elements

Methods inherited from class de.uka.ilkd.key.java.recoderext.KeYCrossReferenceServiceConfiguration

getKeYProgModelInfo, makeNameInfo, makeSourceFileRepository, makeSourceInfo

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

Constructor Detail

ProofCrossReferenceServiceConfiguration

public ProofCrossReferenceServiceConfiguration(KeYRecoderExcHandler keh)

Method Detail

makeProgramFactory

protected ProgramFactory makeProgramFactory()

we need another factory for some new program elements

Overrides:

makeProgramFactory in class KeYCrossReferenceServiceConfiguration