JIVE Platform
Release 0.2.2
A C D E F G H I J L M N O P R S T U V X Z

A

AbstractEventSource - Class in edu.bsu.cs.jive.events
Abstract event source implementation.
AbstractEventSource() - Constructor for class edu.bsu.cs.jive.events.AbstractEventSource
 
AbstractEventVisitor - Class in edu.bsu.cs.jive.events
Abstract JiveLog event visitor that provides empty implementations for all methods.
AbstractEventVisitor() - Constructor for class edu.bsu.cs.jive.events.AbstractEventVisitor
 
AbstractGraphicalJiveView - Class in edu.buffalo.cse.jive.ui
An abstract IGraphicalJiveView using a ScalableRootEditPart as its RootEditPart.
AbstractGraphicalJiveView() - Constructor for class edu.buffalo.cse.jive.ui.AbstractGraphicalJiveView
 
AbstractJiveSearchPage - Class in edu.buffalo.cse.jive.ui.search
An abstract implementation of an IJiveSearchPage used to update the status of the Search button.
AbstractJiveSearchPage() - Constructor for class edu.buffalo.cse.jive.ui.search.AbstractJiveSearchPage
 
AbstractJiveSearchQuery - Class in edu.buffalo.cse.jive.ui.search
An abstract implementation of an IJiveSearchQuery.
AbstractJiveSearchQuery() - Constructor for class edu.buffalo.cse.jive.ui.search.AbstractJiveSearchQuery
 
AbstractJiveView - Class in edu.buffalo.cse.jive.ui
An abstract view part used to present IJiveDebugTargets.
AbstractJiveView() - Constructor for class edu.buffalo.cse.jive.ui.AbstractJiveView
Constructs the view.
AbstractStructuredJiveView - Class in edu.buffalo.cse.jive.ui
An abstract view part used to present IJiveDebugTargets using a JFace StructuredViewer.
AbstractStructuredJiveView() - Constructor for class edu.buffalo.cse.jive.ui.AbstractStructuredJiveView
 
AbstractStructuredJiveView.AbstractJiveContentProvider - Class in edu.buffalo.cse.jive.ui
An abstract content provider used to provide model elements associated with IJiveDebugTargets.
AbstractStructuredJiveView.AbstractJiveContentProvider() - Constructor for class edu.buffalo.cse.jive.ui.AbstractStructuredJiveView.AbstractJiveContentProvider
 
accept(ContourMember.Visitor, Object) - Method in interface edu.bsu.cs.jive.contour.ContourMember
Accept a visitor
accept(ContourMemberFormat.Visitor, Object) - Method in interface edu.bsu.cs.jive.contour.ContourMemberFormat
Accept a visitor
accept(JavaContour.Visitor, Object) - Method in interface edu.bsu.cs.jive.contour.java.JavaContour
Accept a visitor
accept(Value.Visitor, Object) - Method in interface edu.bsu.cs.jive.contour.Value
Accept a visitor
accept(CallEvent.Caller.Visitor, Object) - Method in interface edu.bsu.cs.jive.events.CallEvent.Caller
Accept a visitor.
accept(CallEvent.Target.Visitor, Object) - Method in interface edu.bsu.cs.jive.events.CallEvent.Target
Accept a visitor
accept(Event.Visitor, Object) - Method in interface edu.bsu.cs.jive.events.Event
Accept a visitor
accept(ReturnEvent.Returner.Visitor, Object) - Method in interface edu.bsu.cs.jive.events.ReturnEvent.Returner
Accept a visitor
accept(CallEvent.Caller.Visitor, Object) - Method in class edu.bsu.cs.jive.util.SystemCaller
 
accept(SequenceModel.EventVisitor, Object) - Method in interface edu.buffalo.cse.jive.sequence.EventOccurrence
Accepts the EventVisitor.
accept(JavaExecutionActivation.Visitor, Object) - Method in interface edu.buffalo.cse.jive.sequence.java.JavaExecutionActivation
Processes a visitor on the activation.
accept(SequenceModel.ExecutionVisitor, ThreadID) - Method in interface edu.buffalo.cse.jive.sequence.MultiThreadedSequenceModel
Processes an (@code EventVisitor} the thread of execution of the supplied ThreadID in a depth-first order.
accept(SequenceModel.EventVisitor) - Method in interface edu.buffalo.cse.jive.sequence.SequenceModel
Processes an EventVisitor over the model in a depth-first order.
accept(SequenceModel.ExecutionVisitor) - Method in interface edu.buffalo.cse.jive.sequence.SequenceModel
Processes an ExecutionVisitor over the model in a depth-first order.
add(T) - Method in class edu.bsu.cs.jive.util.UnmodifiableStack
 
addActualParams(List<Value>) - Method in interface edu.bsu.cs.jive.events.CallEvent.Exporter
Adds the actual parameters of the call.
addActualParams(List<Value>) - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodCalledSearchQuery.CallEventExporter
 
addAll(Collection<? extends T>) - Method in class edu.bsu.cs.jive.util.UnmodifiableStack
 
addAll(int, Collection<? extends T>) - Method in class edu.bsu.cs.jive.util.UnmodifiableStack
 
addCaller(CallEvent.Caller) - Method in interface edu.bsu.cs.jive.events.CallEvent.Exporter
Adds the caller of the call.
addCaller(CallEvent.Caller) - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodCalledSearchQuery.CallEventExporter
 
addCatcher(ContourID) - Method in interface edu.bsu.cs.jive.events.ExceptionEvent.Exporter
Adds the catcher of the exception.
addCatcher(ContourID) - Method in class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery.ExceptionEventExporter
 
addContext(ContourID) - Method in interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence.Exporter
 
addContour(Contour, Contour) - Method in interface edu.bsu.cs.jive.contour.ContourModel.Exporter
Export a contour.
addContourCreationRecord(MethodContourCreationRecord) - Method in interface edu.bsu.cs.jive.events.CallEvent.Target.InModel.Exporter
Add the contour creation record, which describes the method contour that is created.
addContourCreationRecords(List<ContourCreationRecord>) - Method in interface edu.bsu.cs.jive.events.LoadEvent.Exporter
Supply the contour creation records list.
addContourCreationRecords(List<ContourCreationRecord>) - Method in interface edu.bsu.cs.jive.events.NewEvent.Exporter
Add the list of created contours.
addContourCreationRecords(List<ContourCreationRecord>) - Method in class edu.buffalo.cse.jive.ui.search.queries.ObjectCreatedSearchQuery.NewEventExporter
 
addContourFormat(ContourFormat) - Method in interface edu.bsu.cs.jive.contour.ContourCreationRecord.Exporter
 
addContourID(ContourID) - Method in interface edu.bsu.cs.jive.contour.ContourCreationRecord.Exporter
 
addContourID(ContourID) - Method in interface edu.bsu.cs.jive.contour.Value.ContourReference.Exporter
Export the identifier of the contour referenced by this value
addContourID(ContourID) - Method in interface edu.bsu.cs.jive.events.AssignEvent.Exporter
Adds the identifier for the contour that contains the variable whose value is changing.
addContourID(ContourID) - Method in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery.AssignEventExporter
 
addContourID(ContourID) - Method in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery.AssignEventExporter
 
addDuration(long) - Method in interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence.Exporter
 
addElement(T) - Method in class edu.bsu.cs.jive.util.UnmodifiableStack
 
addEnclosingContourID(ContourID) - Method in interface edu.bsu.cs.jive.events.LoadEvent.Exporter
Supply the enclosing contour id.
addEnclosingContourID(ContourID) - Method in interface edu.bsu.cs.jive.events.NewEvent.Exporter
Add the enclosing contour ID.
addEnclosingContourID(ContourID) - Method in class edu.buffalo.cse.jive.ui.search.queries.ObjectCreatedSearchQuery.NewEventExporter
 
addEvents(List<EventOccurrence>) - Method in interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence.Exporter
 
addException(Value) - Method in interface edu.bsu.cs.jive.events.ExceptionEvent.Exporter
Adds the exception that was caught.
addException(Value) - Method in class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery.ExceptionEventExporter
 
addFilename(String) - Method in interface edu.bsu.cs.jive.events.EOSEvent.Exporter
Adds the filename in which the line was executed.
addID(ContourID) - Method in interface edu.bsu.cs.jive.contour.Contour.Exporter
Export the contour identifier for this contour
addID(VariableID) - Method in interface edu.bsu.cs.jive.contour.ContourMember.Variable.Exporter
 
addID(VariableID) - Method in interface edu.bsu.cs.jive.contour.ContourMemberFormat.VariableFormat.Exporter
Add the contour-unique variable identifier.
addId(long) - Method in interface edu.bsu.cs.jive.util.ThreadID.Exporter
 
addID(ContourID) - Method in interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence.Exporter
 
addIDString(String) - Method in interface edu.bsu.cs.jive.util.ContourID.Exporter
 
addInitiator(MessageSend) - Method in interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence.Exporter
 
addLineNumber(int) - Method in interface edu.bsu.cs.jive.events.EOSEvent.Exporter
Adds the line number that was executed.
addListener(ContourModel.Listener) - Method in interface edu.bsu.cs.jive.contour.ContourModel
Register a listener.
addListener(EventSource.Listener) - Method in class edu.bsu.cs.jive.events.AbstractEventSource
 
addListener(EventSource.Listener) - Method in interface edu.bsu.cs.jive.events.EventSource
Add a listener to this event source.
addListener(SequenceModel.Listener) - Method in interface edu.buffalo.cse.jive.sequence.SequenceModel
Registers the supplied listener to be notified when the model has changed.
addMatch(EventOccurrence) - Method in class edu.buffalo.cse.jive.ui.search.ExecutionHistorySearchQuery
Adds a search query match to the search result.
addMember(ContourMember) - Method in interface edu.bsu.cs.jive.contour.Contour.Exporter
Export a contour member.
addName(String) - Method in interface edu.bsu.cs.jive.contour.ContourMember.Exporter
 
addName(String) - Method in interface edu.bsu.cs.jive.contour.ContourMemberFormat.Exporter
 
addName(String) - Method in interface edu.bsu.cs.jive.util.ThreadID.Exporter
 
addNewValue(Value) - Method in interface edu.bsu.cs.jive.events.AssignEvent.Exporter
Adds the new value assigned to the variable.
addNewValue(Value) - Method in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery.AssignEventExporter
 
addNewValue(Value) - Method in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery.AssignEventExporter
 
addNumber(long) - Method in interface edu.bsu.cs.jive.events.Event.Exporter
Get the sequence number of this event.
addNumber(long) - Method in class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery.ExceptionEventExporter
 
addNumber(long) - Method in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery.AssignEventExporter
 
addNumber(long) - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodCalledSearchQuery.CallEventExporter
 
addNumber(long) - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodReturnedSearchQuery.ReturnEventExporter
 
addNumber(long) - Method in class edu.buffalo.cse.jive.ui.search.queries.ObjectCreatedSearchQuery.NewEventExporter
 
addNumber(long) - Method in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery.AssignEventExporter
 
addPreviousContext(ReturnEvent.Returner) - Method in interface edu.bsu.cs.jive.events.ReturnEvent.Exporter
Adds the previous context.
addPreviousContext(ReturnEvent.Returner) - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodReturnedSearchQuery.ReturnEventExporter
 
addReturnValue(Value) - Method in interface edu.bsu.cs.jive.events.ReturnEvent.Exporter
Adds the value returned from the method.
addReturnValue(Value) - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodReturnedSearchQuery.ReturnEventExporter
 
addTarget(CallEvent.Target) - Method in interface edu.bsu.cs.jive.events.CallEvent.Exporter
Adds the target of the call.
addTarget(CallEvent.Target) - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodCalledSearchQuery.CallEventExporter
 
addThread(ThreadID) - Method in interface edu.bsu.cs.jive.contour.java.MethodContour.Exporter
Export the thread on which this method contour has executed.
addThread(ThreadID) - Method in interface edu.bsu.cs.jive.contour.MethodContourCreationRecord.Exporter
 
addThread() - Method in interface edu.buffalo.cse.jive.sequence.java.ThreadActivation.Exporter
 
addThreadID(ThreadID) - Method in interface edu.bsu.cs.jive.events.Event.Exporter
Adds the thread on which this event took place.
addThreadID(ThreadID) - Method in class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery.ExceptionEventExporter
 
addThreadID(ThreadID) - Method in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery.AssignEventExporter
 
addThreadID(ThreadID) - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodCalledSearchQuery.CallEventExporter
 
addThreadID(ThreadID) - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodReturnedSearchQuery.ReturnEventExporter
 
addThreadID(ThreadID) - Method in class edu.buffalo.cse.jive.ui.search.queries.ObjectCreatedSearchQuery.NewEventExporter
 
addThreadID(ThreadID) - Method in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery.AssignEventExporter
 
addType(Type) - Method in interface edu.bsu.cs.jive.contour.ContourMember.Exporter
 
addType(Type) - Method in interface edu.bsu.cs.jive.contour.ContourMemberFormat.Exporter
 
addUpdatableAction(IUpdatableAction) - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
Adds an IUpdatableAction to the list of actions that must be updated when the active target changes.
addValue(Value) - Method in interface edu.bsu.cs.jive.contour.ContourMember.Exporter
 
addVariable(VariableID) - Method in interface edu.bsu.cs.jive.events.ExceptionEvent.Exporter
Adds the variable identifier holding the exception that was caught.
addVariable(VariableID) - Method in class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery.ExceptionEventExporter
 
addVariableID(VariableID) - Method in interface edu.bsu.cs.jive.events.AssignEvent.Exporter
Adds the identifier of the variable that has changed value.
addVariableID(VariableID) - Method in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery.AssignEventExporter
 
addVariableID(VariableID) - Method in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery.AssignEventExporter
 
addVirtualProperty(boolean) - Method in interface edu.bsu.cs.jive.contour.java.InstanceContour.Exporter
 
AncestorAdapter - Class in edu.bsu.cs.jive.util
Swing-style adapter class for the AncestorListener interface.
AncestorAdapter() - Constructor for class edu.bsu.cs.jive.util.AncestorAdapter
 
ancestorAdded(AncestorEvent) - Method in class edu.bsu.cs.jive.util.AncestorAdapter
 
ancestorMoved(AncestorEvent) - Method in class edu.bsu.cs.jive.util.AncestorAdapter
 
ancestorRemoved(AncestorEvent) - Method in class edu.bsu.cs.jive.util.AncestorAdapter
 
AssignEvent - Interface in edu.bsu.cs.jive.events
An event corresponding to the assigning of a value to a variable.
AssignEvent.Exporter - Interface in edu.bsu.cs.jive.events
Exporter (reverse-builder) for assign events.
AssignEvent.Importer - Interface in edu.bsu.cs.jive.events
Importer (builder) for assign events.
assignmentExporter - Variable in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery
An exporter used to examine AssignEvents.

C

CallEvent - Interface in edu.bsu.cs.jive.events
An event corresponding to a method call.
CallEvent.Caller - Interface in edu.bsu.cs.jive.events
The caller of a call event.
CallEvent.Caller.InModel - Interface in edu.bsu.cs.jive.events
A caller that is in the model (i.e., has a contour)
CallEvent.Caller.OutOfModel - Interface in edu.bsu.cs.jive.events
A caller that is not in the model.
CallEvent.Caller.System - Interface in edu.bsu.cs.jive.events
The system caller, used for the first call on a thread.
CallEvent.Caller.Visitor - Interface in edu.bsu.cs.jive.events
A visitor for caller classes.
CallEvent.Exporter - Interface in edu.bsu.cs.jive.events
Exporter (reverse-builder) for call events.
CallEvent.Importer - Interface in edu.bsu.cs.jive.events
Importer (builder) for call events.
CallEvent.Target - Interface in edu.bsu.cs.jive.events
The target of a call event.
CallEvent.Target.InModel - Interface in edu.bsu.cs.jive.events
A target that is in the model (i.e. has a contour)
CallEvent.Target.InModel.Exporter - Interface in edu.bsu.cs.jive.events
A reverse-builder for an in-model target.
CallEvent.Target.InModel.Importer - Interface in edu.bsu.cs.jive.events
A builder for an in-model target.
CallEvent.Target.OutOfModel - Interface in edu.bsu.cs.jive.events
A target that is not in the model.
CallEvent.Target.Visitor - Interface in edu.bsu.cs.jive.events
A visitor for target classes.
canReplayRecordedStates() - Method in interface edu.buffalo.cse.jive.core.IJiveDebugTarget
Returns whether or not the the debug target can replay past states.
canRerun() - Method in class edu.buffalo.cse.jive.ui.search.AbstractJiveSearchQuery
 
canRunInBackground() - Method in class edu.buffalo.cse.jive.ui.search.AbstractJiveSearchQuery
 
canStepBackward() - Method in interface edu.bsu.cs.jive.contour.InteractiveContourModel
Returns true if this interactive contour model can step backwards.
canStepForwardThroughRecordedStates() - Method in interface edu.bsu.cs.jive.contour.InteractiveContourModel
Returns true if this interactive contour model can step forward through pre-recorded states.
checkForMatch(ExceptionEvent) - Method in class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery
Checks if the supplied ExceptionEvent matches the pattern and exception name.
checkForMatch() - Method in class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery.ExceptionEventExporter
Returns whether the exception catcher matches the JiveSearchPattern and the exception caught starts with the exception name.
checkForMatch(EOSEvent) - Method in class edu.buffalo.cse.jive.ui.search.queries.LineExecutedSearchQuery
Checks if the supplied event matches the query input.
checkForMatch(JiveSearchPattern) - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodCalledSearchQuery.CallEventExporter
Returns whether the event is a method call represented by the supplied JiveSearchPattern.
checkForMatch(CallEvent) - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodCalledSearchQuery
Checks if the supplied event matches the search pattern.
checkForMatch(ReturnEvent) - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodReturnedSearchQuery
Checks if the supplied event matches the search pattern.
checkForMatch(JiveSearchPattern, RelationalOperator, String) - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodReturnedSearchQuery.ReturnEventExporter
Returns whether the event is a method return represented by the supplied JiveSearchPattern and whether the return value condition holds.
checkForMatch(NewEvent) - Method in class edu.buffalo.cse.jive.ui.search.queries.ObjectCreatedSearchQuery
Checks if the supplied event matches the search pattern.
checkForMatch(JiveSearchPattern) - Method in class edu.buffalo.cse.jive.ui.search.queries.ObjectCreatedSearchQuery.NewEventExporter
Returns whether the event is a object creation represented by the supplied JiveSearchPattern.
checkForMatch(JiveSearchPattern, RelationalOperator, String) - Method in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery.AssignEventExporter
Returns whether the event is an assignment to a variable represented by the supplied JiveSearchPattern and the condition on the value holds.
checkForMatch(AssignEvent) - Method in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery
Checks if the supplied event matches the search pattern.
checkForUpdates(AssignEvent) - Method in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery
Checks if the instance-to-value maps need updating.
checkInvariantViolated(MessageSend) - Method in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery
Checks whether the invariant was violated at the current point in the execution history.
className - Variable in class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery.ExceptionEventExporter
The fully-qualified class name of the exception catcher.
className - Variable in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery.AssignEventExporter
The fully-qualified class name containing the variable assignment.
className - Variable in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery.AssignEventExporter
The fully-qualified class name containing the variable assignment.
classText - Variable in class edu.buffalo.cse.jive.ui.search.pages.ExceptionCaughtSearchPage
An optional fully-qualified class name in which an exception is caught.
classText - Variable in class edu.buffalo.cse.jive.ui.search.pages.MethodCalledSearchPage
A fully-qualified class name in which the method is called.
classText - Variable in class edu.buffalo.cse.jive.ui.search.pages.MethodReturnedSearchPage
A fully-qualified class name from which the method is returned.
classText - Variable in class edu.buffalo.cse.jive.ui.search.pages.ObjectCreatedSearchPage
A fully-qualified class of the object created.
classText - Variable in class edu.buffalo.cse.jive.ui.search.pages.VariableChangedSearchPage
A fully-qualified class name in which the condition is being checked.
compare(String, String) - Method in enum edu.buffalo.cse.jive.ui.search.RelationalOperator
Compares the supplied strings by first converting them to the appropriate type.
compare(Comparable<T>, T) - Method in enum edu.buffalo.cse.jive.ui.search.RelationalOperator
Compares the two operands using the Comparable interface.
configurePullDownMenu(IMenuManager) - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
Configures the view's pull-down menu with actions.
configureToolBar(IToolBarManager) - Method in class edu.buffalo.cse.jive.ui.AbstractGraphicalJiveView
 
configureToolBar(IToolBarManager) - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
Adds the actions to the tool bar using the supplied tool bar manager.
containingExecution() - Method in interface edu.buffalo.cse.jive.sequence.EventOccurrence
Returns the ExecutionOccurrence in which the event occurrence is contained.
containingModel() - Method in interface edu.bsu.cs.jive.contour.Contour
Get the model that contains this contour.
containingModel() - Method in interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence
Returns the SequenceModel in which the execution occurrence belongs.
contains(Contour) - Method in interface edu.bsu.cs.jive.contour.ContourModel
Check if the contour model contains a specific contour.
contains(ContourID) - Method in interface edu.bsu.cs.jive.contour.ContourModel
Check if the contour model contains a specific contour by ID.
containsThread(ThreadID) - Method in interface edu.buffalo.cse.jive.sequence.MultiThreadedSequenceModel
Returns whether or not the thread with the supplied ThreadID is part of the model.
context() - Method in interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence
Returns the context identifier of the execution occurrence.
Contour - Interface in edu.bsu.cs.jive.contour
A contour within a contour model.
contour() - Method in interface edu.bsu.cs.jive.events.CallEvent.Caller.InModel
Get the contour for the caller.
contour() - Method in interface edu.bsu.cs.jive.events.CallEvent.Target.InModel
Get the contour ID of this target.
contour() - Method in interface edu.bsu.cs.jive.events.ReturnEvent.Returner.InModel
Get the contour that is the returner.
Contour.Exporter - Interface in edu.bsu.cs.jive.contour
Reverse-builder for contours.
Contour.Importer - Interface in edu.bsu.cs.jive.contour
Builder for contours.
CONTOUR_DIAGRAM_VIEW_ID - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The view ID for the Contour Diagram view.
CONTOUR_ICONS_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The root path for contour icons.
CONTOUR_MODEL_ICONS_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The root path for contour model icons.
CONTOUR_MODEL_VIEW_ID - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The view ID for the Contour Model view.
contourAdded(ContourModel, Contour, Contour) - Method in interface edu.bsu.cs.jive.contour.ContourModel.Listener
Called when a contour is added to the model
ContourCreationRecord - Class in edu.bsu.cs.jive.contour
A record of a contour creation.
ContourCreationRecord(ContourCreationRecord.Importer) - Constructor for class edu.bsu.cs.jive.contour.ContourCreationRecord
Create a contour creation record from an importer.
ContourCreationRecord.Exporter - Interface in edu.bsu.cs.jive.contour
A reverse-builder for contour creation records.
ContourCreationRecord.Importer - Interface in edu.bsu.cs.jive.contour
A builder for contour creation records.
ContourFormat - Interface in edu.bsu.cs.jive.contour
A contour format describes the structure of a contour without specifying any non-constant values within it.
ContourFormat.Exporter - Interface in edu.bsu.cs.jive.contour
Reverse-builder for contour formats
ContourFormat.Importer - Interface in edu.bsu.cs.jive.contour
Builder for contour formats.
ContourID - Interface in edu.bsu.cs.jive.util
Uniquely identifies a contour within a specific contour model.
ContourID.Exporter - Interface in edu.bsu.cs.jive.util
Exporter interface for contour identifiers
ContourID.Importer - Interface in edu.bsu.cs.jive.util
Importer interface for contour identifiers
ContourIDFactory - Class in edu.bsu.cs.jive.util
A factory class for contour identifiers.
ContourIDTokenizer - Class in edu.buffalo.cse.jive.ui.search
A utility class used to break a ContourID into its various components.
ContourIDTokenizer(ContourID) - Constructor for class edu.buffalo.cse.jive.ui.search.ContourIDTokenizer
Constructs a tokenizer for the supplied ContourID and tokenizes it.
ContourMember - Interface in edu.bsu.cs.jive.contour
A member of a contour.
ContourMember.Exporter - Interface in edu.bsu.cs.jive.contour
A reverse-builder for contour members.
ContourMember.Importer - Interface in edu.bsu.cs.jive.contour
A builder for contour members.
ContourMember.InnerClass - Interface in edu.bsu.cs.jive.contour
An inner class declaration within a contour.
ContourMember.MethodDeclaration - Interface in edu.bsu.cs.jive.contour
A method declaration member within a contour.
ContourMember.Variable - Interface in edu.bsu.cs.jive.contour
A variable declaration member within a contour.
ContourMember.Variable.Exporter - Interface in edu.bsu.cs.jive.contour
A reverse-builder for variable declaration members.
ContourMember.Variable.Importer - Interface in edu.bsu.cs.jive.contour
A builder for variable declaration members.
ContourMember.Visitor - Interface in edu.bsu.cs.jive.contour
Visit any member.
ContourMemberFormat - Interface in edu.bsu.cs.jive.contour
Specifies the format of a contour member.
ContourMemberFormat.Exporter - Interface in edu.bsu.cs.jive.contour
Reverse-builder for contour member formats.
ContourMemberFormat.Importer - Interface in edu.bsu.cs.jive.contour
Builder for contour member formats.
ContourMemberFormat.InnerClassFormat - Interface in edu.bsu.cs.jive.contour
Member format interface for inner class declarations.
ContourMemberFormat.MethodFormat - Interface in edu.bsu.cs.jive.contour
Member format interface for method declarations.
ContourMemberFormat.VariableFormat - Interface in edu.bsu.cs.jive.contour
Member format interface for variable declarations.
ContourMemberFormat.VariableFormat.Exporter - Interface in edu.bsu.cs.jive.contour
A reverse-builder for variable contour member variable formats.
ContourMemberFormat.VariableFormat.Importer - Interface in edu.bsu.cs.jive.contour
A builder for variable contour member formats.
ContourMemberFormat.Visitor - Interface in edu.bsu.cs.jive.contour
Visitor for contour member formats.
ContourModel - Interface in edu.bsu.cs.jive.contour
A contour model is a representation of program execution state.
ContourModel.Exporter - Interface in edu.bsu.cs.jive.contour
An exporter for a contour model.
ContourModel.Importer - Interface in edu.bsu.cs.jive.contour
A builder interface for a contour model.
ContourModel.Listener - Interface in edu.bsu.cs.jive.contour
Listener interface for contour model changes.
ContourModel.Visitor - Interface in edu.bsu.cs.jive.contour
A visitor interface for the contour model.
contourRemoved(ContourModel, Contour, Contour) - Method in interface edu.bsu.cs.jive.contour.ContourModel.Listener
Called when a contour is removed from the model
control - Variable in class edu.buffalo.cse.jive.ui.search.pages.ExceptionCaughtSearchPage
The top-level control returned by ExceptionCaughtSearchPage.getControl().
control - Variable in class edu.buffalo.cse.jive.ui.search.pages.InvariantViolatedSearchPage
The top-level control returned by InvariantViolatedSearchPage.getControl().
control - Variable in class edu.buffalo.cse.jive.ui.search.pages.LineExecutedSearchPage
The top-level control returned by LineExecutedSearchPage.getControl().
control - Variable in class edu.buffalo.cse.jive.ui.search.pages.MethodCalledSearchPage
The top-level control returned by MethodCalledSearchPage.getControl().
control - Variable in class edu.buffalo.cse.jive.ui.search.pages.MethodReturnedSearchPage
The top-level control returned by MethodReturnedSearchPage.getControl().
control - Variable in class edu.buffalo.cse.jive.ui.search.pages.ObjectCreatedSearchPage
The top-level control returned by ObjectCreatedSearchPage.getControl().
control - Variable in class edu.buffalo.cse.jive.ui.search.pages.VariableChangedSearchPage
The top-level control returned by VariableChangedSearchPage.getControl().
countChildren(ContourID) - Method in interface edu.bsu.cs.jive.contour.ContourModel
Count the number of children of a specific contour.
countChildren(Contour) - Method in interface edu.bsu.cs.jive.contour.ContourModel
Count the number of children of a specific contour.
countTransactions() - Method in interface edu.bsu.cs.jive.contour.InteractiveContourModel
Count the number of transactions in this interactive contour model.
create(ContourID.Importer) - Method in class edu.bsu.cs.jive.util.ContourIDFactory
Get an instance of a contour ID from the given builder.
create(long, String) - Method in class edu.bsu.cs.jive.util.ThreadIDFactory
Get a threadID object.
create(ThreadID.Importer) - Method in class edu.bsu.cs.jive.util.ThreadIDFactory
Get a threadID object.
createActions() - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
Creates the actions that will be used by the view.
createContentProvider() - Method in class edu.buffalo.cse.jive.ui.AbstractStructuredJiveView
Creates an IStructuredContentProvider to be used as the content provider for the viewer created by AbstractStructuredJiveView.createViewer(Composite).
createContextMenu() - Method in class edu.buffalo.cse.jive.ui.AbstractGraphicalJiveView
 
createContextMenu() - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
Creates the context menu for the view.
createContextMenu() - Method in class edu.buffalo.cse.jive.ui.AbstractStructuredJiveView
 
createContextMenuProvider() - Method in class edu.buffalo.cse.jive.ui.AbstractGraphicalJiveView
Creates a ContextMenuProvider to be used as the MenuManager for the viewer's context menu.
createControl(Composite) - Method in interface edu.buffalo.cse.jive.ui.search.IJiveSearchPage
Creates the UI controls for the search page.
createControl(Composite) - Method in class edu.buffalo.cse.jive.ui.search.pages.ExceptionCaughtSearchPage
 
createControl(Composite) - Method in class edu.buffalo.cse.jive.ui.search.pages.InvariantViolatedSearchPage
 
createControl(Composite) - Method in class edu.buffalo.cse.jive.ui.search.pages.LineExecutedSearchPage
 
createControl(Composite) - Method in class edu.buffalo.cse.jive.ui.search.pages.MethodCalledSearchPage
 
createControl(Composite) - Method in class edu.buffalo.cse.jive.ui.search.pages.MethodReturnedSearchPage
 
createControl(Composite) - Method in class edu.buffalo.cse.jive.ui.search.pages.ObjectCreatedSearchPage
 
createControl(Composite) - Method in class edu.buffalo.cse.jive.ui.search.pages.VariableChangedSearchPage
 
createEditPartFactory() - Method in class edu.buffalo.cse.jive.ui.AbstractGraphicalJiveView
Creates the EditPartFactory to be used by the viewer in order to create EditParts for elements of the model.
createGraphicalViewer() - Method in class edu.buffalo.cse.jive.ui.AbstractGraphicalJiveView
Creates a GraphicalViewer to be used as the view part's viewer.
createLabelProvider() - Method in class edu.buffalo.cse.jive.ui.AbstractStructuredJiveView
Creates an IBaseLabelProvider to be used as the label provider for the viewer created by AbstractStructuredJiveView.createViewer(Composite).
createPartControl(Composite) - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
 
createPattern(JiveSearchPattern.Importer) - Static method in class edu.buffalo.cse.jive.ui.search.JiveSearchPattern
Creates a new pattern using the supplied builder.
createPattern(String, String, String) - Method in class edu.buffalo.cse.jive.ui.search.pages.InvariantViolatedSearchPage
Creates a JiveSearchPattern with the supplied values.
createSearchQuery() - Method in interface edu.buffalo.cse.jive.ui.search.IJiveSearchPage
Returns a new IJiveSearchQuery to be used to perform the search.
createSearchQuery() - Method in class edu.buffalo.cse.jive.ui.search.pages.ExceptionCaughtSearchPage
 
createSearchQuery() - Method in class edu.buffalo.cse.jive.ui.search.pages.InvariantViolatedSearchPage
 
createSearchQuery() - Method in class edu.buffalo.cse.jive.ui.search.pages.LineExecutedSearchPage
 
createSearchQuery() - Method in class edu.buffalo.cse.jive.ui.search.pages.MethodCalledSearchPage
 
createSearchQuery() - Method in class edu.buffalo.cse.jive.ui.search.pages.MethodReturnedSearchPage
 
createSearchQuery() - Method in class edu.buffalo.cse.jive.ui.search.pages.ObjectCreatedSearchPage
 
createSearchQuery() - Method in class edu.buffalo.cse.jive.ui.search.pages.VariableChangedSearchPage
 
createSearchResult() - Method in class edu.buffalo.cse.jive.ui.search.AbstractJiveSearchQuery
Creates the search result to use for the query.
createSorter() - Method in class edu.buffalo.cse.jive.ui.AbstractStructuredJiveView
Creates a ViewerSorter to be used as the sorter for the viewer created by AbstractStructuredJiveView.createViewer(Composite).
createViewer(Composite) - Method in class edu.buffalo.cse.jive.ui.AbstractStructuredJiveView
Creates a StructuredViewer to be used as the view part's viewer.

D

deliverTo(S) - Method in interface edu.bsu.cs.jive.util.Publisher.Distributor
Deliver a message to the given subscriber.
description() - Method in interface edu.bsu.cs.jive.events.CallEvent.Caller.OutOfModel
Get a brief description of this out-of-model caller.
description() - Method in interface edu.bsu.cs.jive.events.CallEvent.Target.OutOfModel
Get a brief description of this out-of-model target.
description() - Method in interface edu.bsu.cs.jive.events.ReturnEvent.Returner.OutOfModel
Get a description of this out-of-model returner.
DISABLED_ACTION_ICONS - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path segment used for disabled action icons.
DISABLED_COLLAPSE_ALL_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the disabled collapse all icon.
DISABLED_COLLAPSE_ALL_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the disabled collapse all icon.
DISABLED_EXPAND_ALL_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the disabled expand all icon.
DISABLED_EXPAND_ALL_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the disabled expand all icon.
DISABLED_ICONS - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path segment used for disabled icons.
DISABLED_LIST_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the disabled list icon.
DISABLED_LIST_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the disabled list icon.
DISABLED_PAUSE_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the disabled pause icon.
DISABLED_PAUSE_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the disabled pause icon.
DISABLED_REMOVE_ALL_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the disabled remove all icon.
DISABLED_REMOVE_ALL_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the disabled remove all icon.
DISABLED_REMOVE_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the disabled remove icon.
DISABLED_REMOVE_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the disabled remove icon.
DISABLED_RUN_BACKWARD_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the disabled run backward icon.
DISABLED_RUN_BACKWARD_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the disabled run backward icon.
DISABLED_RUN_FORWARD_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the disabled run forward icon.
DISABLED_RUN_FORWARD_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the disabled run forward icon.
DISABLED_STEP_BACKWARD_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the disabled step backward icon.
DISABLED_STEP_BACKWARD_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the disabled step backward icon.
DISABLED_STEP_FORWARD_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the disabled step forward icon.
DISABLED_STEP_FORWARD_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the disabled step forward icon.
DISABLED_TREE_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the disabled tree icon.
DISABLED_TREE_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the disabled tree icon.
display(IJiveDebugTarget) - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
 
display(IJiveDebugTarget) - Method in interface edu.buffalo.cse.jive.ui.IJiveView
Changes the view to present the supplied IJiveDebugTarget, making it the new active target.
DISPLAY_TARGET_GROUP - Static variable in class edu.buffalo.cse.jive.ui.AbstractJiveView
The group used to hold the action used to switch between targets.
dispose() - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
 
duration() - Method in interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence
Returns the number of events occurring while the execution occurrence is active.

E

edu.bsu.cs.jive.contour - package edu.bsu.cs.jive.contour
Interfaces and classes to support the contour model of program execution.
edu.bsu.cs.jive.contour.java - package edu.bsu.cs.jive.contour.java
Java-specific contour interfaces.
edu.bsu.cs.jive.events - package edu.bsu.cs.jive.events
Interfaces that define the JiveLog representation for program execution history.
edu.bsu.cs.jive.util - package edu.bsu.cs.jive.util
Miscellaneous utility classes and interfaces for JIVE.
edu.buffalo.cse.jive.core - package edu.buffalo.cse.jive.core
JIVE extensions of the JDT Debug model.
edu.buffalo.cse.jive.sequence - package edu.buffalo.cse.jive.sequence
Sequence model used to represent program execution history.
edu.buffalo.cse.jive.sequence.java - package edu.buffalo.cse.jive.sequence.java
Java-specific sequence model elements.
edu.buffalo.cse.jive.ui - package edu.buffalo.cse.jive.ui
JIVE user interface support.
edu.buffalo.cse.jive.ui.search - package edu.buffalo.cse.jive.ui.search
JIVE runtime search support.
edu.buffalo.cse.jive.ui.search.pages - package edu.buffalo.cse.jive.ui.search.pages
JIVE search pages.
edu.buffalo.cse.jive.ui.search.queries - package edu.buffalo.cse.jive.ui.search.queries
JIVE search queries.
ENABLED_ACTION_ICONS - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path segment used for enabled action icons.
ENABLED_ASSIGN_EVENT_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled assign event icon.
ENABLED_ASSIGN_EVENT_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled assign event icon.
ENABLED_CALL_EVENT_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled call event icon.
ENABLED_CALL_EVENT_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled call event icon.
ENABLED_COLLAPSE_ALL_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled collapse all icon.
ENABLED_COLLAPSE_ALL_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled collapse all icon.
ENABLED_EOS_EVENT_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled EOS event icon.
ENABLED_EOS_EVENT_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled EOS event icon.
ENABLED_EXCEPTION_EVENT_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled exception event icon.
ENABLED_EXCEPTION_EVENT_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled exception event icon.
ENABLED_EXIT_EVENT_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled exit event icon.
ENABLED_EXIT_EVENT_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled exit event icon.
ENABLED_EXPAND_ALL_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled expand all icon.
ENABLED_EXPAND_ALL_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled expand all icon.
ENABLED_EXPAND_CONTOURS_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled expand contours icon.
ENABLED_EXPAND_CONTOURS_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled expand contours icon.
ENABLED_EXPAND_LIFELINES_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the expand lifelines icon.
ENABLED_EXPAND_LIFELINES_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the expand lifelines icon.
ENABLED_ICONS - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path segment used for enabled icons.
ENABLED_INSTANCE_CONTOUR_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled instance contour icon.
ENABLED_INSTANCE_CONTOUR_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled instance contour icon.
ENABLED_INVARIANT_VIOLATED_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled invariant violated query icon.
ENABLED_INVARIANT_VIOLATED_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled invariant violated query icon.
ENABLED_JIVE_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled JIVE icon.
ENABLED_JIVE_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled JIVE icon.
ENABLED_LIST_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled list icon.
ENABLED_LIST_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled list icon.
ENABLED_LOAD_EVENT_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled load event icon.
ENABLED_LOAD_EVENT_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled load event icon.
ENABLED_METHOD_ACTIVATION_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled method activation icon.
ENABLED_METHOD_ACTIVATION_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled method activation icon.
ENABLED_METHOD_CONTOUR_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled method contour icon.
ENABLED_METHOD_CONTOUR_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled method contour icon.
ENABLED_MINIMIZE_CONTOURS_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled minimize contours icon.
ENABLED_MINIMIZE_CONTOURS_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled minimize contours icon.
ENABLED_NEW_EVENT_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled new event icon.
ENABLED_NEW_EVENT_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled new event icon.
ENABLED_PAUSE_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled pause icon.
ENABLED_PAUSE_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled pause icon.
ENABLED_REMOVE_ALL_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled remove all icon.
ENABLED_REMOVE_ALL_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled remove all icon.
ENABLED_REMOVE_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled remove icon.
ENABLED_REMOVE_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled remove icon.
ENABLED_RETURN_EVENT_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled return event icon.
ENABLED_RETURN_EVENT_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled return event icon.
ENABLED_RUN_BACKWARD_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled run backward icon.
ENABLED_RUN_BACKWARD_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled run backward icon.
ENABLED_RUN_FORWARD_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled run forward icon.
ENABLED_RUN_FORWARD_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled run forward icon.
ENABLED_SCROLL_LOCK_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the show member tables icon.
ENABLED_SCROLL_LOCK_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the show member tables icon.
ENABLED_SEARCH_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled search icon.
ENABLED_SEARCH_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled search icon.
ENABLED_SHOW_MEMBER_TABLES_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the show member tables icon.
ENABLED_SHOW_MEMBER_TABLES_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the show member tables icon.
ENABLED_SHOW_THREAD_ACTIVATIONS_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the show thread activations icon.
ENABLED_SHOW_THREAD_ACTIVATIONS_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the show thread activations icon.
ENABLED_STACK_INSTANCE_CONTOURS_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled stack instance contours icon.
ENABLED_STACK_INSTANCE_CONTOURS_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled stack instance contours icon.
ENABLED_START_EVENT_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled start event icon.
ENABLED_START_EVENT_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled start event icon.
ENABLED_STATIC_CONTOUR_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled static contour icon.
ENABLED_STATIC_CONTOUR_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled static contour icon.
ENABLED_STEP_BACKWARD_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled step backward icon.
ENABLED_STEP_BACKWARD_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled step backward icon.
ENABLED_STEP_FORWARD_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled step forward icon.
ENABLED_STEP_FORWARD_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled step forward icon.
ENABLED_THREAD_ACTIVATION_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled thread activation icon.
ENABLED_THREAD_ACTIVATION_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled thread activation icon.
ENABLED_TREE_ICON_KEY - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The key of the enabled tree icon.
ENABLED_TREE_ICON_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The path of the enabled tree icon.
enclosing() - Method in interface edu.bsu.cs.jive.events.CallEvent.Target.InModel
Get the contour ID of the contour (object or static) enclosing this contour.
EOSEvent - Interface in edu.bsu.cs.jive.events
An end-of-statement event.
EOSEvent.Exporter - Interface in edu.bsu.cs.jive.events
Exporter (reverse-builder) for an EOS event.
EOSEvent.Importer - Interface in edu.bsu.cs.jive.events
Importer (builder) for an EOS event.
evaluate(Value, Value) - Method in enum edu.buffalo.cse.jive.ui.search.RelationalOperator
Evaluates the operator on the supplied values.
evaluate(Value, String) - Method in enum edu.buffalo.cse.jive.ui.search.RelationalOperator
Evaluates the operator on the supplied values.
Event - Interface in edu.bsu.cs.jive.events
Superinterface of all jivelog events.
Event.Exporter - Interface in edu.bsu.cs.jive.events
Superinterface for event-specific exporter interfaces.
Event.Importer - Interface in edu.bsu.cs.jive.events
Superinterface of event-specific importer interfaces.
Event.Visitor - Interface in edu.bsu.cs.jive.events
Visitor class for event types.
EVENT_ICONS_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The root path for event icons.
EVENT_LOG_ICONS_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The root path for event log icons.
EVENT_LOG_VIEW_ID - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The view ID for the Event Log view.
eventAdded(SequenceModel, EventOccurrence, ExecutionOccurrence) - Method in interface edu.buffalo.cse.jive.sequence.SequenceModel.Listener
Called by the model when an EventOccurrence is added to the model.
eventOccurred(EventSource, Event) - Method in interface edu.bsu.cs.jive.events.EventSource.Listener
Called when an event is created by this event source.
EventOccurrence - Interface in edu.buffalo.cse.jive.sequence
An occurrence of a method call, variable assignment, or any other event of interest within a program execution history.
events() - Method in interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence
Returns the list of events that occurred within the execution occurrence.
EventSource - Interface in edu.bsu.cs.jive.events
Identifies an entity that produces execution events.
EventSource.Listener - Interface in edu.bsu.cs.jive.events
Listens to this event source for event notification.
ExceptionCaughtSearchPage - Class in edu.buffalo.cse.jive.ui.search.pages
An IJiveSearchPage used to create an ExceptionCaughtSearchQuery.
ExceptionCaughtSearchPage() - Constructor for class edu.buffalo.cse.jive.ui.search.pages.ExceptionCaughtSearchPage
 
ExceptionCaughtSearchQuery - Class in edu.buffalo.cse.jive.ui.search.queries
An IJiveSearchQuery that is used to check whether an exception was caught and, if so, where it was thrown.
ExceptionCaughtSearchQuery(JiveSearchPattern, String) - Constructor for class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery
Constructs a new search query with the supplied pattern and exception name.
ExceptionCaughtSearchQuery.ExceptionEventExporter - Class in edu.buffalo.cse.jive.ui.search.queries
An exporter used to examine ExceptionEvents and to determine if the event is and exception caught by a JiveSearchPattern and exception name.
ExceptionCaughtSearchQuery.ExceptionEventExporter() - Constructor for class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery.ExceptionEventExporter
 
ExceptionEvent - Interface in edu.bsu.cs.jive.events
An event corresponding to an exception's being caught.
ExceptionEvent.Exporter - Interface in edu.bsu.cs.jive.events
Exporter (reverse-builder) for an exception event.
ExceptionEvent.Importer - Interface in edu.bsu.cs.jive.events
Importer (builder) for an exception event.
exceptionName - Variable in class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery
The exception name for which to search.
exceptionText - Variable in class edu.buffalo.cse.jive.ui.search.pages.ExceptionCaughtSearchPage
An optional fully-qualified class name of the exception.
exceptionValue - Variable in class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery.ExceptionEventExporter
The exception that was caught.
EXECUTION_ICONS_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The root path for execution icons.
executionAdded(SequenceModel, ExecutionOccurrence, MessageSend) - Method in interface edu.buffalo.cse.jive.sequence.SequenceModel.Listener
Called by the model when an ExecutionOccurrence is added to the model.
ExecutionHistorySearchQuery - Class in edu.buffalo.cse.jive.ui.search
An abstract search query over the execution history of an IJiveDebugTarget.
ExecutionHistorySearchQuery() - Constructor for class edu.buffalo.cse.jive.ui.search.ExecutionHistorySearchQuery
Creates an execution history query.
ExecutionOccurrence - Interface in edu.buffalo.cse.jive.sequence
A portion of execution within a program execution history consisting of an environment in which events occur.
ExecutionOccurrence.Exporter - Interface in edu.buffalo.cse.jive.sequence
A reverse-builder for execution occurrences.
ExecutionOccurrence.Importer - Interface in edu.buffalo.cse.jive.sequence
A builder for execution occurrences.
ExitEvent - Interface in edu.bsu.cs.jive.events
An event corresponding to the exit of the VM.
ExitEvent.Exporter - Interface in edu.bsu.cs.jive.events
A reverse-builder for an exit event.
ExitEvent.Importer - Interface in edu.bsu.cs.jive.events
A builder for an exit event.
export(Contour.Exporter) - Method in interface edu.bsu.cs.jive.contour.Contour
Export this contour to the given reverse-builder.
export(ContourCreationRecord.Exporter) - Method in class edu.bsu.cs.jive.contour.ContourCreationRecord
Export this record.
export(ContourFormat.Exporter) - Method in interface edu.bsu.cs.jive.contour.ContourFormat
Export this contour format.
export(ContourMember.Exporter) - Method in interface edu.bsu.cs.jive.contour.ContourMember.InnerClass
 
export(ContourMember.Exporter) - Method in interface edu.bsu.cs.jive.contour.ContourMember.MethodDeclaration
 
export(ContourMember.Variable.Exporter) - Method in interface edu.bsu.cs.jive.contour.ContourMember.Variable
 
export(ContourMemberFormat.Exporter) - Method in interface edu.bsu.cs.jive.contour.ContourMemberFormat
Export this contour member format.
export(ContourMemberFormat.VariableFormat.Exporter) - Method in interface edu.bsu.cs.jive.contour.ContourMemberFormat.VariableFormat
Export to the given reverse-builder.
export(ContourModel.Exporter) - Method in interface edu.bsu.cs.jive.contour.ContourModel
Export this contour model (a snapshot of program execution) to a reverse-builder.
export(InstanceContour.Exporter) - Method in interface edu.bsu.cs.jive.contour.java.InstanceContour
Export this contour to the given reverse-builder.
export(MethodContour.Exporter) - Method in interface edu.bsu.cs.jive.contour.java.MethodContour
Export this method contour.
export(Contour.Exporter) - Method in interface edu.bsu.cs.jive.contour.java.StaticContour
Export this static contour.
export(MethodContourCreationRecord.Exporter) - Method in class edu.bsu.cs.jive.contour.MethodContourCreationRecord
 
export(Value.ContourReference.Exporter) - Method in interface edu.bsu.cs.jive.contour.Value.ContourReference
 
export(AssignEvent.Exporter) - Method in interface edu.bsu.cs.jive.events.AssignEvent
Exports the event.
export(CallEvent.Exporter) - Method in interface edu.bsu.cs.jive.events.CallEvent
Exports the event.
export(CallEvent.Target.InModel.Exporter) - Method in interface edu.bsu.cs.jive.events.CallEvent.Target.InModel
Export this in-model call target to the given reverse-builder.
export(EOSEvent.Exporter) - Method in interface edu.bsu.cs.jive.events.EOSEvent
Exports the event.
export(ExceptionEvent.Exporter) - Method in interface edu.bsu.cs.jive.events.ExceptionEvent
Exports the event.
export(ExitEvent.Exporter) - Method in interface edu.bsu.cs.jive.events.ExitEvent
Exports the event.
export(LoadEvent.Exporter) - Method in interface edu.bsu.cs.jive.events.LoadEvent
Exports the event.
export(NewEvent.Exporter) - Method in interface edu.bsu.cs.jive.events.NewEvent
Exports the event.
export(ReturnEvent.Exporter) - Method in interface edu.bsu.cs.jive.events.ReturnEvent
Exports the event.
export(StartEvent.Exporter) - Method in interface edu.bsu.cs.jive.events.StartEvent
Exports the event.
export(ContourID.Exporter) - Method in interface edu.bsu.cs.jive.util.ContourID
Export this contour id
export(ThreadID.Exporter) - Method in interface edu.bsu.cs.jive.util.ThreadID
Write this thread id to the given exporter.
export(ExecutionOccurrence.Exporter) - Method in interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence
Exports the execution occurrence to the reverse-builder supplied as a parameter.
exporter - Variable in class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery
An exporter used to examine ExceptionEvents.
exporter - Variable in class edu.buffalo.cse.jive.ui.search.queries.MethodCalledSearchQuery
An exporter used to examine CallEvents.
exporter - Variable in class edu.buffalo.cse.jive.ui.search.queries.MethodReturnedSearchQuery
An exporter used to examine ReturnEvents.
exporter - Variable in class edu.buffalo.cse.jive.ui.search.queries.ObjectCreatedSearchQuery
An exporter used to examine CallEvents.
exporter - Variable in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery
An exporter used to examine AssignEvents.
exportFinished() - Method in interface edu.bsu.cs.jive.contour.Contour.Exporter
Called when the exportation is finished.
exportFinished() - Method in interface edu.bsu.cs.jive.contour.ContourFormat.Exporter
Called when the exportation is finished.
exportFinished() - Method in interface edu.bsu.cs.jive.contour.ContourModel.Exporter
Called when the exportation is finished.
exportFinished() - Method in interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence.Exporter
 

F

fillContextMenu(IMenuManager) - Method in class edu.buffalo.cse.jive.ui.AbstractStructuredJiveView
Fills the context menu with actions.
FilteredMethodActivation - Interface in edu.buffalo.cse.jive.sequence.java
A JavaExecutionActivation representing the execution of a method that eventually resulted in a MethodActivation, but itself has neither an identifier nor a context.
FilteredMethodActivation.Exporter - Interface in edu.buffalo.cse.jive.sequence.java
A reverse-builder for filtered method activations.
FilteredMethodActivation.Importer - Interface in edu.buffalo.cse.jive.sequence.java
A builder for filtered method activations.
fireEvent(Event) - Method in class edu.bsu.cs.jive.events.AbstractEventSource
Fire an event to all listeners.
fromString(String) - Static method in enum edu.buffalo.cse.jive.ui.search.RelationalOperator
Returns the RelationalOperator represented by the supplied string.

G

GENERAL_ICONS_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The root path for general purpose icons.
getAdapter(Class) - Method in class edu.buffalo.cse.jive.ui.AbstractGraphicalJiveView
 
getCallNumber() - Method in class edu.buffalo.cse.jive.ui.search.ContourIDTokenizer
Returns the call number associated with the ContourID.
getChildren(ContourID) - Method in interface edu.bsu.cs.jive.contour.ContourModel
Get the children of a specific contour.
getChildren(ContourID, List<ContourID>) - Method in interface edu.bsu.cs.jive.contour.ContourModel
Get the children of a specific contour.
getChildren(Contour) - Method in interface edu.bsu.cs.jive.contour.ContourModel
Get the children of a specific contour.
getChildren(Contour, List<Contour>) - Method in interface edu.bsu.cs.jive.contour.ContourModel
Get the children of a specific contour.
getClassName() - Method in class edu.buffalo.cse.jive.ui.search.ContourIDTokenizer
Returns the fully-qualified class name associated with the ContourID.
getClassName() - Method in class edu.buffalo.cse.jive.ui.search.JiveSearchPattern
Returns the fully-qualified class name of the pattern, or null if none exists.
getClassName() - Method in class edu.buffalo.cse.jive.ui.search.SelectionTokenizer
Returns the fully-qualified class name associated with the Selection, or the empty string if there is none.
getContainer() - Method in class edu.buffalo.cse.jive.ui.search.AbstractJiveSearchPage
Returns the search page container in which this page is hosted.
getContour(ContourID) - Method in interface edu.bsu.cs.jive.contour.ContourModel
Get the contour associated with a specific contour ID.
getContourID() - Method in interface edu.bsu.cs.jive.contour.Value.ContourReference
Returns the identifier of the contour referenced by the value.
getContourModel() - Method in interface edu.buffalo.cse.jive.core.IJiveDebugTarget
Returns the contour model associated with the debug target.
getControl() - Method in interface edu.buffalo.cse.jive.ui.search.IJiveSearchPage
Returns the page's top-level UI control which was created by IJiveSearchPage.createControl(Composite).
getControl() - Method in class edu.buffalo.cse.jive.ui.search.pages.ExceptionCaughtSearchPage
 
getControl() - Method in class edu.buffalo.cse.jive.ui.search.pages.InvariantViolatedSearchPage
 
getControl() - Method in class edu.buffalo.cse.jive.ui.search.pages.LineExecutedSearchPage
 
getControl() - Method in class edu.buffalo.cse.jive.ui.search.pages.MethodCalledSearchPage
 
getControl() - Method in class edu.buffalo.cse.jive.ui.search.pages.MethodReturnedSearchPage
 
getControl() - Method in class edu.buffalo.cse.jive.ui.search.pages.ObjectCreatedSearchPage
 
getControl() - Method in class edu.buffalo.cse.jive.ui.search.pages.VariableChangedSearchPage
 
getDefaultContentDescription() - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
Returns the content description to be used when there is no active target.
getDisplayDropDownDisabledImageDescriptor() - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
Returns the ImageDescriptor of the image to be used for the DisplayTargetDropDownAction when it is disabled.
getDisplayDropDownEnabledImageDescriptor() - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
Returns the ImageDescriptor of the image to be used for the DisplayTargetDropDownAction when it is enabled.
getDisplayed() - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
 
getDisplayed() - Method in interface edu.buffalo.cse.jive.ui.IJiveView
Returns the IJiveDebugTarget that is currently being presented by the view.
getDisplayTargetDropDownText() - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
Returns the text to be used for the DisplayTargetDropDownAction.
getEditorMatchAdapter() - Method in class edu.buffalo.cse.jive.ui.search.JiveSearchResult
 
getElements(Object) - Method in class edu.buffalo.cse.jive.ui.AbstractStructuredJiveView.AbstractJiveContentProvider
 
getEventNumber(int) - Method in interface edu.bsu.cs.jive.contour.InteractiveContourModel
Returns the number of the event which initiated the transaction identified by the supplied index.
getEventOccurrence(long) - Method in interface edu.buffalo.cse.jive.sequence.SequenceModel
 
getEvents() - Method in interface edu.buffalo.cse.jive.core.IJiveEventLog
Returns an array of JIVE events contained in the event log.
getFileMatchAdapter() - Method in class edu.buffalo.cse.jive.ui.search.JiveSearchResult
 
getFilename() - Method in interface edu.bsu.cs.jive.events.EOSEvent
Get the identifying string of the file in which the event occurred.
getId() - Method in interface edu.bsu.cs.jive.util.ThreadID
Get the unique identifier for this thread.
getImage(String) - Static method in class edu.buffalo.cse.jive.ui.JiveUITools
Returns the Image associated with the supplied key.
getImageDescriptor(String) - Static method in class edu.buffalo.cse.jive.ui.JiveUITools
Returns the ImageDescriptor associated with the supplied key.
getImageDescriptor() - Method in interface edu.buffalo.cse.jive.ui.search.IJiveSearchQuery
Returns an ImageDescriptor used to represent the search query's result in the Search view's 'Show Previous Searches' tool bar action.
getImageDescriptor() - Method in class edu.buffalo.cse.jive.ui.search.JiveSearchResult
 
getImageDescriptor() - Method in class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery
 
getImageDescriptor() - Method in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery
 
getImageDescriptor() - Method in class edu.buffalo.cse.jive.ui.search.queries.LineExecutedSearchQuery
 
getImageDescriptor() - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodCalledSearchQuery
 
getImageDescriptor() - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodReturnedSearchQuery
 
getImageDescriptor() - Method in class edu.buffalo.cse.jive.ui.search.queries.ObjectCreatedSearchQuery
 
getImageDescriptor() - Method in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery
 
getInstanceNumber() - Method in class edu.buffalo.cse.jive.ui.search.ContourIDTokenizer
Returns the instance number associated with the ContourID.
getInstanceNumber() - Method in class edu.buffalo.cse.jive.ui.search.JiveSearchPattern
Returns the instance number for the pattern, or null if none exists.
getJiveEventLog() - Method in interface edu.buffalo.cse.jive.core.IJiveDebugTarget
Returns the JIVE event log that the debug target has built thus far.
getLabel() - Method in class edu.buffalo.cse.jive.ui.search.AbstractJiveSearchQuery
 
getLabel() - Method in class edu.buffalo.cse.jive.ui.search.JiveSearchResult
 
getLineNumber() - Method in interface edu.bsu.cs.jive.events.EOSEvent
Get the line number that just finished.
getMethodName() - Method in class edu.buffalo.cse.jive.ui.search.ContourIDTokenizer
Returns the method name associated with the ContourID, or null if the contour ID references a static or an instance contour.
getMethodName() - Method in class edu.buffalo.cse.jive.ui.search.JiveSearchPattern
Returns the method name of the pattern, or null if none exists.
getMethodName() - Method in class edu.buffalo.cse.jive.ui.search.SelectionTokenizer
Returns the method name associated with the ISelection, or the empty string if there is none.
getModelElements(IJiveDebugTarget) - Method in class edu.buffalo.cse.jive.ui.AbstractStructuredJiveView.AbstractJiveContentProvider
Returns the model elements that should be provided to the viewer when the input has changed.
getModelLock() - Method in interface edu.bsu.cs.jive.contour.ContourModel
Get the lock object for synchronized reading and writing to the model.
getModelLock() - Method in interface edu.buffalo.cse.jive.sequence.SequenceModel
Returns the lock object for synchronized reading and writing to the model.
getName() - Method in interface edu.bsu.cs.jive.util.ThreadID
Get the name for this thread.
getNextTransactionIndex() - Method in interface edu.bsu.cs.jive.contour.InteractiveContourModel
Get the index of the next transaction, the transaction that would be played if we call InteractiveContourModel.stepForward().
getParent(ContourID) - Method in interface edu.bsu.cs.jive.contour.ContourModel
Get the parent (enclosing contour) of a specific contour, by its id.
getParent(Contour) - Method in interface edu.bsu.cs.jive.contour.ContourModel
Get the parent (enclosing contour) of a specific contour.
getPreviousContext() - Method in interface edu.bsu.cs.jive.events.ReturnEvent
Get the context from which execution has returned.
getPrevTransactionIndex() - Method in interface edu.bsu.cs.jive.contour.InteractiveContourModel
Get the index of the previous transaction, the transaction that would be played if we call InteractiveContourModel.stepBackward().
getQuery() - Method in class edu.buffalo.cse.jive.ui.search.JiveSearchResult
 
getResultLabel(int) - Method in interface edu.buffalo.cse.jive.ui.search.IJiveSearchQuery
Returns a label describing the search result used in the Search view.
getResultLabel(int) - Method in class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery
 
getResultLabel(int) - Method in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery
 
getResultLabel(int) - Method in class edu.buffalo.cse.jive.ui.search.queries.LineExecutedSearchQuery
 
getResultLabel(int) - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodCalledSearchQuery
 
getResultLabel(int) - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodReturnedSearchQuery
 
getResultLabel(int) - Method in class edu.buffalo.cse.jive.ui.search.queries.ObjectCreatedSearchQuery
 
getResultLabel(int) - Method in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery
 
getResultType() - Method in class edu.buffalo.cse.jive.ui.search.ExecutionHistorySearchQuery
 
getResultType() - Method in interface edu.buffalo.cse.jive.ui.search.IJiveSearchQuery
Returns the type of search result matches collected by the search query.
getResultType() - Method in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery
 
getResultType() - Method in class edu.buffalo.cse.jive.ui.search.queries.LineExecutedSearchQuery
 
getResultType() - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodCalledSearchQuery
 
getResultType() - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodReturnedSearchQuery
 
getResultType() - Method in class edu.buffalo.cse.jive.ui.search.queries.ObjectCreatedSearchQuery
 
getResultType() - Method in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery
 
getReturnValue() - Method in interface edu.bsu.cs.jive.events.ReturnEvent
Get the value from this return event.
getRoot(ThreadID) - Method in interface edu.buffalo.cse.jive.sequence.MultiThreadedSequenceModel
Returns the root of the thread execution with the supplied ThreadID.
getRoot() - Method in interface edu.buffalo.cse.jive.sequence.SequenceModel
Returns the root ExecutionOccurrence of the model.
getRoots() - Method in interface edu.bsu.cs.jive.contour.ContourModel
Get the root contours.
getRoots(List<Contour>) - Method in interface edu.bsu.cs.jive.contour.ContourModel
Get the root contours.
getRoots() - Method in interface edu.buffalo.cse.jive.sequence.MultiThreadedSequenceModel
Returns a list of all the roots contained within the model.
getSearchResult() - Method in class edu.buffalo.cse.jive.ui.search.AbstractJiveSearchQuery
 
getSequenceModel() - Method in interface edu.buffalo.cse.jive.core.IJiveDebugTarget
Returns the sequence model associated with the debug target.
getStandardDisplay() - Static method in class edu.buffalo.cse.jive.ui.JiveUITools
Returns the standard display to be used.
getThread() - Method in interface edu.buffalo.cse.jive.sequence.SequenceModel
Returns the ThreadID associated with the thread being modeled.
getThreads() - Method in interface edu.buffalo.cse.jive.sequence.MultiThreadedSequenceModel
Returns a list of all the ThreadIDs that have threads contained in the model.
getTooltip() - Method in class edu.buffalo.cse.jive.ui.search.JiveSearchResult
 
getTransactionIndex(long) - Method in interface edu.bsu.cs.jive.contour.InteractiveContourModel
Returns the index of the transaction created as a result of the event with the supplied event number.
getType(String) - Method in class edu.bsu.cs.jive.util.TypeFactory
Get a type object for the given text description
getVariableName() - Method in class edu.buffalo.cse.jive.ui.search.JiveSearchPattern
Returns the variable name of the pattern, or null if none exists.
getVariableName() - Method in class edu.buffalo.cse.jive.ui.search.SelectionTokenizer
Returns the variable name associated with the ISelection, or the empty string if there is none.
getViewer() - Method in class edu.buffalo.cse.jive.ui.AbstractGraphicalJiveView
 
getViewer() - Method in class edu.buffalo.cse.jive.ui.AbstractStructuredJiveView
 
getViewer() - Method in interface edu.buffalo.cse.jive.ui.IGraphicalJiveView
Returns the GraphicalViewer used by the view part to display its input.
getViewer() - Method in interface edu.buffalo.cse.jive.ui.IStructuredJiveView
Returns the StructuredViewer used by the view part to display its input.

H

handleDebugEvents(DebugEvent[]) - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
 
hash(int, boolean) - Static method in class edu.bsu.cs.jive.util.HashUtils
 
hash(int, char) - Static method in class edu.bsu.cs.jive.util.HashUtils
 
hash(int, int) - Static method in class edu.bsu.cs.jive.util.HashUtils
 
hash(int, long) - Static method in class edu.bsu.cs.jive.util.HashUtils
 
hash(int, float) - Static method in class edu.bsu.cs.jive.util.HashUtils
 
hash(int, double) - Static method in class edu.bsu.cs.jive.util.HashUtils
 
hash(int, Object) - Static method in class edu.bsu.cs.jive.util.HashUtils
 
HashUtils - Class in edu.bsu.cs.jive.util
Collected methods which allow easy implementation of hashCode.
HashUtils() - Constructor for class edu.bsu.cs.jive.util.HashUtils
 

I

ICONS_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The root path of all icons used in the plug-in.
id() - Method in interface edu.bsu.cs.jive.contour.Contour
Get the contour identifier for this contour.
id() - Method in interface edu.bsu.cs.jive.contour.ContourMember.Variable
Get the variable ID for this variable.
id() - Method in interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence
Returns the identifier of the execution occurrence.
IGraphicalJiveView - Interface in edu.buffalo.cse.jive.ui
A view part used to present IJiveDebugTargets using a GEF GraphicalViewer.
IJiveDebugTarget - Interface in edu.buffalo.cse.jive.core
An IJavaDebugTarget monitored by JIVE.
IJiveEventLog - Interface in edu.buffalo.cse.jive.core
A JIVE event log that supports listeners.
IJiveSearchPage - Interface in edu.buffalo.cse.jive.ui.search
A page used by the Search dialog to define the user input fields of an IJiveSearchQuery and to create the query when the Search button is selected.
IJiveSearchQuery - Interface in edu.buffalo.cse.jive.ui.search
An ISearchQuery used to represent a search query over an IJiveDebugTarget.
IJiveSearchResult - Interface in edu.buffalo.cse.jive.ui.search
An ISearchResult used to represent results of an IJiveSearchQuery.
IJiveStep - Interface in edu.buffalo.cse.jive.core
Provides the ability to step into, over, and return from the current execution location in both the forward and reverse directions.
IJiveThread - Interface in edu.buffalo.cse.jive.core
An IJavaThread that supports both forward and reverse execution.
IJiveUIConstants - Interface in edu.buffalo.cse.jive.ui
Constants used by the JIVE user interface, possibly across many classes, which may also be used by other plug-ins.
IJiveView - Interface in edu.buffalo.cse.jive.ui
A view part capable of presenting an IJiveDebugTarget.
initializeInput(ISelection) - Method in interface edu.buffalo.cse.jive.ui.search.IJiveSearchPage
Initializes the search page's input fields using the provided ISelection.
initializeInput(ISelection) - Method in class edu.buffalo.cse.jive.ui.search.pages.ExceptionCaughtSearchPage
 
initializeInput(ISelection) - Method in class edu.buffalo.cse.jive.ui.search.pages.InvariantViolatedSearchPage
 
initializeInput(ISelection) - Method in class edu.buffalo.cse.jive.ui.search.pages.LineExecutedSearchPage
 
initializeInput(ISelection) - Method in class edu.buffalo.cse.jive.ui.search.pages.MethodCalledSearchPage
 
initializeInput(ISelection) - Method in class edu.buffalo.cse.jive.ui.search.pages.MethodReturnedSearchPage
 
initializeInput(ISelection) - Method in class edu.buffalo.cse.jive.ui.search.pages.ObjectCreatedSearchPage
 
initializeInput(ISelection) - Method in class edu.buffalo.cse.jive.ui.search.pages.VariableChangedSearchPage
 
initializeViewer(Composite) - Method in class edu.buffalo.cse.jive.ui.AbstractGraphicalJiveView
 
initializeViewer(Composite) - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
Called immediately in AbstractJiveView.createPartControl(Composite) to initialize the internal viewer for the view.
initializeViewer(Composite) - Method in class edu.buffalo.cse.jive.ui.AbstractStructuredJiveView
 
initiator() - Method in interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence
Returns the Message which initiated the execution occurrence.
inputChanged(Viewer, Object, Object) - Method in class edu.buffalo.cse.jive.ui.AbstractStructuredJiveView.AbstractJiveContentProvider
 
InputStreamRedirector - Class in edu.bsu.cs.jive.util
Redirects the data from an input stream into a specified output stream.
InputStreamRedirector(InputStream, OutputStream) - Constructor for class edu.bsu.cs.jive.util.InputStreamRedirector
Create a new input stream redirector
insertElementAt(T, int) - Method in class edu.bsu.cs.jive.util.UnmodifiableStack
 
instance() - Static method in class edu.bsu.cs.jive.util.ContourIDFactory
 
instance() - Static method in class edu.bsu.cs.jive.util.SystemCaller
 
instance() - Static method in class edu.bsu.cs.jive.util.ThreadIDFactory
 
instance() - Static method in class edu.bsu.cs.jive.util.TypeFactory
Get an instance of the type factory.
InstanceContour - Interface in edu.bsu.cs.jive.contour.java
An instance contour.
InstanceContour.Exporter - Interface in edu.bsu.cs.jive.contour.java
A reverse-builder for instance contours.
InstanceContour.Importer - Interface in edu.bsu.cs.jive.contour.java
A builder for instance contours.
instanceNumber - Variable in class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery.ExceptionEventExporter
The instance number of the class of the exception catcher
instanceNumber - Variable in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery.AssignEventExporter
The instance number of the class containing the variable assignment.
instanceNumber - Variable in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery.AssignEventExporter
The instance number of the class containing the variable assignment.
instanceText - Variable in class edu.buffalo.cse.jive.ui.search.pages.ExceptionCaughtSearchPage
An optional instance number specifying what instance of the class should be checked.
instanceText - Variable in class edu.buffalo.cse.jive.ui.search.pages.MethodCalledSearchPage
An optional instance number specifying what instance of the class should be checked.
instanceText - Variable in class edu.buffalo.cse.jive.ui.search.pages.MethodReturnedSearchPage
An optional instance number specifying what instance of the class should be checked.
instanceText - Variable in class edu.buffalo.cse.jive.ui.search.pages.ObjectCreatedSearchPage
An optional instance number specifying what instance of the class should be checked.
instanceText - Variable in class edu.buffalo.cse.jive.ui.search.pages.VariableChangedSearchPage
An optional instance number specifying what instance of the class should be checked.
instanceToLeftValueMap - Variable in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery
A mapping between an instance number and a value currently assigned with the variable of the left search pattern.
instanceToRightValueMap - Variable in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery
A mapping between an instance number and a value currently assigned with the variable of the right search pattern.
InteractiveContourModel - Interface in edu.bsu.cs.jive.contour
Identifies a contour model that supports forward and reverse program execution.
InvariantViolatedSearchPage - Class in edu.buffalo.cse.jive.ui.search.pages
An IJiveSearchPage used to create an InvariantViolatedSearchQuery.
InvariantViolatedSearchPage() - Constructor for class edu.buffalo.cse.jive.ui.search.pages.InvariantViolatedSearchPage
 
InvariantViolatedSearchQuery - Class in edu.buffalo.cse.jive.ui.search.queries
An IJiveSearchQuery that is used to check whether a class invariant was violated.
InvariantViolatedSearchQuery(JiveSearchPattern, RelationalOperator, JiveSearchPattern) - Constructor for class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery
Constructs a new search query with the supplied patterns and relational operator.
InvariantViolatedSearchQuery.AssignEventExporter - Class in edu.buffalo.cse.jive.ui.search.queries
An exporter used to examine AssignEvents and to determine if the event is an assignment to a variable represented by a JiveSearchPattern.
InvariantViolatedSearchQuery.AssignEventExporter() - Constructor for class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery.AssignEventExporter
 
isInputValid() - Method in interface edu.buffalo.cse.jive.ui.search.IJiveSearchPage
Returns whether the search page's input is valid.
isInputValid() - Method in class edu.buffalo.cse.jive.ui.search.pages.ExceptionCaughtSearchPage
 
isInputValid() - Method in class edu.buffalo.cse.jive.ui.search.pages.InvariantViolatedSearchPage
 
isInputValid() - Method in class edu.buffalo.cse.jive.ui.search.pages.LineExecutedSearchPage
 
isInputValid() - Method in class edu.buffalo.cse.jive.ui.search.pages.MethodCalledSearchPage
 
isInputValid() - Method in class edu.buffalo.cse.jive.ui.search.pages.MethodReturnedSearchPage
 
isInputValid() - Method in class edu.buffalo.cse.jive.ui.search.pages.ObjectCreatedSearchPage
 
isInputValid() - Method in class edu.buffalo.cse.jive.ui.search.pages.VariableChangedSearchPage
 
IStructuredJiveView - Interface in edu.buffalo.cse.jive.ui
A view part used to present IJiveDebugTargets using a JFace StructuredViewer.
isVirtual() - Method in interface edu.bsu.cs.jive.contour.java.InstanceContour
Test if this is a virtual contour or not.
iterator(ThreadID) - Method in interface edu.buffalo.cse.jive.sequence.MultiThreadedSequenceModel
Returns an iterator which traverses the thread of execution of the supplied ThreadID in a depth-first order.
iterator() - Method in interface edu.buffalo.cse.jive.sequence.SequenceModel
Returns an iterator which traverses the sequence model in a depth-first order.
iterator(ExecutionOccurrence) - Method in interface edu.buffalo.cse.jive.sequence.SequenceModel
Returns an iterator which traverses the sequence model in a depth-first order starting at the supplied ExecutionOccurrence.
IUpdatableAction - Interface in edu.buffalo.cse.jive.ui
An IAction that can update its own state, for instance, to enable or disable itself.

J

JavaContour - Interface in edu.bsu.cs.jive.contour.java
Superinterface for all Java-specific contour interfaces.
JavaContour.Visitor - Interface in edu.bsu.cs.jive.contour.java
Visitor interface for java contour types.
JavaExecutionActivation - Interface in edu.buffalo.cse.jive.sequence.java
An ExecutionOccurrence particular to Java programs, such as thread and method activations.
JavaExecutionActivation.Visitor - Interface in edu.buffalo.cse.jive.sequence.java
A visitor for a JavaExecutionActivation.
JIVE_CATEGORY_ID - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The category ID for the JIVE views category.
JIVE_PERSPECTIVE_ID - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The perspective ID for the JIVE perspective.
JIVE_TAB_ID - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The tab ID for the JIVE launch configuration tab.
JiveDebugModel - Class in edu.buffalo.cse.jive.core
Provides utility methods for creating debug targets for the JIVE debug model which makes use of the JDI debug model.
JiveSearchPattern - Class in edu.buffalo.cse.jive.ui.search
A pattern used for encapsulating a common IJiveSearchQuery input or portion of input.
JiveSearchPattern(String, String, String, String) - Constructor for class edu.buffalo.cse.jive.ui.search.JiveSearchPattern
Constructs the search pattern with the supplied input.
JiveSearchPattern.Importer - Interface in edu.buffalo.cse.jive.ui.search
A builder for a JiveSearchPattern.
JiveSearchResult - Class in edu.buffalo.cse.jive.ui.search
A search result for an IJiveSearchQuery.
JiveSearchResult(IJiveSearchQuery) - Constructor for class edu.buffalo.cse.jive.ui.search.JiveSearchResult
Constructs a JiveSearchResult for the supplied query.
JiveUITools - Class in edu.buffalo.cse.jive.ui
Miscellaneous utility methods used to access portions of the JIVE UI plug-in.
JiveUITools() - Constructor for class edu.buffalo.cse.jive.ui.JiveUITools
 

L

lastEventNumber(ThreadID) - Method in interface edu.buffalo.cse.jive.sequence.MultiThreadedSequenceModel
Returns the event number of the last event occurring on the supplied thread.
lastEventNumber() - Method in interface edu.buffalo.cse.jive.sequence.SequenceModel
Returns the event number of the last event in the model.
lastStepMap - Variable in class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery
A mapping between a thread and the last EOSEvent occurring on it.
launchAdded(ILaunch) - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
 
launchChanged(ILaunch) - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
 
launchRemoved(ILaunch) - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
 
leftClassText - Variable in class edu.buffalo.cse.jive.ui.search.pages.InvariantViolatedSearchPage
A fully-qualified class name in which the invariant is being checked.
leftInstanceText - Variable in class edu.buffalo.cse.jive.ui.search.pages.InvariantViolatedSearchPage
An optional instance number specifying what instance of the class should be checked.
leftPattern - Variable in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery
A search pattern for the invariant's left operand.
leftValue - Variable in class edu.buffalo.cse.jive.ui.search.queries.MethodReturnedSearchQuery.ReturnEventExporter
The return value used as the left operand of the condition.
leftVariableText - Variable in class edu.buffalo.cse.jive.ui.search.pages.InvariantViolatedSearchPage
A variable of the class used on the left side of the operator.
LineExecutedSearchPage - Class in edu.buffalo.cse.jive.ui.search.pages
An IJiveSearchPage used to create a LineExecutedSearchQuery.
LineExecutedSearchPage() - Constructor for class edu.buffalo.cse.jive.ui.search.pages.LineExecutedSearchPage
 
LineExecutedSearchQuery - Class in edu.buffalo.cse.jive.ui.search.queries
An IJiveSearchQuery that is used to check whether a line is executed.
LineExecutedSearchQuery(String, int) - Constructor for class edu.buffalo.cse.jive.ui.search.queries.LineExecutedSearchQuery
Creates a new search query with the supplied source path and line number.
lineNumber - Variable in class edu.buffalo.cse.jive.ui.search.queries.LineExecutedSearchQuery
A line number within the source file.
lineNumberText - Variable in class edu.buffalo.cse.jive.ui.search.pages.LineExecutedSearchPage
The line number of interest.
LoadEvent - Interface in edu.bsu.cs.jive.events
An event corresponding to a class' loading.
LoadEvent.Exporter - Interface in edu.bsu.cs.jive.events
A reverse-builder for a load event.
LoadEvent.Importer - Interface in edu.bsu.cs.jive.events
A builder for a load event.

M

makeCompactGrid(Container, int, int, int, int, int, int) - Static method in class edu.bsu.cs.jive.util.SpringUtilities
Aligns the first rows * cols components of parent in a grid.
makeGrid(Container, int, int, int, int, int, int) - Static method in class edu.bsu.cs.jive.util.SpringUtilities
Aligns the first rows * cols components of parent in a grid.
matchesPattern(JiveSearchPattern) - Method in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery.AssignEventExporter
Returns whether the event is an assignment to a variable represented by the supplied JiveSearchPattern.
matchFound - Variable in class edu.buffalo.cse.jive.ui.search.queries.ObjectCreatedSearchQuery.NewEventExporter
A flag used to determine if a match was found by the ObjectCreatedSearchQuery.NewEventExporter.recordExporter.
Message - Interface in edu.buffalo.cse.jive.sequence
A Message defines a particular communication between lifelines (or contexts).
message() - Method in interface edu.buffalo.cse.jive.sequence.MessageReceive
Returns the Message that was received.
message() - Method in interface edu.buffalo.cse.jive.sequence.MessageSend
Returns the Message that was sent.
Message.MessageKind - Enum in edu.buffalo.cse.jive.sequence
The kind of message as defined by the UML specification.
Message.MessageSort - Enum in edu.buffalo.cse.jive.sequence
The sort of message as defined by the UML specification.
messageKind() - Method in interface edu.buffalo.cse.jive.sequence.Message
Returns the message kind.
MessageReceive - Interface in edu.buffalo.cse.jive.sequence
An EventOccurrence that results in the termination of a Message.
MessageSend - Interface in edu.buffalo.cse.jive.sequence
An EventOccurrence that results in the creation of a Message.
messageSort() - Method in interface edu.buffalo.cse.jive.sequence.Message
Returns the message sort.
MethodActivation - Interface in edu.buffalo.cse.jive.sequence.java
A JavaExecutionActivation representing the execution of a method.
MethodActivation.Exporter - Interface in edu.buffalo.cse.jive.sequence.java
A reverse-builder for method activations.
MethodActivation.Importer - Interface in edu.buffalo.cse.jive.sequence.java
A builder for method activations.
MethodCalledSearchPage - Class in edu.buffalo.cse.jive.ui.search.pages
An IJiveSearchPage used to create a MethodCalledSearchQuery.
MethodCalledSearchPage() - Constructor for class edu.buffalo.cse.jive.ui.search.pages.MethodCalledSearchPage
 
MethodCalledSearchQuery - Class in edu.buffalo.cse.jive.ui.search.queries
An IJiveSearchQuery that is used to check whether a method was called.
MethodCalledSearchQuery(JiveSearchPattern) - Constructor for class edu.buffalo.cse.jive.ui.search.queries.MethodCalledSearchQuery
Constructs a new search query with the supplied pattern.
MethodCalledSearchQuery.CallEventExporter - Class in edu.buffalo.cse.jive.ui.search.queries
An exporter used to examine CallEvents and to determine if the event is a call on a method represented by a JiveSearchPattern.
MethodCalledSearchQuery.CallEventExporter() - Constructor for class edu.buffalo.cse.jive.ui.search.queries.MethodCalledSearchQuery.CallEventExporter
 
MethodContour - Interface in edu.bsu.cs.jive.contour.java
A method contour, representing a method's activation.
MethodContour.Exporter - Interface in edu.bsu.cs.jive.contour.java
A reverse-builder for method contours.
MethodContour.Importer - Interface in edu.bsu.cs.jive.contour.java
A builder for method contours.
MethodContourCreationRecord - Class in edu.bsu.cs.jive.contour
Combines a normal contour creation record with a method's thread of execution.
MethodContourCreationRecord(MethodContourCreationRecord.Importer) - Constructor for class edu.bsu.cs.jive.contour.MethodContourCreationRecord
 
MethodContourCreationRecord.Exporter - Interface in edu.bsu.cs.jive.contour
A reverse-builder for method contour creation records.
MethodContourCreationRecord.Importer - Interface in edu.bsu.cs.jive.contour
A builder for method contour creation records.
methodName - Variable in class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery.ExceptionEventExporter
The method name where the exception was caught.
methodName - Variable in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery.AssignEventExporter
The method name where the variable assignment is occurring if the variable is a parameter or local variable.
methodName - Variable in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery.AssignEventExporter
The method name where the variable assignment is occurring if the variable is a parameter or local variable.
MethodReturnedSearchPage - Class in edu.buffalo.cse.jive.ui.search.pages
An IJiveSearchPage used to create a MethodReturnedSearchQuery.
MethodReturnedSearchPage() - Constructor for class edu.buffalo.cse.jive.ui.search.pages.MethodReturnedSearchPage
 
MethodReturnedSearchQuery - Class in edu.buffalo.cse.jive.ui.search.queries
An IJiveSearchQuery that is used to check method returns and optionally conditions on return values.
MethodReturnedSearchQuery(JiveSearchPattern, RelationalOperator, String) - Constructor for class edu.buffalo.cse.jive.ui.search.queries.MethodReturnedSearchQuery
Constructs a new search query with the supplied pattern and relational operator.
MethodReturnedSearchQuery.ReturnEventExporter - Class in edu.buffalo.cse.jive.ui.search.queries
An exporter used to examine ReturnEvents and to determine if the event is a return from a method represented by a JiveSearchPattern.
MethodReturnedSearchQuery.ReturnEventExporter() - Constructor for class edu.buffalo.cse.jive.ui.search.queries.MethodReturnedSearchQuery.ReturnEventExporter
 
methodText - Variable in class edu.buffalo.cse.jive.ui.search.pages.ExceptionCaughtSearchPage
An optional method name specifying in which method an exception was caught.
methodText - Variable in class edu.buffalo.cse.jive.ui.search.pages.MethodCalledSearchPage
A method name specifying what method on the class should be checked.
methodText - Variable in class edu.buffalo.cse.jive.ui.search.pages.MethodReturnedSearchPage
A method name specifying what method on the class should be checked.
methodText - Variable in class edu.buffalo.cse.jive.ui.search.pages.VariableChangedSearchPage
A method name specifying in which method the variable resides.
modifyText(ModifyEvent) - Method in class edu.buffalo.cse.jive.ui.search.AbstractJiveSearchPage
 
MultiThreadedSequenceModel - Interface in edu.buffalo.cse.jive.sequence
A SequenceModel used to represent a program execution history of a multi-threaded program.

N

name() - Method in interface edu.bsu.cs.jive.contour.ContourMember
Get the name of this member entry, as a string.
name() - Method in interface edu.bsu.cs.jive.contour.ContourMemberFormat
Get the name of this member.
newDebugTarget(ILaunch, VirtualMachine, String, IProcess, boolean, boolean) - Static method in class edu.buffalo.cse.jive.core.JiveDebugModel
Creates and returns a debug target for the given VM, with the specified name, and associates the debug target with the given process for console I/O.
newDebugTarget(ILaunch, VirtualMachine, String, IProcess, boolean, boolean, boolean) - Static method in class edu.buffalo.cse.jive.core.JiveDebugModel
Creates and returns a debug target for the given VM, with the specified name, and associates the debug target with the given process for console I/O.
NewEvent - Interface in edu.bsu.cs.jive.events
An event corresponding to the creation of an object.
NewEvent.Exporter - Interface in edu.bsu.cs.jive.events
An exporter (reverse-builder) for a new event.
NewEvent.Importer - Interface in edu.bsu.cs.jive.events
An importer (builder) for a new event.
number() - Method in interface edu.bsu.cs.jive.events.Event
Get the sequence number of this event.

O

objectContext(ExecutionOccurrence) - Method in interface edu.buffalo.cse.jive.sequence.SequenceModel
Returns the object context of the given ExecutionOccurrence.
ObjectCreatedSearchPage - Class in edu.buffalo.cse.jive.ui.search.pages
An IJiveSearchPage used to create a ObjectCreatedSearchQuery.
ObjectCreatedSearchPage() - Constructor for class edu.buffalo.cse.jive.ui.search.pages.ObjectCreatedSearchPage
 
ObjectCreatedSearchQuery - Class in edu.buffalo.cse.jive.ui.search.queries
An IJiveSearchQuery that is used to search for object creations.
ObjectCreatedSearchQuery(JiveSearchPattern) - Constructor for class edu.buffalo.cse.jive.ui.search.queries.ObjectCreatedSearchQuery
Constructs a new search query with the supplied pattern.
ObjectCreatedSearchQuery.NewEventExporter - Class in edu.buffalo.cse.jive.ui.search.queries
An exporter used to examine NewEvents and to determine if the event is a object creation represented by a JiveSearchPattern.
ObjectCreatedSearchQuery.NewEventExporter() - Constructor for class edu.buffalo.cse.jive.ui.search.queries.ObjectCreatedSearchQuery.NewEventExporter
 
operator - Variable in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery
The invariant's relational operator.
operator - Variable in class edu.buffalo.cse.jive.ui.search.queries.MethodReturnedSearchQuery
A relational operator for a condition on the method return value.
operator - Variable in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery
A relational operator for a condition on the variable value.
operatorCombo - Variable in class edu.buffalo.cse.jive.ui.search.pages.InvariantViolatedSearchPage
A relational operator selector.
operatorCombo - Variable in class edu.buffalo.cse.jive.ui.search.pages.MethodReturnedSearchPage
A relational operator selector.
operatorCombo - Variable in class edu.buffalo.cse.jive.ui.search.pages.VariableChangedSearchPage
A relational operator selector.

P

pattern - Variable in class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery
A search pattern for the catcher of the exception.
pattern - Variable in class edu.buffalo.cse.jive.ui.search.queries.MethodCalledSearchQuery
A search pattern for the method call.
pattern - Variable in class edu.buffalo.cse.jive.ui.search.queries.MethodReturnedSearchQuery
A search pattern for the method return.
pattern - Variable in class edu.buffalo.cse.jive.ui.search.queries.ObjectCreatedSearchQuery
A search pattern for the object creation.
pattern - Variable in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery
A search pattern for the variable change.
performSearch(IProgressMonitor, IJiveDebugTarget) - Method in class edu.buffalo.cse.jive.ui.search.ExecutionHistorySearchQuery
 
performSearch(IProgressMonitor, IJiveDebugTarget) - Method in interface edu.buffalo.cse.jive.ui.search.IJiveSearchQuery
Performs the query over the given IJiveDebugTarget using the supplied IProgressMonitor.
PLUGIN_ID_PREFIX - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The prefix of all non-internal constants.
pop() - Method in class edu.bsu.cs.jive.util.UnmodifiableStack
 
PREF_ACTIVATION_WIDTH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
Sequence diagram activation width preference.
PREF_CONTOUR_STATE - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
Contour diagram state preference name.
PREF_CONTOUR_STATE_EXPAND - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
Contour diagram expanded state preference value.
PREF_CONTOUR_STATE_MINIMIZE - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
Contour diagram minimized state preference value.
PREF_CONTOUR_STATE_STACK - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
Contour diagram stacked state preference value.
PREF_EVENT_HEIGHT - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
Sequence diagram event height preference.
PREF_EXPAND_LIFELINES - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
Sequence diagram expand lifelines preference.
PREF_SCROLL_LOCK - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
Contour diagram scroll lock preference.
PREF_SHOW_MEMBER_TABLES - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
Contour diagram member table preference.
PREF_SHOW_THREAD_ACTIVATIONS - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
Sequence diagram show thread activation preference.
PREF_THREAD_COLOR_1 - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
Sequence diagram thread color 1 preference.
PREF_THREAD_COLOR_2 - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
Sequence diagram thread color 2 preference.
PREF_THREAD_COLOR_3 - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
Sequence diagram thread color 3 preference.
PREF_THREAD_COLOR_4 - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
Sequence diagram thread color 4 preference.
PREF_THREAD_COLOR_5 - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
Sequence diagram thread color 5 preference.
PREF_THREAD_COLOR_PREFIX - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
Sequence diagram thread color preference prefix.
PREF_UPDATE_INTERVAL - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
Diagram update interval (in milliseconds) preference name.
prettyPrint(Document, PrintWriter) - Static method in class edu.bsu.cs.jive.util.XMLUtilities
Pretty-print an XML document.
printSizes(Component) - Static method in class edu.bsu.cs.jive.util.SpringUtilities
A debugging utility that prints to stdout the component's minimum, preferred, and maximum sizes.
propertyChange(PropertyChangeEvent) - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
 
provideActualParams() - Method in interface edu.bsu.cs.jive.events.CallEvent.Importer
Provides the actual parameter values of the call.
provideCaller() - Method in interface edu.bsu.cs.jive.events.CallEvent.Importer
Provides the caller of the call.
provideCatcher() - Method in interface edu.bsu.cs.jive.events.ExceptionEvent.Importer
Provides the catcher of the exception.
provideChildren(Contour) - Method in interface edu.bsu.cs.jive.contour.ContourModel.Importer
Provide the list of children for a contour.
provideClassName() - Method in interface edu.buffalo.cse.jive.ui.search.JiveSearchPattern.Importer
Provides the class name for the pattern.
provideContainingModel() - Method in interface edu.bsu.cs.jive.contour.Contour.Importer
Provide the contour model of which this contour is a part.
provideContainingModel() - Method in interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence.Importer
 
provideContext() - Method in interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence.Importer
 
provideContourCreationRecord() - Method in interface edu.bsu.cs.jive.events.CallEvent.Target.InModel.Importer
Get a contour creation record that describes the method contour.
provideContourCreationRecords() - Method in interface edu.bsu.cs.jive.events.LoadEvent.Importer
Provide the list of contour creation records for this load event.
provideContourCreationRecords() - Method in interface edu.bsu.cs.jive.events.NewEvent.Importer
Provide the list of contour creation records corresponding to this new event.
provideContourID() - Method in interface edu.bsu.cs.jive.events.AssignEvent.Importer
Provide the identifier for the contour that contains the variable whose value is changing.
provideDuration() - Method in interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence.Importer
 
provideEnclosingContourID() - Method in interface edu.bsu.cs.jive.events.LoadEvent.Importer
Provide the identifier of the contour into which the most generic contour of this load event should be nested.
provideEnclosingContourID() - Method in interface edu.bsu.cs.jive.events.NewEvent.Importer
Provide the identifier of the contour into which this stack of contours should be nested.
provideEvents() - Method in interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence.Importer
 
provideException() - Method in interface edu.bsu.cs.jive.events.ExceptionEvent.Importer
Provides the exception that was caught.
provideFilename() - Method in interface edu.bsu.cs.jive.events.EOSEvent.Importer
Provides the fully-qualified filename in which the line was executed.
provideID() - Method in interface edu.bsu.cs.jive.contour.Contour.Importer
Read the contour identifier
provideID() - Method in interface edu.bsu.cs.jive.contour.ContourMember.Variable.Importer
 
provideID() - Method in interface edu.bsu.cs.jive.contour.ContourMemberFormat.VariableFormat.Importer
Provide the contour-unique identifier for this variable.
provideId() - Method in interface edu.bsu.cs.jive.util.ThreadID.Importer
 
provideID() - Method in interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence.Importer
 
provideIDString() - Method in interface edu.bsu.cs.jive.util.ContourID.Importer
Provide the string version of this contour identifier.
provideInitiator() - Method in interface edu.buffalo.cse.jive.sequence.ExecutionOccurrence.Importer
 
provideInstanceNumber() - Method in interface edu.buffalo.cse.jive.ui.search.JiveSearchPattern.Importer
Provides the instance number for the pattern.
provideLineNumber() - Method in interface edu.bsu.cs.jive.events.EOSEvent.Importer
Provides the line number that was executed.
provideMemberFormat(ContourMemberFormat) - Method in interface edu.bsu.cs.jive.contour.ContourFormat.Exporter
Export a member format.
provideMemberFormats() - Method in interface edu.bsu.cs.jive.contour.ContourFormat.Importer
Import the list of member format for this cf.
provideMembers() - Method in interface edu.bsu.cs.jive.contour.Contour.Importer
Read the member list of this contour
provideMethodName() - Method in interface edu.buffalo.cse.jive.ui.search.JiveSearchPattern.Importer
Provides the method name for the pattern.
provideName() - Method in interface edu.bsu.cs.jive.contour.ContourMember.Importer
 
provideName() - Method in interface edu.bsu.cs.jive.contour.ContourMemberFormat.Importer
 
provideName() - Method in interface edu.bsu.cs.jive.util.ThreadID.Importer
 
provideNewValue() - Method in interface edu.bsu.cs.jive.events.AssignEvent.Importer
Provide the updated value for the variable.
provideNumber() - Method in interface edu.bsu.cs.jive.events.Event.Importer
Provide the sequence number of the event.
providePreviousContext() - Method in interface edu.bsu.cs.jive.events.ReturnEvent.Importer
Provides the previous context.
provideReturnValue() - Method in interface edu.bsu.cs.jive.events.ReturnEvent.Importer
Provides the value returned from the method.
provideRoots() - Method in interface edu.bsu.cs.jive.contour.ContourModel.Importer
Provide the root contours for this importer
provideTarget() - Method in interface edu.bsu.cs.jive.events.CallEvent.Importer
Provides the target of the call.
provideThread() - Method in interface edu.bsu.cs.jive.contour.java.MethodContour.Importer
Provide the thread on which this method has executed.
provideThread() - Method in interface edu.bsu.cs.jive.contour.MethodContourCreationRecord.Importer
 
provideThread() - Method in interface edu.buffalo.cse.jive.sequence.java.ThreadActivation.Importer
 
provideThreadID() - Method in interface edu.bsu.cs.jive.events.Event.Importer
Provide the thread identifier for the event.
provideType() - Method in interface edu.bsu.cs.jive.contour.ContourMember.Importer
 
provideType() - Method in interface edu.bsu.cs.jive.contour.ContourMemberFormat.Importer
 
provideValue() - Method in interface edu.bsu.cs.jive.contour.ContourMember.Importer
 
provideVariable() - Method in interface edu.bsu.cs.jive.events.ExceptionEvent.Importer
Provides the variable identifier holding the exception that was caught.
provideVariableID() - Method in interface edu.bsu.cs.jive.events.AssignEvent.Importer
Provide the identifier for the variable whose value is changing.
provideVariableName() - Method in interface edu.buffalo.cse.jive.ui.search.JiveSearchPattern.Importer
Provides the variable name for the pattern.
provideVirtualProperty() - Method in interface edu.bsu.cs.jive.contour.java.InstanceContour.Importer
 
publish(Publisher.Distributor<T>) - Method in class edu.bsu.cs.jive.util.Publisher
Publish an event using a delivery agent.
Publisher<T> - Class in edu.bsu.cs.jive.util
Provides an efficient, thread-safe means of notifying listeners of an event.
Publisher() - Constructor for class edu.bsu.cs.jive.util.Publisher
 
Publisher.Distributor<S> - Interface in edu.bsu.cs.jive.util
Specifies an object that delivers messages to subcribers.
push(T) - Method in class edu.bsu.cs.jive.util.UnmodifiableStack
 

R

readyToRecord() - Method in interface edu.bsu.cs.jive.contour.InteractiveContourModel
Indicates if this object is in a state that is ready to record a transaction.
receiveEvent() - Method in interface edu.buffalo.cse.jive.sequence.Message
The MessageReceive marking the message destination.
recordExporter - Variable in class edu.buffalo.cse.jive.ui.search.queries.ObjectCreatedSearchQuery.NewEventExporter
An exporter used to examine ContourCreationRecords and to determine if any match the search pattern.
registerWithModel(IJiveDebugTarget) - Method in class edu.buffalo.cse.jive.ui.AbstractStructuredJiveView.AbstractJiveContentProvider
Registers itself as a listener to a model of the supplied IJiveDebugTarget.
RelationalOperator - Enum in edu.buffalo.cse.jive.ui.search
A representation of a relational operator for use by an IJiveSearchQuery.
remove(int) - Method in class edu.bsu.cs.jive.util.UnmodifiableStack
 
remove(Object) - Method in class edu.bsu.cs.jive.util.UnmodifiableStack
 
REMOVE_TERMINATED_GROUP - Static variable in class edu.buffalo.cse.jive.ui.AbstractJiveView
The group used to hold actions having to do with removing terminated launches.
removeAll(Collection<?>) - Method in class edu.bsu.cs.jive.util.UnmodifiableStack
 
removeAllElements() - Method in class edu.bsu.cs.jive.util.UnmodifiableStack
 
removeElement(Object) - Method in class edu.bsu.cs.jive.util.UnmodifiableStack
 
removeElementAt(int) - Method in class edu.bsu.cs.jive.util.UnmodifiableStack
 
removeListener(ContourModel.Listener) - Method in interface edu.bsu.cs.jive.contour.ContourModel
Unregister a listener
removeListener(EventSource.Listener) - Method in class edu.bsu.cs.jive.events.AbstractEventSource
 
removeListener(EventSource.Listener) - Method in interface edu.bsu.cs.jive.events.EventSource
Remove a listener from this event source.
removeListener(SequenceModel.Listener) - Method in interface edu.buffalo.cse.jive.sequence.SequenceModel
Unregisters the supplied listener from being notified when the model has changed.
removeRange(int, int) - Method in class edu.bsu.cs.jive.util.UnmodifiableStack
 
retainAll(Collection<?>) - Method in class edu.bsu.cs.jive.util.UnmodifiableStack
 
returner - Variable in class edu.buffalo.cse.jive.ui.search.queries.MethodReturnedSearchQuery.ReturnEventExporter
The method that returned.
ReturnEvent - Interface in edu.bsu.cs.jive.events
Event that represents a method's return.
ReturnEvent.Exporter - Interface in edu.bsu.cs.jive.events
Exporter (reverse-builder) for return events
ReturnEvent.Importer - Interface in edu.bsu.cs.jive.events
Importer (builder) for return events.
ReturnEvent.Returner - Interface in edu.bsu.cs.jive.events
The context from which control is returning.
ReturnEvent.Returner.InModel - Interface in edu.bsu.cs.jive.events
A returner that is in the model (i.e. has a contour)
ReturnEvent.Returner.OutOfModel - Interface in edu.bsu.cs.jive.events
A returner that is not in the model.
ReturnEvent.Returner.Visitor - Interface in edu.bsu.cs.jive.events
Visitor for return event returners.
returnValueText - Variable in class edu.buffalo.cse.jive.ui.search.pages.MethodReturnedSearchPage
A value to be used on the right side of the operator.
rightPattern - Variable in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery
A search pattern for the invariant's right operand.
rightValue - Variable in class edu.buffalo.cse.jive.ui.search.queries.MethodReturnedSearchQuery
A value to be used on the right side of the operator.
rightValue - Variable in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery
A value to be used on the right side of the operator.
rightVariableText - Variable in class edu.buffalo.cse.jive.ui.search.pages.InvariantViolatedSearchPage
A variable of the class used on the right side of the operator.
run() - Method in class edu.bsu.cs.jive.util.InputStreamRedirector
 
run(IProgressMonitor) - Method in class edu.buffalo.cse.jive.ui.search.AbstractJiveSearchQuery
 

S

SEARCH_ICONS_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The root path for search icons.
SEARCH_PAGES_EXTENSION_POINT_ID - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The fully-qualified ID for the JIVE Search Pages extension point.
SEED - Static variable in class edu.bsu.cs.jive.util.HashUtils
An initial value for a hashCode, to which is added contributions from fields.
selectionChanged(IWorkbenchPart, ISelection) - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
 
SelectionTokenizer - Class in edu.buffalo.cse.jive.ui.search
Utility class used to tokenize an ISelection into various components representing Java elements.
SelectionTokenizer(ISelection) - Constructor for class edu.buffalo.cse.jive.ui.search.SelectionTokenizer
Constructs a tokenizer for the supplied ISelection and tokenizes it.
sendEvent() - Method in interface edu.buffalo.cse.jive.sequence.Message
The MessageSend marking the message origin.
SEQUENCE_DIAGRAM_VIEW_ID - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The view ID for the Sequence Diagram view.
SEQUENCE_MODEL_ICONS_PATH - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The root path for sequence model icons.
SEQUENCE_MODEL_VIEW_ID - Static variable in interface edu.buffalo.cse.jive.ui.IJiveUIConstants
The view ID for the Sequence Model view.
SequenceModel - Interface in edu.buffalo.cse.jive.sequence
A representation of a program execution history.
SequenceModel.EventVisitor - Interface in edu.buffalo.cse.jive.sequence
A visitor for the sequence model that visits EventOccurrences in the order in which they occurred within the program execution.
SequenceModel.ExecutionVisitor - Interface in edu.buffalo.cse.jive.sequence
A visitor for the sequence model that visits ExecutionOccurrences in the order in which they occurred within the program execution.
SequenceModel.Listener - Interface in edu.buffalo.cse.jive.sequence
A listener interface for the SequenceModel.
set(int, T) - Method in class edu.bsu.cs.jive.util.UnmodifiableStack
 
setContainer(ISearchPageContainer) - Method in class edu.buffalo.cse.jive.ui.search.AbstractJiveSearchPage
 
setContainer(ISearchPageContainer) - Method in interface edu.buffalo.cse.jive.ui.search.IJiveSearchPage
Sets the supplied ISearchPageContainer as the container of the page.
setElementAt(T, int) - Method in class edu.bsu.cs.jive.util.UnmodifiableStack
 
setFocus() - Method in class edu.buffalo.cse.jive.ui.AbstractGraphicalJiveView
 
setFocus() - Method in class edu.buffalo.cse.jive.ui.AbstractStructuredJiveView
 
setSize(int) - Method in class edu.bsu.cs.jive.util.UnmodifiableStack
 
setViewerInput(IJiveDebugTarget) - Method in class edu.buffalo.cse.jive.ui.AbstractGraphicalJiveView
 
setViewerInput(IJiveDebugTarget) - Method in class edu.buffalo.cse.jive.ui.AbstractJiveView
Sets the internal viewer's input to that of the supplied target.
setViewerInput(IJiveDebugTarget) - Method in class edu.buffalo.cse.jive.ui.AbstractStructuredJiveView
 
size() - Method in interface edu.bsu.cs.jive.contour.ContourModel
Count the number of contours in this model.
sourcePath - Variable in class edu.buffalo.cse.jive.ui.search.queries.LineExecutedSearchQuery
A relative path to the source file of interest.
sourcePathText - Variable in class edu.buffalo.cse.jive.ui.search.pages.LineExecutedSearchPage
A relative path of the Java source file.
SpringUtilities - Class in edu.bsu.cs.jive.util
A 1.4 file that provides utility methods for creating form- or grid-style layouts with SpringLayout.
SpringUtilities() - Constructor for class edu.bsu.cs.jive.util.SpringUtilities
 
StartEvent - Interface in edu.bsu.cs.jive.events
An event generated at the very beginning of a program's execution.
StartEvent.Exporter - Interface in edu.bsu.cs.jive.events
A reverse-builder for a start event.
StartEvent.Importer - Interface in edu.bsu.cs.jive.events
A builder for a start event.
StaticContour - Interface in edu.bsu.cs.jive.contour.java
A static contour, representing a class' static context.
STEP_CONTROLS_GROUP - Static variable in class edu.buffalo.cse.jive.ui.AbstractJiveView
The group used to hold actions having to do with stepping through a program in both directions.
stepBackward() - Method in interface edu.bsu.cs.jive.contour.InteractiveContourModel
Play a step-backward transaction.
stepForward() - Method in interface edu.bsu.cs.jive.contour.InteractiveContourModel
Play a step-forward transaction.
StringSeparator - Class in edu.bsu.cs.jive.util
Processes collections and provides stringified versions of them.
StringSeparator() - Constructor for class edu.bsu.cs.jive.util.StringSeparator
 
subscribe(T) - Method in class edu.bsu.cs.jive.util.Publisher
Add a new subscriber to this publisher.
SystemCaller - Class in edu.bsu.cs.jive.util
Singleton system caller.

T

target - Variable in class edu.buffalo.cse.jive.ui.search.queries.MethodCalledSearchQuery.CallEventExporter
The method that was called.
thread() - Method in class edu.bsu.cs.jive.contour.MethodContourCreationRecord
Get the thread on which the method was called.
thread() - Method in interface edu.bsu.cs.jive.events.Event
Get the thread on which this event took place.
thread() - Method in interface edu.buffalo.cse.jive.sequence.java.ThreadActivation
Returns the identifier of the thread that the activation represents.
ThreadActivation - Interface in edu.buffalo.cse.jive.sequence.java
A JavaExecutionActivation representing the execution of a thread.
ThreadActivation.Exporter - Interface in edu.buffalo.cse.jive.sequence.java
A reverse-builder for thread activations.
ThreadActivation.Importer - Interface in edu.buffalo.cse.jive.sequence.java
A builder for thread activations.
ThreadID - Interface in edu.bsu.cs.jive.util
Uniquely identifies a thread.
ThreadID.Exporter - Interface in edu.bsu.cs.jive.util
A reverse-builder for thread IDs.
ThreadID.Importer - Interface in edu.bsu.cs.jive.util
A builder for thread IDs.
ThreadIDFactory - Class in edu.bsu.cs.jive.util
A factory class for thread identifiers.
toString() - Method in class edu.bsu.cs.jive.contour.ContourCreationRecord
 
toString() - Method in interface edu.bsu.cs.jive.contour.Value.Encoded
Get the text description of this encoded value
toString(Iterable<?>) - Static method in class edu.bsu.cs.jive.util.StringSeparator
Return a string version of the collection using comma-separation.
toString(Iterable<?>, String) - Static method in class edu.bsu.cs.jive.util.StringSeparator
Return a string version of the list the specified separator.
toString() - Method in class edu.bsu.cs.jive.util.SystemCaller
 
toString() - Method in class edu.buffalo.cse.jive.ui.search.JiveSearchPattern
 
toString() - Method in enum edu.buffalo.cse.jive.ui.search.RelationalOperator
 
type() - Method in interface edu.bsu.cs.jive.contour.ContourMember
Get the type of this member entry, as a string.
type() - Method in interface edu.bsu.cs.jive.contour.ContourMemberFormat
Get the type of this member.
Type - Interface in edu.bsu.cs.jive.contour
Representation of a type within the contour model.
TypeFactory - Class in edu.bsu.cs.jive.util
A factory for the Type interface.
TypeFactory() - Constructor for class edu.bsu.cs.jive.util.TypeFactory
 

U

underlyingEvent() - Method in interface edu.buffalo.cse.jive.sequence.EventOccurrence
Returns the underlying event in which the event occurrence encapsulates.
UnmodifiableStack<T> - Class in edu.bsu.cs.jive.util
An unmodifiable view of a stack.
UnmodifiableStack() - Constructor for class edu.bsu.cs.jive.util.UnmodifiableStack
Create a new empty unmodifiable stack.
UnmodifiableStack(Stack<T>) - Constructor for class edu.bsu.cs.jive.util.UnmodifiableStack
Copy constructor
unregisterFromModel(IJiveDebugTarget) - Method in class edu.buffalo.cse.jive.ui.AbstractStructuredJiveView.AbstractJiveContentProvider
Unregisters itself from being a listener to a model of the supplied IJiveDebugTarget.
unsubscribe(T) - Method in class edu.bsu.cs.jive.util.Publisher
Cancel a subscription
update() - Method in interface edu.buffalo.cse.jive.ui.IUpdatableAction
Updates the state of the action.
updatePerformAction() - Method in class edu.buffalo.cse.jive.ui.search.AbstractJiveSearchPage
Updates the search button based on the validity of the input.

V

value() - Method in interface edu.bsu.cs.jive.contour.ContourMember
Get the value stored in this member.
Value - Interface in edu.bsu.cs.jive.contour
The encoding of a value within a contour model.
value - Variable in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery.AssignEventExporter
The value assigned to the variable.
value - Variable in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery.AssignEventExporter
The value assigned to the variable.
Value.ContourReference - Interface in edu.bsu.cs.jive.contour
A value that is a reference to a contour.
Value.ContourReference.Exporter - Interface in edu.bsu.cs.jive.contour
A reverse-builder for contour references.
Value.Encoded - Interface in edu.bsu.cs.jive.contour
A value that is described as text.
Value.InnerClassDefinition - Interface in edu.bsu.cs.jive.contour
The value of an inner class declaration in the contour model.
Value.MethodDefinition - Interface in edu.bsu.cs.jive.contour
The value of a method declaration in the contour model.
Value.Null - Interface in edu.bsu.cs.jive.contour
Representation of a null reference.
Value.Uninitialized - Interface in edu.bsu.cs.jive.contour
Representation of an uninitialized value.
Value.Visitor - Interface in edu.bsu.cs.jive.contour
A visitor for all types of values.
valueChanged(ContourModel, Contour, VariableID, Value, Value) - Method in interface edu.bsu.cs.jive.contour.ContourModel.Listener
Called when a value is changed in the contour model
valueOf(String) - Static method in enum edu.buffalo.cse.jive.sequence.Message.MessageKind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum edu.buffalo.cse.jive.sequence.Message.MessageSort
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum edu.buffalo.cse.jive.ui.search.RelationalOperator
Returns the enum constant of this type with the specified name.
values() - Static method in enum edu.buffalo.cse.jive.sequence.Message.MessageKind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum edu.buffalo.cse.jive.sequence.Message.MessageSort
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum edu.buffalo.cse.jive.ui.search.RelationalOperator
Returns an array containing the constants of this enum type, in the order they are declared.
valueText - Variable in class edu.buffalo.cse.jive.ui.search.pages.VariableChangedSearchPage
A value to be used on the right side of the operator.
VariableChangedSearchPage - Class in edu.buffalo.cse.jive.ui.search.pages
An IJiveSearchPage used to create an VariableChangedSearchQuery.
VariableChangedSearchPage() - Constructor for class edu.buffalo.cse.jive.ui.search.pages.VariableChangedSearchPage
 
VariableChangedSearchQuery - Class in edu.buffalo.cse.jive.ui.search.queries
An IJiveSearchQuery that is used to check where a variable has changed and also when a condition on the new value holds.
VariableChangedSearchQuery(JiveSearchPattern, RelationalOperator, String) - Constructor for class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery
Constructs a new search query with the supplied pattern, relational operator, and optional value.
VariableChangedSearchQuery.AssignEventExporter - Class in edu.buffalo.cse.jive.ui.search.queries
An exporter used to examine AssignEvents and to determine if the event is an assignment to a variable represented by a JiveSearchPattern.
VariableChangedSearchQuery.AssignEventExporter() - Constructor for class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery.AssignEventExporter
 
VariableID - Interface in edu.bsu.cs.jive.util
Identifies a variable within a contour.
variableName - Variable in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery.AssignEventExporter
The variable which is being assigned a value.
variableName - Variable in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery.AssignEventExporter
The variable which is being assigned a value.
variableText - Variable in class edu.buffalo.cse.jive.ui.search.pages.VariableChangedSearchPage
A variable (either field or local variable) that should be checked.
visit(ContourMember.MethodDeclaration, Object) - Method in interface edu.bsu.cs.jive.contour.ContourMember.Visitor
 
visit(ContourMember.Variable, Object) - Method in interface edu.bsu.cs.jive.contour.ContourMember.Visitor
 
visit(ContourMember.InnerClass, Object) - Method in interface edu.bsu.cs.jive.contour.ContourMember.Visitor
 
visit(ContourMemberFormat.MethodFormat, Object) - Method in interface edu.bsu.cs.jive.contour.ContourMemberFormat.Visitor
 
visit(ContourMemberFormat.VariableFormat, Object) - Method in interface edu.bsu.cs.jive.contour.ContourMemberFormat.Visitor
 
visit(ContourMemberFormat.InnerClassFormat, Object) - Method in interface edu.bsu.cs.jive.contour.ContourMemberFormat.Visitor
 
visit(Contour) - Method in interface edu.bsu.cs.jive.contour.ContourModel.Visitor
Visit a contour in the model
visit(InstanceContour, Object) - Method in interface edu.bsu.cs.jive.contour.java.JavaContour.Visitor
 
visit(StaticContour, Object) - Method in interface edu.bsu.cs.jive.contour.java.JavaContour.Visitor
 
visit(MethodContour, Object) - Method in interface edu.bsu.cs.jive.contour.java.JavaContour.Visitor
 
visit(Value.ContourReference, Object) - Method in interface edu.bsu.cs.jive.contour.Value.Visitor
 
visit(Value.Encoded, Object) - Method in interface edu.bsu.cs.jive.contour.Value.Visitor
 
visit(Value.Null, Object) - Method in interface edu.bsu.cs.jive.contour.Value.Visitor
 
visit(Value.Uninitialized, Object) - Method in interface edu.bsu.cs.jive.contour.Value.Visitor
 
visit(Value.MethodDefinition, Object) - Method in interface edu.bsu.cs.jive.contour.Value.Visitor
 
visit(Value.InnerClassDefinition, Object) - Method in interface edu.bsu.cs.jive.contour.Value.Visitor
 
visit(AssignEvent, Object) - Method in class edu.bsu.cs.jive.events.AbstractEventVisitor
 
visit(CallEvent, Object) - Method in class edu.bsu.cs.jive.events.AbstractEventVisitor
 
visit(EOSEvent, Object) - Method in class edu.bsu.cs.jive.events.AbstractEventVisitor
 
visit(ExceptionEvent, Object) - Method in class edu.bsu.cs.jive.events.AbstractEventVisitor
 
visit(ExitEvent, Object) - Method in class edu.bsu.cs.jive.events.AbstractEventVisitor
 
visit(LoadEvent, Object) - Method in class edu.bsu.cs.jive.events.AbstractEventVisitor
 
visit(NewEvent, Object) - Method in class edu.bsu.cs.jive.events.AbstractEventVisitor
 
visit(ReturnEvent, Object) - Method in class edu.bsu.cs.jive.events.AbstractEventVisitor
 
visit(StartEvent, Object) - Method in class edu.bsu.cs.jive.events.AbstractEventVisitor
 
visit(CallEvent.Caller.InModel, Object) - Method in interface edu.bsu.cs.jive.events.CallEvent.Caller.Visitor
Visits an in-model caller.
visit(CallEvent.Caller.OutOfModel, Object) - Method in interface edu.bsu.cs.jive.events.CallEvent.Caller.Visitor
Visits an out-of-model caller.
visit(CallEvent.Caller.System, Object) - Method in interface edu.bsu.cs.jive.events.CallEvent.Caller.Visitor
Visits a system caller.
visit(CallEvent.Target.InModel, Object) - Method in interface edu.bsu.cs.jive.events.CallEvent.Target.Visitor
Visits an in-model target.
visit(CallEvent.Target.OutOfModel, Object) - Method in interface edu.bsu.cs.jive.events.CallEvent.Target.Visitor
Visits an out-of-model target.
visit(AssignEvent, Object) - Method in interface edu.bsu.cs.jive.events.Event.Visitor
Visits an AssignEvent.
visit(CallEvent, Object) - Method in interface edu.bsu.cs.jive.events.Event.Visitor
Visits a CallEvent.
visit(EOSEvent, Object) - Method in interface edu.bsu.cs.jive.events.Event.Visitor
Visits an EOSEvent.
visit(ExceptionEvent, Object) - Method in interface edu.bsu.cs.jive.events.Event.Visitor
Visits an ExceptionEvent.
visit(ExitEvent, Object) - Method in interface edu.bsu.cs.jive.events.Event.Visitor
Visits an ExitEvent.
visit(LoadEvent, Object) - Method in interface edu.bsu.cs.jive.events.Event.Visitor
Visits a LoadEvent.
visit(NewEvent, Object) - Method in interface edu.bsu.cs.jive.events.Event.Visitor
Visits a NewEvent.
visit(ReturnEvent, Object) - Method in interface edu.bsu.cs.jive.events.Event.Visitor
Visits a ReturnEvent.
visit(StartEvent, Object) - Method in interface edu.bsu.cs.jive.events.Event.Visitor
Visits a StartEvent.
visit(ReturnEvent.Returner.InModel, Object) - Method in interface edu.bsu.cs.jive.events.ReturnEvent.Returner.Visitor
 
visit(ReturnEvent.Returner.OutOfModel, Object) - Method in interface edu.bsu.cs.jive.events.ReturnEvent.Returner.Visitor
 
visit(ThreadActivation, Object) - Method in interface edu.buffalo.cse.jive.sequence.java.JavaExecutionActivation.Visitor
Visits a ThreadActivation.
visit(MethodActivation, Object) - Method in interface edu.buffalo.cse.jive.sequence.java.JavaExecutionActivation.Visitor
Visits a MethodActivation.
visit(FilteredMethodActivation, Object) - Method in interface edu.buffalo.cse.jive.sequence.java.JavaExecutionActivation.Visitor
Visits a FilteredMethodActivation.
visit(EventOccurrence) - Method in interface edu.buffalo.cse.jive.sequence.SequenceModel.EventVisitor
Visits an EventOccurrernce (other than a MessageSend).
visit(MessageSend) - Method in interface edu.buffalo.cse.jive.sequence.SequenceModel.EventVisitor
Visits an occurrence of a MessageSend event.
visit(ExecutionOccurrence) - Method in interface edu.buffalo.cse.jive.sequence.SequenceModel.ExecutionVisitor
Visits an ExecutionOccurrence.
visit(EventOccurrence) - Method in class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery
 
visit(MessageSend) - Method in class edu.buffalo.cse.jive.ui.search.queries.ExceptionCaughtSearchQuery
 
visit(EventOccurrence) - Method in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery
 
visit(MessageSend) - Method in class edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery
 
visit(EventOccurrence) - Method in class edu.buffalo.cse.jive.ui.search.queries.LineExecutedSearchQuery
 
visit(MessageSend) - Method in class edu.buffalo.cse.jive.ui.search.queries.LineExecutedSearchQuery
 
visit(EventOccurrence) - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodCalledSearchQuery
 
visit(MessageSend) - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodCalledSearchQuery
 
visit(EventOccurrence) - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodReturnedSearchQuery
 
visit(MessageSend) - Method in class edu.buffalo.cse.jive.ui.search.queries.MethodReturnedSearchQuery
 
visit(EventOccurrence) - Method in class edu.buffalo.cse.jive.ui.search.queries.ObjectCreatedSearchQuery
 
visit(MessageSend) - Method in class edu.buffalo.cse.jive.ui.search.queries.ObjectCreatedSearchQuery
 
visit(EventOccurrence) - Method in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery
 
visit(MessageSend) - Method in class edu.buffalo.cse.jive.ui.search.queries.VariableChangedSearchQuery
 
visitBreadthFirst(ContourModel.Visitor) - Method in interface edu.bsu.cs.jive.contour.ContourModel
Process a visitor in breadth-first order.
visitDepthFirst(ContourModel.Visitor) - Method in interface edu.bsu.cs.jive.contour.ContourModel
Process a visitor in depth-first order.

X

XMLUtilities - Class in edu.bsu.cs.jive.util
XML processing utilities.
XMLUtilities() - Constructor for class edu.bsu.cs.jive.util.XMLUtilities
 

Z

ZOOM_CONTROLS_GROUP - Static variable in class edu.buffalo.cse.jive.ui.AbstractGraphicalJiveView
The group used to hold actions having to do with diagram zooming.

A C D E F G H I J L M N O P R S T U V X Z
JIVE Platform
Release 0.2.2