de.uka.ilkd.key.util

Class RefSolverServiceConfiguration

java.lang.Object

recoder.ServiceConfiguration

recoder.DefaultServiceConfiguration

recoder.CrossReferenceServiceConfiguration

de.uka.ilkd.key.util.RefSolverServiceConfiguration

class RefSolverServiceConfiguration
extends CrossReferenceServiceConfiguration

Constructor Summary

Constructors

Constructor and Description
RefSolverServiceConfiguration()

Method Summary

Modifier and Type	Method and Description
protected ProgramFactory	makeProgramFactory()

Methods inherited from class recoder.CrossReferenceServiceConfiguration

getCrossReferenceSourceInfo, initServices, makeServices, makeSourceInfo

Methods inherited from class recoder.DefaultServiceConfiguration

makeByteCodeInfo, makeChangeHistory, makeClassFileRepository, makeConstantEvaluator, makeImplicitElementInfo, makeNameInfo, makeProjectSettings, makeSourceFileRepository

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

RefSolverServiceConfiguration

RefSolverServiceConfiguration()

Method Detail

makeProgramFactory

protected ProgramFactory makeProgramFactory()

Overrides:

makeProgramFactory in class DefaultServiceConfiguration