recoder.service

Class KeYCrossReferenceSourceInfo

java.lang.Object

recoder.AbstractService

recoder.service.DefaultProgramModelInfo

recoder.service.DefaultSourceInfo

recoder.service.DefaultCrossReferenceSourceInfo

recoder.service.KeYCrossReferenceSourceInfo

All Implemented Interfaces:

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

Direct Known Subclasses:

SchemaCrossReferenceSourceInfo

public class KeYCrossReferenceSourceInfo
extends DefaultCrossReferenceSourceInfo

Nested Class Summary

Nested classes/interfaces inherited from class recoder.service.DefaultCrossReferenceSourceInfo

recoder.service.DefaultCrossReferenceSourceInfo.SubTypeTopSort

Nested classes/interfaces inherited from class recoder.service.DefaultProgramModelInfo

recoder.service.DefaultProgramModelInfo.ClassTypeCacheEntry, recoder.service.DefaultProgramModelInfo.ReplaceTypeArgResult, recoder.service.DefaultProgramModelInfo.ResolvedTypeArgument, recoder.service.DefaultProgramModelInfo.SuperTypeTopSort

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	ignoreUnresolvedClasses The flag which decides on the behaviour on undefined classes
private java.util.HashMap<java.lang.String,VariableSpecification>	names2vars
protected java.util.Map<java.lang.String,CompilationUnit>	stubClasses The mapping from class names to stub compilation units.

Fields inherited from class recoder.service.DefaultSourceInfo

listeners, name2primitiveType, reference2element

Fields inherited from class recoder.service.DefaultProgramModelInfo

classTypeCache

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
KeYCrossReferenceSourceInfo(ServiceConfiguration config)

Method Summary

Modifier and Type	Method and Description
private void	eclipseWorkaroundMethodAccess(ClassType c1, ClassType c2)
ClassType	getContainingClassType(ProgramElement context) Returns the class type that contains the given program element.
java.util.Collection<? extends CompilationUnit>	getCreatedStubClasses() Gets the collection of created stub classes ion their compilation units
Type	getType(Expression expr) clears the cache for the TypeReference to Type resolution.
Type	getType(java.lang.String name, ProgramElement context) Tries to find a type with the given name using the given program element as context.
Type	getType(TypeReference tr)
Variable	getVariable(java.lang.String name, ProgramElement context)
void	initialize(ServiceConfiguration cfg) Called by the service configuration indicating that all services are known.
void	modelChanged(ChangeHistoryEvent event)
private ProgramElement	redirectScopeNesting(ProgramElement scope) redirects the nesting of scopes when a method-frame occurs
(package private) void	registerSubtype(ClassType c1, ClassType c2)
private void	registerUnresolvedTypeRef(TypeReference tyref)
void	setIgnoreUnresolvedClasses(boolean ignoreUnresolvedClasses) Sets if unresolved classes result in an exception or lead to stubs.
void	setNames2Vars(java.util.HashMap<java.lang.String,VariableSpecification> names2vars)

Methods inherited from class recoder.service.DefaultCrossReferenceSourceInfo

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

Methods inherited from class recoder.service.DefaultSourceInfo

addProgressListener, addToTypeList, containsTypeParameter, flushScopes, 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, getType, getTypeDeclaration, getTypeList, getTypes, getTypes, getVariable, getVariable, getVariableSpecification, isNarrowingTo, isPartOf, makeSignature, processChange, register, removeProgressListener, resolveURQ, resolveURQ, unregister, unregister, unregister, unregister, unregister

Methods inherited from class recoder.service.DefaultProgramModelInfo

doThreePhaseFilter, filterApplicableMethods, filterMostSpecificMethods, filterMostSpecificMethodsPhase2, filterMostSpecificMethodsPhase3, getAllFields, getAllMethods, getAllSubtypes, getAllSupertypes, getAllTypes, getBaseType, getBoxedType, getChangeHistory, getConstructors, getConstructors, getMethods, getMethods, getMethods, getOutermostType, getPromotedType, getSubtypes, getUnboxedType, isCompatibleSignature, isCompatibleSignature, isSubtype, isSupertype, isVisibleFor, isWidening, isWidening, isWidening, isWidening, makeParameterizedArrayType, removeSubtype, replaceTypeArg, 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, getType, getTypeDeclaration, getTypes, getVariable, getVariable, getVariableSpecification, isNarrowingTo, makeSignature, register, removeProgressListener, resolveURQ

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

names2vars

private java.util.HashMap<java.lang.String,VariableSpecification> names2vars

stubClasses

protected java.util.Map<java.lang.String,CompilationUnit> stubClasses

The mapping from class names to stub compilation units.

ignoreUnresolvedClasses

private boolean ignoreUnresolvedClasses

The flag which decides on the behaviour on undefined classes

Constructor Detail

KeYCrossReferenceSourceInfo

public KeYCrossReferenceSourceInfo(ServiceConfiguration config)

Method Detail

setNames2Vars

public void setNames2Vars(java.util.HashMap<java.lang.String,VariableSpecification> names2vars)

initialize

public void initialize(ServiceConfiguration cfg)

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 DefaultSourceInfo

Parameters:

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

getContainingClassType

public ClassType getContainingClassType(ProgramElement context)

Returns the class type that contains the given program element.

Specified by:

getContainingClassType in interface SourceInfo

Overrides:

getContainingClassType in class DefaultSourceInfo

Parameters:

context - a program element.

Returns:

the type to which the given program element belongs (may be null).

modelChanged

public void modelChanged(ChangeHistoryEvent event)

Specified by:

modelChanged in interface ChangeHistoryListener

Overrides:

modelChanged in class DefaultCrossReferenceSourceInfo

registerSubtype

void registerSubtype(ClassType c1,
                     ClassType c2)

Overrides:

registerSubtype in class DefaultProgramModelInfo

eclipseWorkaroundMethodAccess

private void eclipseWorkaroundMethodAccess(ClassType c1,
                                           ClassType c2)

getVariable

public Variable getVariable(java.lang.String name,
                            ProgramElement context)

Specified by:

getVariable in interface SourceInfo

Overrides:

getVariable in class DefaultSourceInfo

getType

public Type getType(java.lang.String name,
                    ProgramElement context)

Tries to find a type with the given name using the given program element as context. Useful to check for name clashes when introducing a new identifier. Neither name nor context may be null. This method is identical to DefaultSourceInfo.getType(String, ProgramElement) but it uses pe = redirectScopeNesting(pe); instead of s.getASTParent(); in Recoder 0.84.

Specified by:

getType in interface SourceInfo

Overrides:

getType in class DefaultSourceInfo

Parameters:

name - the name for the type to be looked up; may or may not be qualified.

context - a program element defining the lookup context (scope).

Returns:

the corresponding type (may be null).

redirectScopeNesting

private ProgramElement redirectScopeNesting(ProgramElement scope)

redirects the nesting of scopes when a method-frame occurs

Parameters:

scope - the current scope

Returns:

the new scope

setIgnoreUnresolvedClasses

public void setIgnoreUnresolvedClasses(boolean ignoreUnresolvedClasses)

Sets if unresolved classes result in an exception or lead to stubs. If unresolved classes are ignored, we use registerUnresolvedTypeRef(TypeReference) to create dummy stubs.

Parameters:

ignoreUnresolvedClasses - ignore unresolved classes iff true

getType

public Type getType(TypeReference tr)

Specified by:

getType in interface SourceInfo

Overrides:

getType in class DefaultSourceInfo

registerUnresolvedTypeRef

private void registerUnresolvedTypeRef(TypeReference tyref)

getCreatedStubClasses

public java.util.Collection<? extends CompilationUnit> getCreatedStubClasses()

Gets the collection of created stub classes ion their compilation units

Returns:

the unmodifiable collection of created compilation units

getType

public Type getType(Expression expr)

clears the cache for the TypeReference to Type resolution. This is necessary if types are added after model evalutation. public void clearTypeRefCache() { shit: reference2element.clear(); }

Specified by:

getType in interface SourceInfo

Overrides:

getType in class DefaultSourceInfo