eu.cqse.check.framework.typetracker

Interface ITypeTracker

All Known Implementing Classes:

AbapTypeTracker, CLikeTypeTracker, CppTypeTracker, CsTypeTracker, JavaTypeTracker, TypeTrackerBase

public interface ITypeTracker

A type tracker attaches type information about known variables to shallow entities. It creates a ITypeResolution that provides a mapping from shallow entities to type lookups.

This interface does not guarantee thread-safety or reusability across different input files. Implementing classes may hold state about the currently processed file, so that you should always obtain a new type tracker instance for every input.

Method Summary

Modifier and Type	Method and Description
ITypeResolution	createTypeResolution(java.util.List<ShallowEntity> rootEntities) Creates type information for all given shallow entities and their children.
ITypeResolution	createTypeResolution(java.util.List<ShallowEntity> rootEntities, ScopedTypeLookup variableLookup) Creates type information for all given shallow entities and their children and uses the given ScopedTypeLookup as root lookup.

Method Detail

createTypeResolution

ITypeResolution createTypeResolution(java.util.List<ShallowEntity> rootEntities)

Creates type information for all given shallow entities and their children. A type resolution is returned.

createTypeResolution

ITypeResolution createTypeResolution(java.util.List<ShallowEntity> rootEntities,
                                     ScopedTypeLookup variableLookup)

Creates type information for all given shallow entities and their children and uses the given ScopedTypeLookup as root lookup. A type resolution is returned.