sofya.base
Interface SConstants

All Known Implementing Classes:

Block, BlockInstrumentor, BranchFlowProcessor, BranchInstrumentor, CFEdge, CFEdgeSelector, CFG, CFGBuilder, cfInstrumentor, GraphTraverser, Instrumentor, Node, SemanticInstrumentor, SocketProbe, Statistics, TestHistoryBuilder, TestHistoryHandler, TestSelectionHandler, TraceHandler

public interface SConstants

Sofya constants.

Version:

06/01/2005

Nested Class Summary

static class	SConstants.BlockLabel Type-safe enumeration for block labels.
static class	SConstants.BlockObjectType Type-safe class constant to represent basic blocks as the object type for instrumentation and tracing.
static class	SConstants.BlockSubType Type-safe enumeration for block subtypes
static class	SConstants.BlockType Type-safe enumeration for block types.
static class	SConstants.BranchObjectType Type-safe class constant to represent branch edges as the object type for instrumentation and tracing.
static class	SConstants.BranchType Type-safe enumeration for branch object types.
static class	SConstants.EDObjectType Type-safe class constant to represent semantic events as the object type for instrumentation and tracing.
static class	SConstants.TraceObjectType Base class for type-safe class constants encoding the types of program entities (trace objects) that can be instrumented and traced.

Field Summary

static int	DEFAULT_PORT Default port used by socket-based event dispatchers and instrumentors.
static int	INST_COMPATIBLE Constant flag which indicates that the instrumentation is compatible with all filters.
static int	INST_OLD_UNSUPPORTED Constant flag which indicates that the instrumentation is no longer supported.
static int	INST_OPT_NORMAL Constant flag which indicates that the instrumentation is optimized for coverage traces
static int	INST_OPT_SEQUENCE Constant flag which indicates that the instrumentation is optimized for sequence traces.
static int	SIG_CHKALIVE Signal used in synchronized execution of the block sequence processor to test whether the subject is still running.
static int	SIG_ECHO Signal used in synchronized execution of the block sequence processor to force a handshake between the event dispatcher and the subject SocketProbe.

Field Detail

DEFAULT_PORT

static final int DEFAULT_PORT

Default port used by socket-based event dispatchers and instrumentors.

See Also:

Constant Field Values

SIG_ECHO

static final int SIG_ECHO

Signal used in synchronized execution of the block sequence processor to force a handshake between the event dispatcher and the subject SocketProbe.

See Also:

Constant Field Values

SIG_CHKALIVE

static final int SIG_CHKALIVE

Signal used in synchronized execution of the block sequence processor to test whether the subject is still running.

See Also:

Constant Field Values

INST_OLD_UNSUPPORTED

static final int INST_OLD_UNSUPPORTED

Constant flag which indicates that the instrumentation is no longer supported.

See Also:

Constant Field Values

INST_COMPATIBLE

static final int INST_COMPATIBLE

Constant flag which indicates that the instrumentation is compatible with all filters.

See Also:

Constant Field Values

INST_OPT_NORMAL

static final int INST_OPT_NORMAL

Constant flag which indicates that the instrumentation is optimized for coverage traces

See Also:

Constant Field Values

INST_OPT_SEQUENCE

static final int INST_OPT_SEQUENCE

Constant flag which indicates that the instrumentation is optimized for sequence traces.

See Also:

Constant Field Values