de.uka.ilkd.key.java.recoderext

Class SchemaCrossReferenceSourceInfo

java.lang.Object

recoder.AbstractService

recoder.service.DefaultProgramModelInfo

recoder.service.DefaultSourceInfo

recoder.service.DefaultCrossReferenceSourceInfo

recoder.service.KeYCrossReferenceSourceInfo

de.uka.ilkd.key.java.recoderext.SchemaCrossReferenceSourceInfo

All Implemented Interfaces:

Formats, Service, ChangeHistoryListener, CrossReferenceSourceInfo, ProgramModelInfo, SourceInfo, TuningParameters

public class SchemaCrossReferenceSourceInfo
extends KeYCrossReferenceSourceInfo

Field Summary

Fields

Modifier and Type	Field and Description
protected PrimitiveType	recoderTypeSVType

Fields inherited from class recoder.service.KeYCrossReferenceSourceInfo

stubClasses

Fields inherited from class recoder.service.DefaultSourceInfo

name2primitiveType

Fields inherited from class recoder.AbstractService

serviceConfiguration

Fields inherited from interface recoder.service.SourceInfo

METHOD_EXIT

Fields inherited from interface recoder.convenience.Formats

ELEMENT_LONG, ELEMENT_LONG_LOCAL, ELEMENT_SHORT

Fields inherited from interface recoder.TuningParameters

INITIAL_CROSS_REFERENCER_ELEMENT2REFERENCE_HASH_SET_SIZE, INITIAL_SOURCE_INFO_NAME2PRIMITIVE_HASH_SET_SIZE, INITIAL_SOURCE_INFO_REFERENCE2ELEMENT_HASH_SET_SIZE

Constructor Summary

Constructors

Constructor and Description
SchemaCrossReferenceSourceInfo(ServiceConfiguration config)

Method Summary

Modifier and Type	Method and Description
Type	getType(TypeReference tr)
Type	getType(VariableSpecification vs)
void	initialize(ServiceConfiguration cfg) Called by the service configuration indicating that all services are known.
Reference	resolveURQ(UncollatedReferenceQualifier urq) does not resolve the urq, just returns the argument

Methods inherited from class recoder.service.KeYCrossReferenceSourceInfo

getContainingClassType, getCreatedStubClasses, getType, getType, getVariable, modelChanged, setIgnoreUnresolvedClasses, setNames2Vars

Methods inherited from class recoder.service.DefaultCrossReferenceSourceInfo

getReferences, getReferences, getReferences, getReferences, getReferences, getReferences, information, reset

Methods inherited from class recoder.service.DefaultSourceInfo

addProgressListener, containsTypeParameter, getAnnotationProperty, getAnnotationType, getClassTypeContainer, getConstructor, getConstructor, getConstructorDeclaration, getConstructors, getConstructors, getConstructors, getContainingClassType, getErrorHandler, getExceptions, getField, getFields, getFields, getFromPackageImports, getFromTypeImports, getFromUnitPackage, getInheritedField, getInheritedType, getLocalType, getMethod, getMethod, getMethodDeclaration, getMethods, getMethods, getMethods, getNameInfo, getPackage, getPackage, getReturnType, getSignature, getSucceedingStatements, getSupertypes, getType, getType, getType, getTypeDeclaration, getTypes, getTypes, getVariable, getVariable, getVariableSpecification, isNarrowingTo, makeSignature, register, removeProgressListener, resolveURQ

Methods inherited from class recoder.service.DefaultProgramModelInfo

doThreePhaseFilter, filterApplicableMethods, filterMostSpecificMethods, filterMostSpecificMethodsPhase2, filterMostSpecificMethodsPhase3, getAllFields, getAllMethods, getAllSubtypes, getAllSupertypes, getAllTypes, getBoxedType, getConstructors, getConstructors, getMethods, getMethods, getMethods, getOutermostType, getPromotedType, getSubtypes, getUnboxedType, isCompatibleSignature, isCompatibleSignature, isSubtype, isSupertype, isVisibleFor, isWidening, isWidening, isWidening, isWidening, makeParameterizedArrayType, replaceTypeArgs, updateModel

Methods inherited from class recoder.AbstractService

getServiceConfiguration

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface recoder.service.SourceInfo

addProgressListener, getAnnotationProperty, getAnnotationType, getConstructor, getConstructor, getConstructorDeclaration, getConstructors, getConstructors, getField, getFields, getMethod, getMethod, getMethodDeclaration, getMethods, getMethods, getPackage, getSucceedingStatements, getType, getType, getTypeDeclaration, getTypes, getVariable, getVariable, getVariableSpecification, isNarrowingTo, makeSignature, register, removeProgressListener

Methods inherited from interface recoder.service.ProgramModelInfo

filterApplicableMethods, filterMostSpecificMethods, filterMostSpecificMethodsPhase2, filterMostSpecificMethodsPhase3, getAllFields, getAllMethods, getAllSubtypes, getAllSupertypes, getAllTypes, getBoxedType, getClassTypeContainer, getConstructors, getConstructors, getContainingClassType, getExceptions, getFields, getMethods, getMethods, getMethods, getMethods, getPackage, getPromotedType, getReturnType, getSignature, getSubtypes, getSupertypes, getType, getTypes, getUnboxedType, isCompatibleSignature, isCompatibleSignature, isSubtype, isSupertype, isVisibleFor, isWidening, isWidening, isWidening, isWidening

Methods inherited from interface recoder.Service

getServiceConfiguration

Field Detail

recoderTypeSVType

protected final PrimitiveType recoderTypeSVType

Constructor Detail

SchemaCrossReferenceSourceInfo

public SchemaCrossReferenceSourceInfo(ServiceConfiguration config)

Method Detail

initialize

public void initialize(ServiceConfiguration cfg)

Description copied from class: KeYCrossReferenceSourceInfo

Called by the service configuration indicating that all services are known. Services may now start communicating or linking among their configuration partners. The service configuration can be memorized if it has not been passed in by a constructor already.

Specified by:

initialize in interface Service

Overrides:

initialize in class KeYCrossReferenceSourceInfo

Parameters:

cfg - the service configuration this services has been assigned to.

getType

public Type getType(TypeReference tr)

Specified by:

getType in interface SourceInfo

Overrides:

getType in class KeYCrossReferenceSourceInfo

getType

public Type getType(VariableSpecification vs)

Specified by:

getType in interface SourceInfo

Overrides:

getType in class DefaultSourceInfo

resolveURQ

public Reference resolveURQ(UncollatedReferenceQualifier urq)

does not resolve the urq, just returns the argument

Specified by:

resolveURQ in interface SourceInfo

Overrides:

resolveURQ in class DefaultSourceInfo