dk.brics.tajs.monitoring.inspector.api

Class TAJSInspectorAPI

java.lang.Object

dk.brics.tajs.monitoring.inspector.api.TAJSInspectorAPI

All Implemented Interfaces:

dk.brics.inspector.api.InspectorAPI

public class TAJSInspectorAPI
extends java.lang.Object
implements dk.brics.inspector.api.InspectorAPI

The main TAJS implementation of InspectorAPI.

Constructor Summary

Constructors

Constructor and Description
TAJSInspectorAPI(InspectorData data, java.util.Set<GutterProvider> gutters, IDManager idManager, GenericSolver.SolverInterface c)

Method Summary

Modifier and Type	Method and Description
java.util.Set<dk.brics.inspector.api.model.locations.ContextSensitiveDescribedLocation>	getAllocationLocations(dk.brics.inspector.api.model.ids.ObjectID objectID)
java.util.Set<dk.brics.inspector.api.model.locations.ContextSensitiveDescribedLocation>	getCallLocations(dk.brics.inspector.api.model.ids.ObjectID objectID)
java.util.Set<dk.brics.inspector.api.model.ids.ObjectID>	getEnclosingFunction(dk.brics.inspector.api.model.ids.LocationID locationID)
java.util.Set<dk.brics.inspector.api.model.locations.ContextSensitiveDescribedLocation>	getEventHandlerRegistrationLocations(dk.brics.inspector.api.model.ids.ObjectID objectID)
dk.brics.inspector.api.model.locations.FileDescription	getFileDescription(dk.brics.inspector.api.model.ids.FileID id)
java.util.Set<dk.brics.inspector.api.model.ids.FileID>	getFileIDs()
java.util.Set<dk.brics.inspector.api.model.locations.DescribedContext>	getFilteredContexts(dk.brics.inspector.api.model.ids.LocationID locationID, java.lang.String expressionString)
java.util.Set<dk.brics.inspector.api.model.lines.Gutter<?>>	getGutters(dk.brics.inspector.api.model.ids.FileID id)
java.util.Set<dk.brics.inspector.api.model.lines.LineValue>	getLineValues(dk.brics.inspector.api.model.ids.FileID fileID, int line)
dk.brics.inspector.api.model.values.DescribedProperties	getObjectProperties(dk.brics.inspector.api.model.ids.ObjectID objectID, dk.brics.inspector.api.model.ids.LocationID locationID)
dk.brics.inspector.api.model.OptionData	getOptions()
dk.brics.inspector.api.model.Optional<dk.brics.inspector.api.model.locations.DescribedLocation>	getPositionalLocationID(dk.brics.inspector.api.model.ids.FileID fileID, int line, int column, java.util.Optional<dk.brics.inspector.api.model.ids.ContextID> contextID)
java.util.Set<? extends dk.brics.inspector.api.model.locations.DescribedLocation>	getRelatedLocations(dk.brics.inspector.api.model.ids.LocationID locationID, boolean forwards, dk.brics.inspector.api.model.RelatedLocationKind kind, boolean intraprocedural)

Methods inherited from class java.lang.Object

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

Constructor Detail

TAJSInspectorAPI

public TAJSInspectorAPI(InspectorData data,
                        java.util.Set<GutterProvider> gutters,
                        IDManager idManager,
                        GenericSolver.SolverInterface c)

Method Detail

getAllocationLocations

public java.util.Set<dk.brics.inspector.api.model.locations.ContextSensitiveDescribedLocation> getAllocationLocations(dk.brics.inspector.api.model.ids.ObjectID objectID)

Specified by:

getAllocationLocations in interface dk.brics.inspector.api.InspectorAPI

getCallLocations

public java.util.Set<dk.brics.inspector.api.model.locations.ContextSensitiveDescribedLocation> getCallLocations(dk.brics.inspector.api.model.ids.ObjectID objectID)

Specified by:

getCallLocations in interface dk.brics.inspector.api.InspectorAPI

getEnclosingFunction

public java.util.Set<dk.brics.inspector.api.model.ids.ObjectID> getEnclosingFunction(dk.brics.inspector.api.model.ids.LocationID locationID)

Specified by:

getEnclosingFunction in interface dk.brics.inspector.api.InspectorAPI

getEventHandlerRegistrationLocations

public java.util.Set<dk.brics.inspector.api.model.locations.ContextSensitiveDescribedLocation> getEventHandlerRegistrationLocations(dk.brics.inspector.api.model.ids.ObjectID objectID)

Specified by:

getEventHandlerRegistrationLocations in interface dk.brics.inspector.api.InspectorAPI

getFileDescription

public dk.brics.inspector.api.model.locations.FileDescription getFileDescription(dk.brics.inspector.api.model.ids.FileID id)

Specified by:

getFileDescription in interface dk.brics.inspector.api.InspectorAPI

getFileIDs

public java.util.Set<dk.brics.inspector.api.model.ids.FileID> getFileIDs()

Specified by:

getFileIDs in interface dk.brics.inspector.api.InspectorAPI

getFilteredContexts

public java.util.Set<dk.brics.inspector.api.model.locations.DescribedContext> getFilteredContexts(dk.brics.inspector.api.model.ids.LocationID locationID,
                                                                                                  java.lang.String expressionString)

Specified by:

getFilteredContexts in interface dk.brics.inspector.api.InspectorAPI

getGutters

public java.util.Set<dk.brics.inspector.api.model.lines.Gutter<?>> getGutters(dk.brics.inspector.api.model.ids.FileID id)

Specified by:

getGutters in interface dk.brics.inspector.api.InspectorAPI

getLineValues

public java.util.Set<dk.brics.inspector.api.model.lines.LineValue> getLineValues(dk.brics.inspector.api.model.ids.FileID fileID,
                                                                                 int line)

Specified by:

getLineValues in interface dk.brics.inspector.api.InspectorAPI

getObjectProperties

public dk.brics.inspector.api.model.values.DescribedProperties getObjectProperties(dk.brics.inspector.api.model.ids.ObjectID objectID,
                                                                                   dk.brics.inspector.api.model.ids.LocationID locationID)

Specified by:

getObjectProperties in interface dk.brics.inspector.api.InspectorAPI

getOptions

public dk.brics.inspector.api.model.OptionData getOptions()

Specified by:

getOptions in interface dk.brics.inspector.api.InspectorAPI

getPositionalLocationID

public dk.brics.inspector.api.model.Optional<dk.brics.inspector.api.model.locations.DescribedLocation> getPositionalLocationID(dk.brics.inspector.api.model.ids.FileID fileID,
                                                                                                                               int line,
                                                                                                                               int column,
                                                                                                                               java.util.Optional<dk.brics.inspector.api.model.ids.ContextID> contextID)

Specified by:

getPositionalLocationID in interface dk.brics.inspector.api.InspectorAPI

getRelatedLocations

public java.util.Set<? extends dk.brics.inspector.api.model.locations.DescribedLocation> getRelatedLocations(dk.brics.inspector.api.model.ids.LocationID locationID,
                                                                                                             boolean forwards,
                                                                                                             dk.brics.inspector.api.model.RelatedLocationKind kind,
                                                                                                             boolean intraprocedural)

Specified by:

getRelatedLocations in interface dk.brics.inspector.api.InspectorAPI