sofya.ed.structural.processors
Class BranchCoverageProcessingStrategy

java.lang.Object
  sofya.ed.structural.processors.AbstractProcessingStrategy
      sofya.ed.structural.processors.AbstractSocketProcessingStrategy
          sofya.ed.structural.processors.BranchCoverageProcessingStrategy

All Implemented Interfaces:

ActiveComponent, BranchInstrumentationStrategy, SocketProcessingStrategy

public class BranchCoverageProcessingStrategy
extends AbstractSocketProcessingStrategy
implements BranchInstrumentationStrategy

Processing strategy to receive branch coverage probes and dispatch branch coverage events.

Version:

08/04/2006

Author:

Alex Kinneer

Field Summary

Fields inherited from class sofya.ed.structural.processors.AbstractSocketProcessingStrategy

isSbjDispatcher, PREEMPTIVE, traceLock

Fields inherited from class sofya.ed.structural.processors.AbstractProcessingStrategy

instMode, sbjout, stderr, stdout

Constructor Summary

BranchCoverageProcessingStrategy()
Creates a new instance of the processing strategy with a trace handler as the default coverage listener manager.

BranchCoverageProcessingStrategy(CoverageListenerManager clm)
Creates a new instance of the processing strategy.

Method Summary

boolean	areCallBranchesActive() Reports whether call branches are selected.
boolean	areEntryBranchesActive() Reports whether entry branches are selected.
boolean	areIfBranchesActive() Reports whether if branches are selected.
boolean	areSummaryBranchesActive() Reports whether summary branches are selected.
boolean	areSwitchBranchesActive() Reports whether switch branches are selected.
boolean	areThrowsBranchesActive() Reports whether throws branches are selected.
java.util.List	configure(java.util.List params) Configures this component from command line parameters.
void	dispatcherStarting() Message sent by the event dispatcher to indicate that it is about to start receiving data to publish its event stream.
void	dispatcherStopped() Message sent by the event dispatcher to indicate that it has stopped receiving data used to publish its event stream.
void	doHandshake(java.net.Socket sbjSocket) Executes the handshake procedure with the socket probe.
CoverageListenerManager	getCoverageListenerManager() Gets the coverage listener manager to be used.
int	getTypeFlags() Gets the bitmask corresponding to the types of branches currently selected.
boolean	isReady() Reports whether this component is ready for the event dispatcher to begin dispatching events.
void	processProbes(java.net.Socket sbjSocket, ControlData cntrl) The standard trace processing loop, used for all subjects except other event dispatchers.
void	processProbesSynchronized(java.net.Socket sbjSocket, ControlData cntrl) The synchronized trace processing loop.
void	register(EventDispatcherConfiguration edConfig) Registers this component with the event dispatcher.
void	release() Notifies this component that its current lifecycle has expired and that it should commit any stored state and release resources.
void	reset() Notifies this component to clear its configuration and reset any internal state.
void	setCallBranchesActive(boolean enable) Sets whether call branches are selected.
void	setCoverageListenerManager(CoverageListenerManager clm) Sets the coverage listener manager to be used.
void	setEntryBranchesActive(boolean enable) Sets whether entry branches are selected.
void	setIfBranchesActive(boolean enable) Sets whether if branches are selected.
void	setSummaryBranchesActive(boolean enable) Sets whether summary branches are selected.
void	setSwitchBranchesActive(boolean enable) Sets whether switch branches are selected.
void	setThrowsBranchesActive(boolean enable) Sets whether throws branches are selected.

Methods inherited from class sofya.ed.structural.processors.AbstractSocketProcessingStrategy

openSignalSocket, parseMethodSignature

Methods inherited from class java.lang.Object

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

Constructor Detail

BranchCoverageProcessingStrategy

public BranchCoverageProcessingStrategy()

Creates a new instance of the processing strategy with a trace handler as the default coverage listener manager.

BranchCoverageProcessingStrategy

public BranchCoverageProcessingStrategy(CoverageListenerManager clm)

Creates a new instance of the processing strategy.

Parameters:

clm - Coverage listener manager to be used to retrieve coverage listeners to which events will be dispatched.

Method Detail

getCoverageListenerManager

public CoverageListenerManager getCoverageListenerManager()

Gets the coverage listener manager to be used.

Returns:

The coverage listener manager being used used to retrieve coverage listeners to which events will be dispatched.

setCoverageListenerManager

public void setCoverageListenerManager(CoverageListenerManager clm)

Sets the coverage listener manager to be used.

Parameters:

clm - Coverage listener manager to be used to retrieve coverage listeners to which events will be dispatched.

register

public void register(EventDispatcherConfiguration edConfig)

Description copied from class: AbstractProcessingStrategy

Registers this component with the event dispatcher.

Specified by:

register in interface ActiveComponent

Overrides:

register in class AbstractSocketProcessingStrategy

Parameters:

edConfig - The current configuration of system global resources and settings that the component will use as appropriate.

configure

public java.util.List configure(java.util.List params)

Description copied from interface: ActiveComponent

Configures this component from command line parameters.

This method provides a component the opportunity to define and process command line parameters required to configure itself. Components participate in a processing chain, initiated in Sofya-provided event dispatchers by calling this method on the processing strategy. The processing strategies provided by Sofya in turn invoke this method on any listeners implementing this interface.

Specified by:

configure in interface ActiveComponent

Overrides:

configure in class AbstractSocketProcessingStrategy

Parameters:

params - A list of command line tokens that have not yet been processed by any previous components.

Returns:

The list of parameters, with any recognized parameters and associated values removed. This enables the chaining of parameter processing.

reset

public void reset()

Description copied from interface: ActiveComponent

Notifies this component to clear its configuration and reset any internal state.

Calls to this method are chained similary to the ActiveComponent.configure(java.util.List) method. This method is invoked by the event dispatcher prior to reconfiguration. Normally it should be used to clear any configuration state to avoid using stale values.

Specified by:

reset in interface ActiveComponent

Overrides:

reset in class AbstractSocketProcessingStrategy

isReady

public boolean isReady()

Description copied from interface: ActiveComponent

Reports whether this component is ready for the event dispatcher to begin dispatching events.

Calls to this method are chained similarly to the ActiveComponent.configure(java.util.List) method. The event dispatcher will fail with an error if a client invokes ProgramEventDispatcher.startDispatcher() when any attached component returns false from this method.

Specified by:

isReady in interface ActiveComponent

Returns:

true if this component is ready for the event dispatcher to begin dispatching events, false otherwise.

release

public void release()

Description copied from interface: ActiveComponent

Notifies this component that its current lifecycle has expired and that it should commit any stored state and release resources.

Calls to this method are chained similary to the ActiveComponent.configure(java.util.List) method. This method is invoked directly by a client of the event dispatcher. Normally, it should be used to release any resources that were required to persist over multiple runs of the event dispatcher.

Specified by:

release in interface ActiveComponent

Overrides:

release in class AbstractSocketProcessingStrategy

dispatcherStarting

public void dispatcherStarting()

Description copied from interface: SocketProcessingStrategy

Message sent by the event dispatcher to indicate that it is about to start receiving data to publish its event stream.

This message provides the processing strategy an opportunity to take some action prior to handling the event stream, such as issuing a message to listeners.

Specified by:

dispatcherStarting in interface SocketProcessingStrategy

dispatcherStopped

public void dispatcherStopped()

Description copied from interface: SocketProcessingStrategy

Message sent by the event dispatcher to indicate that it has stopped receiving data used to publish its event stream.

This message provides the processing strategy an opportunity to take some action after handling the event stream, such as issuing a message to listeners.

Specified by:

dispatcherStopped in interface SocketProcessingStrategy

doHandshake

public void doHandshake(java.net.Socket sbjSocket)
                 throws java.io.IOException,
                        AbstractEventDispatcher.ExecException

Description copied from interface: SocketProcessingStrategy

Executes the handshake procedure with the socket probe.

This method should check whether the type of instrumentation indicated by the socket probe is appropriate for this processing strategy. If it is not, an error response should be sent to the socket probe and an exception thrown. Otherwise, the integer code for the form of instrumentation to be processed should be returned.

Specified by:

doHandshake in interface SocketProcessingStrategy

Parameters:

sbjSocket - Main communications socket which is connected to the socket probe.

Throws:

java.io.IOException - If there is any error communicating through the socket.

AbstractEventDispatcher.ExecException - If the instrumentation in the subject is not appropriate for this type of filter.

processProbes

public void processProbes(java.net.Socket sbjSocket,
                          ControlData cntrl)

Description copied from interface: SocketProcessingStrategy

The standard trace processing loop, used for all subjects except other event dispatchers.

The run loop waits for the subject to negotiate a socket connection and then begins processing trace messages until the socket stream is closed. If the subject is not instrumented, this loop will be killed while waiting for the subject to connect when the main thread calls ProgramEventDispatcher.stopServer().

A standard trace processing loop is provided distinct from the synchronized version so that the cost of synchronization is not incurred for all subjects. This also avoids complications related to determining when to strip timestamps from trace messages. The cost of this implementation is that you must remember to update both this method and SocketProcessingStrategy.processProbesSynchronized(java.net.Socket, sofya.ed.structural.ControlData) when making changes to how trace messages are processed.

Specified by:

processProbes in interface SocketProcessingStrategy

processProbesSynchronized

public void processProbesSynchronized(java.net.Socket sbjSocket,
                                      ControlData cntrl)

Description copied from interface: SocketProcessingStrategy

The synchronized trace processing loop.

The processing performed by this run loop should be functionally equivalent to that of SocketProcessingStrategy.processProbes(java.net.Socket, sofya.ed.structural.ControlData). The only difference is that this loop should synchronize access to the listeners.

Note: This method is only expected to synchronize two threads. The event dispatcher will never execute this method from more than two threads, as there is no reason to do so.

Specified by:

processProbesSynchronized in interface SocketProcessingStrategy

areIfBranchesActive

public boolean areIfBranchesActive()

Description copied from interface: BranchInstrumentationStrategy

Reports whether if branches are selected.

Specified by:

areIfBranchesActive in interface BranchInstrumentationStrategy

Returns:

true if if branches are selected, false otherwise.

setIfBranchesActive

public void setIfBranchesActive(boolean enable)

Description copied from interface: BranchInstrumentationStrategy

Sets whether if branches are selected.

Specified by:

setIfBranchesActive in interface BranchInstrumentationStrategy

Parameters:

enable - true to select if branches, false to ignore.

areSwitchBranchesActive

public boolean areSwitchBranchesActive()

Description copied from interface: BranchInstrumentationStrategy

Reports whether switch branches are selected.

Specified by:

areSwitchBranchesActive in interface BranchInstrumentationStrategy

Returns:

true if switch branches are selected, false otherwise.

setSwitchBranchesActive

public void setSwitchBranchesActive(boolean enable)

Description copied from interface: BranchInstrumentationStrategy

Sets whether switch branches are selected.

Specified by:

setSwitchBranchesActive in interface BranchInstrumentationStrategy

Parameters:

enable - true to select switch branches, false to ignore.

areThrowsBranchesActive

public boolean areThrowsBranchesActive()

Description copied from interface: BranchInstrumentationStrategy

Reports whether throws branches are selected.

Specified by:

areThrowsBranchesActive in interface BranchInstrumentationStrategy

Returns:

true if throws branches are selected, false otherwise.

setThrowsBranchesActive

public void setThrowsBranchesActive(boolean enable)

Description copied from interface: BranchInstrumentationStrategy

Sets whether throws branches are selected.

Specified by:

setThrowsBranchesActive in interface BranchInstrumentationStrategy

Parameters:

enable - true to select throws branches, false to ignore.

areCallBranchesActive

public boolean areCallBranchesActive()

Description copied from interface: BranchInstrumentationStrategy

Reports whether call branches are selected.

Specified by:

areCallBranchesActive in interface BranchInstrumentationStrategy

Returns:

true if call branches are selected, false otherwise.

setCallBranchesActive

public void setCallBranchesActive(boolean enable)

Description copied from interface: BranchInstrumentationStrategy

Sets whether call branches are selected.

Specified by:

setCallBranchesActive in interface BranchInstrumentationStrategy

Parameters:

enable - true to select call branches, false to ignore.

areEntryBranchesActive

public boolean areEntryBranchesActive()

Description copied from interface: BranchInstrumentationStrategy

Reports whether entry branches are selected.

Specified by:

areEntryBranchesActive in interface BranchInstrumentationStrategy

Returns:

true if entry branches are selected, false otherwise.

setEntryBranchesActive

public void setEntryBranchesActive(boolean enable)

Description copied from interface: BranchInstrumentationStrategy

Sets whether entry branches are selected.

Specified by:

setEntryBranchesActive in interface BranchInstrumentationStrategy

Parameters:

enable - true to select entry branches, false to ignore.

areSummaryBranchesActive

public boolean areSummaryBranchesActive()

Description copied from interface: BranchInstrumentationStrategy

Reports whether summary branches are selected.

Specified by:

areSummaryBranchesActive in interface BranchInstrumentationStrategy

Returns:

true if summary branches are selected, false otherwise.

setSummaryBranchesActive

public void setSummaryBranchesActive(boolean enable)

Description copied from interface: BranchInstrumentationStrategy

Sets whether summary branches are selected.

Specified by:

setSummaryBranchesActive in interface BranchInstrumentationStrategy

Parameters:

enable - true to select summary branches, false to ignore.

getTypeFlags

public int getTypeFlags()

Description copied from interface: BranchInstrumentationStrategy

Gets the bitmask corresponding to the types of branches currently selected.

Used for communicating configuration information to certain other components. To be phased out at a future date.

Specified by:

getTypeFlags in interface BranchInstrumentationStrategy

Returns:

The bitmask indicating which branch types have been selected in this configuration.