dk.brics.tajs.monitoring.inspector.api

Class SynchronizedMonitoringStoppingAPI

java.lang.Object

dk.brics.tajs.monitoring.inspector.api.SynchronizedMonitoringStoppingAPI

All Implemented Interfaces:

dk.brics.inspector.api.InspectorAPI

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

Synchronized decorator that disables the monitoring system before invoking the decoratee method. This is needed because the decoratee might use features that are being monitored, but we do not want such usages to be monitored!

Constructor Summary

Constructors

Constructor and Description
SynchronizedMonitoringStoppingAPI(dk.brics.inspector.api.InspectorAPI api, TogglableMonitor.Toggler toggler)

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> context)
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

SynchronizedMonitoringStoppingAPI

public SynchronizedMonitoringStoppingAPI(dk.brics.inspector.api.InspectorAPI api,
                                         TogglableMonitor.Toggler toggler)

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> context)

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