public class SchemaCrossReferenceSourceInfo extends KeYCrossReferenceSourceInfo
Modifier and Type | Field and Description |
---|---|
protected PrimitiveType |
recoderTypeSVType |
stubClasses
name2primitiveType
serviceConfiguration
METHOD_EXIT
ELEMENT_LONG, ELEMENT_LONG_LOCAL, ELEMENT_SHORT
INITIAL_CROSS_REFERENCER_ELEMENT2REFERENCE_HASH_SET_SIZE, INITIAL_SOURCE_INFO_NAME2PRIMITIVE_HASH_SET_SIZE, INITIAL_SOURCE_INFO_REFERENCE2ELEMENT_HASH_SET_SIZE
Constructor and Description |
---|
SchemaCrossReferenceSourceInfo(ServiceConfiguration config) |
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
|
getContainingClassType, getCreatedStubClasses, getType, getType, getVariable, modelChanged, setIgnoreUnresolvedClasses, setNames2Vars
getReferences, getReferences, getReferences, getReferences, getReferences, getReferences, information, reset
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
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
getServiceConfiguration
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
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
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
getServiceConfiguration
protected final PrimitiveType recoderTypeSVType
public SchemaCrossReferenceSourceInfo(ServiceConfiguration config)
public void initialize(ServiceConfiguration cfg)
KeYCrossReferenceSourceInfo
initialize
in interface Service
initialize
in class KeYCrossReferenceSourceInfo
cfg
- the service configuration this services has been assigned to.public Type getType(TypeReference tr)
getType
in interface SourceInfo
getType
in class KeYCrossReferenceSourceInfo
public Type getType(VariableSpecification vs)
getType
in interface SourceInfo
getType
in class DefaultSourceInfo
public Reference resolveURQ(UncollatedReferenceQualifier urq)
resolveURQ
in interface SourceInfo
resolveURQ
in class DefaultSourceInfo