public class SynchronizedMonitoringStoppingAPI
extends java.lang.Object
implements dk.brics.inspector.api.InspectorAPI
Constructor and Description |
---|
SynchronizedMonitoringStoppingAPI(dk.brics.inspector.api.InspectorAPI api,
TogglableMonitor.Toggler toggler) |
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) |
public SynchronizedMonitoringStoppingAPI(dk.brics.inspector.api.InspectorAPI api, TogglableMonitor.Toggler toggler)
public java.util.Set<dk.brics.inspector.api.model.locations.ContextSensitiveDescribedLocation> getAllocationLocations(dk.brics.inspector.api.model.ids.ObjectID objectID)
getAllocationLocations
in interface dk.brics.inspector.api.InspectorAPI
public java.util.Set<dk.brics.inspector.api.model.locations.ContextSensitiveDescribedLocation> getCallLocations(dk.brics.inspector.api.model.ids.ObjectID objectID)
getCallLocations
in interface dk.brics.inspector.api.InspectorAPI
public java.util.Set<dk.brics.inspector.api.model.ids.ObjectID> getEnclosingFunction(dk.brics.inspector.api.model.ids.LocationID locationID)
getEnclosingFunction
in interface dk.brics.inspector.api.InspectorAPI
public java.util.Set<dk.brics.inspector.api.model.locations.ContextSensitiveDescribedLocation> getEventHandlerRegistrationLocations(dk.brics.inspector.api.model.ids.ObjectID objectID)
getEventHandlerRegistrationLocations
in interface dk.brics.inspector.api.InspectorAPI
public dk.brics.inspector.api.model.locations.FileDescription getFileDescription(dk.brics.inspector.api.model.ids.FileID id)
getFileDescription
in interface dk.brics.inspector.api.InspectorAPI
public java.util.Set<dk.brics.inspector.api.model.ids.FileID> getFileIDs()
getFileIDs
in interface dk.brics.inspector.api.InspectorAPI
public java.util.Set<dk.brics.inspector.api.model.locations.DescribedContext> getFilteredContexts(dk.brics.inspector.api.model.ids.LocationID locationID, java.lang.String expressionString)
getFilteredContexts
in interface dk.brics.inspector.api.InspectorAPI
public java.util.Set<dk.brics.inspector.api.model.lines.Gutter<?>> getGutters(dk.brics.inspector.api.model.ids.FileID id)
getGutters
in interface dk.brics.inspector.api.InspectorAPI
public java.util.Set<dk.brics.inspector.api.model.lines.LineValue> getLineValues(dk.brics.inspector.api.model.ids.FileID fileID, int line)
getLineValues
in interface dk.brics.inspector.api.InspectorAPI
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)
getObjectProperties
in interface dk.brics.inspector.api.InspectorAPI
public dk.brics.inspector.api.model.OptionData getOptions()
getOptions
in interface dk.brics.inspector.api.InspectorAPI
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)
getPositionalLocationID
in interface dk.brics.inspector.api.InspectorAPI
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)
getRelatedLocations
in interface dk.brics.inspector.api.InspectorAPI
Copyright © 2009-2019 Aarhus University