edu.rice.cs.drjava.model.debug.jpda
Class JPDABreakpoint

java.lang.Object
  edu.rice.cs.drjava.model.debug.jpda.DebugAction<T>
      edu.rice.cs.drjava.model.debug.jpda.DocumentDebugAction<com.sun.jdi.request.BreakpointRequest>
          edu.rice.cs.drjava.model.debug.jpda.JPDABreakpoint

All Implemented Interfaces:

Breakpoint, DebugBreakpointData, IDocumentRegion, OrderedDocumentRegion, Region, Comparable<OrderedDocumentRegion>

public class JPDABreakpoint
extends DocumentDebugAction<com.sun.jdi.request.BreakpointRequest>
implements Breakpoint

The breakpoint object which has references to its OpenDefinitionsDocument and its BreakpointRequest. See the WARNING below about hashing on this type or its subtypes. TODO: _lineNumber, _startPos, and _endPos should be computed dynamically from _position. Editing a document with breakpoint set can change the proper value for these fields.

Field Summary

Fields inherited from class edu.rice.cs.drjava.model.debug.jpda.DocumentDebugAction

_className, _exactClassName, _file, _offset, SHORT_DOC_MAX_LENGTH

Fields inherited from class edu.rice.cs.drjava.model.debug.jpda.DebugAction

_countFilter, _isEnabled, _lineNumber, _manager, _requests, _suspendPolicy, ANY_LINE

Constructor Summary

JPDABreakpoint(OpenDefinitionsDocument doc, int offset, int lineNumber, boolean isEnabled, JPDADebugger manager)

Method Summary

protected void	_createRequests(Vector<com.sun.jdi.ReferenceType> refTypes) Creates appropriate EventRequests from the EventRequestManager and stores them in the _requests field.
int	compareTo(OrderedDocumentRegion r) Totally orders regions lexicographically based on (_doc, endOffset, startOffset).
boolean	equals(Object o) Defines the equality relation on DocumentRegions.
int	getEndOffset() Accessor for the offset of this breakpoint's end position
int	getLineEndOffset() Accessor for the offset of this breakpoint's end position
int	getLineStartOffset() Accessor for the offset of this breakpoint's start position
int	getStartOffset() Accessor for the offset of this breakpoint's start position
String	getString() Returns the String used on the JTree label for this breakpoint.
boolean	isEmpty()
void	setEnabled(boolean isEnabled) Enable/disable the breakpoint.
String	toString()
void	update()

Methods inherited from class edu.rice.cs.drjava.model.debug.jpda.DocumentDebugAction

_initializeRequests, _prepareRequest, createRequests, getClassName, getDocument, getExactClassName, getFile, getOffset

Methods inherited from class edu.rice.cs.drjava.model.debug.jpda.DebugAction

_createRequests, _initializeRequests, _prepareRequests, createRequests, getLineNumber, getRequests, isEnabled

Methods inherited from class java.lang.Object

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

Methods inherited from interface edu.rice.cs.drjava.model.debug.Breakpoint

getClassName

Methods inherited from interface edu.rice.cs.drjava.model.debug.DebugBreakpointData

getFile, getLineNumber, isEnabled

Methods inherited from interface edu.rice.cs.drjava.model.IDocumentRegion

getDocument

Constructor Detail

JPDABreakpoint

public JPDABreakpoint(OpenDefinitionsDocument doc,
                      int offset,
                      int lineNumber,
                      boolean isEnabled,
                      JPDADebugger manager)
               throws DebugException

Throws:

DebugException - if the document does not have a file

Method Detail

getString

public String getString()

Returns the String used on the JTree label for this breakpoint.

Specified by:

getString in interface OrderedDocumentRegion

_createRequests

protected void _createRequests(Vector<com.sun.jdi.ReferenceType> refTypes)
                        throws DebugException

Creates appropriate EventRequests from the EventRequestManager and stores them in the _requests field.

Specified by:

_createRequests in class DocumentDebugAction<com.sun.jdi.request.BreakpointRequest>

Parameters:

refTypes - All (identical) ReferenceTypes to which this action applies. (There may be multiples if a custom class loader is in use.)

Throws:

DebugException - if the requests could not be created.

getStartOffset

public int getStartOffset()

Accessor for the offset of this breakpoint's start position

Specified by:

getStartOffset in interface Region

Returns:

the start offset

getEndOffset

public int getEndOffset()

Accessor for the offset of this breakpoint's end position

Specified by:

getEndOffset in interface Region

Returns:

the end offset

getLineStartOffset

public int getLineStartOffset()

Accessor for the offset of this breakpoint's start position

Specified by:

getLineStartOffset in interface OrderedDocumentRegion

Returns:

the start offset

getLineEndOffset

public int getLineEndOffset()

Accessor for the offset of this breakpoint's end position

Specified by:

getLineEndOffset in interface OrderedDocumentRegion

Returns:

the end offset

update

public void update()

Specified by:

update in interface OrderedDocumentRegion

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface OrderedDocumentRegion

equals

public final boolean equals(Object o)

Defines the equality relation on DocumentRegions. This equivalence relation on allocated objects is finer grained than the equivalence relation induced by compareTo because it requires equality on Position objects, not just equality of the current offsets of Positions.

Overrides:

equals in class Object

compareTo

public int compareTo(OrderedDocumentRegion r)

Totally orders regions lexicographically based on (_doc, endOffset, startOffset). This method is typically applied to regions within the same document.

Specified by:

compareTo in interface Comparable<OrderedDocumentRegion>

setEnabled

public void setEnabled(boolean isEnabled)

Enable/disable the breakpoint.

Specified by:

setEnabled in interface Breakpoint

Overrides:

setEnabled in class DebugAction<com.sun.jdi.request.BreakpointRequest>

toString

public String toString()

Overrides:

toString in class Object