[ library(instrument) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

module_callsites(?StartId, ?EndId)

Retrieve module start and end callsite identifiers.
StartId
Intger
EndId
Integer

Description

Each code instrumentation point within a module is uniquely identified by its callsite identifier. The callsite identifier is a monotonically increasing integer incrementing from the initial value of 0. The predicate retrieves the start and end callsite identifiers.

The predicate is a tool and the callsite identifiers of a module other than the current calling module context can be retrieved by invoking module_callsites(StartId, EndId)@Module.

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

Fail Conditions

StartId or EndId are not the module's starting and ending callsite identifiers.

Resatisfiable

no

See Also

get_callsite_data / 2, file_callsites / 3, instrument / 2, instrument / 3, library(instrument), set_callsite_data / 2, struct(itemplate), defined_modules / 2