de.uka.ilkd.key.java.recoderext

Class SchemaCrossReferenceServiceConfiguration

java.lang.Object

recoder.ServiceConfiguration

recoder.DefaultServiceConfiguration

recoder.CrossReferenceServiceConfiguration

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

de.uka.ilkd.key.java.recoderext.SchemaCrossReferenceServiceConfiguration

public class SchemaCrossReferenceServiceConfiguration
extends KeYCrossReferenceServiceConfiguration

Field Summary

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

kpmi

Constructor Summary

Constructors

Constructor and Description
SchemaCrossReferenceServiceConfiguration(KeYRecoderExcHandler keh)

Method Summary

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.

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

getKeYProgModelInfo, makeNameInfo, makeSourceFileRepository

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

SchemaCrossReferenceServiceConfiguration

public SchemaCrossReferenceServiceConfiguration(KeYRecoderExcHandler keh)

Method Detail

makeProgramFactory

protected ProgramFactory makeProgramFactory()

we need another factory for some new program elements

Overrides:

makeProgramFactory in class KeYCrossReferenceServiceConfiguration

makeSourceInfo

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.

Overrides:

makeSourceInfo in class KeYCrossReferenceServiceConfiguration