"
 COPYRIGHT (c) 2006 by eXept Software AG
              All Rights Reserved

 This software is furnished under a license and may be used
 only in accordance with the terms of that license and with the
 inclusion of the above copyright notice.   This software may not
 be provided or otherwise made available to, or used by, any
 other person.  No title to or ownership of the software is
 hereby transferred.
"
"{ Package: 'stx:libcomp' }"

"{ NameSpace: Smalltalk }"

Object subclass:#Breakpoint
	instanceVariableNames:'position description line isReached method'
	classVariableNames:''
	poolDictionaries:''
	category:'System-Compiler-Debugging'
!

!Breakpoint class methodsFor:'documentation'!

copyright
"
 COPYRIGHT (c) 2006 by eXept Software AG
              All Rights Reserved

 This software is furnished under a license and may be used
 only in accordance with the terms of that license and with the
 inclusion of the above copyright notice.   This software may not
 be provided or otherwise made available to, or used by, any
 other person.  No title to or ownership of the software is
 hereby transferred.
"
!

documentation
"
    statement breakpoint support.
    Instances of me are placed into a (bytecode-) compiled method's
    literal array and are sent #break messages when a statement
    with a breakpoint is about to be executed.
    The actual control is via the breakpoint's description, 
    which contains further constraints about when the breakpoint should stop and enter the debugger
    (for example: constraints on the reciever, the thread, the count, etc.)
"    
! !

!Breakpoint class methodsFor:'instance creation'!

new
    "return an initialized instance"

    ^ self basicNew initialize.
! !

!Breakpoint class methodsFor:'queries'!

breakpointDescriptionClass
    "redefinable in subclasses"
    
    ^ BreakpointDescription
! !

!Breakpoint class methodsFor:'utilities'!

disableAllBreakpoints
    MethodWithBreakpoints allBreakpointedMethods do:[:m |
        m disableAllBreakpoints
    ]

    "Created: / 03-02-2014 / 10:35:55 / cg"
! !

!Breakpoint methodsFor:'accessing'!

description
    ^ description
!

description:aBreakpointDescription
    description := aBreakpointDescription.
!

isReached
    ^ isReached
!

isReached:aBoolean
    isReached := aBoolean.
!

line
    "the lineNr"
    
    ^ line
!

line:lineArg
    self assert:lineArg >= 0.
    line := lineArg.
!

method:something
    method := something.
!

position
    ^ position
!

position:anInteger
    position := anInteger.

    "Modified (format): / 02-08-2012 / 09:26:03 / cg"
!

position:positionArg line:lineArg
    position := positionArg.
    line := lineArg.
    self assert:lineArg >= 0.

    "Created: / 02-08-2012 / 09:26:27 / cg"
! !

!Breakpoint methodsFor:'hitting'!

break
    "invoked by the breakPoint's code (see BreakPointNode),
     which is compiled into the code as:
        pushLit <theBreakpoint>
        send0 #break
    "

    <resource: #skipInDebuggersWalkBack>

    |sender mthd where lineNr message 
     source sourceLines sourceLine prevLine nextLine|

    description isEnabled ifFalse:[^ self].
    sender := thisContext sender.
    (description shouldBreakIn:sender) ifTrue:[
        message := 'Breakpoint encountered at line %1 in %2'.
        where := '?'.

        mthd := method.
        mthd notNil ifTrue:[
            mthd mclass isNil ifTrue:[
                mthd := sender method.
            ].
            where := mthd whoString.

            (lineNr := self line) notNil ifTrue:[
                (source := mthd source) notNil ifTrue:[
                    sourceLines := source asStringCollection.
                    sourceLine := sourceLines at:lineNr ifAbsent:[nil].
                    sourceLine notNil ifTrue:[
                        sourceLine := (sourceLine "withoutLeadingSeparators" contractAtEndTo:60) allItalic withColor:Color darkRed.
                        message := 'Breakpoint encountered at line %1 in %2\near:\%3'.
                        lineNr > 1 ifTrue:[
                            prevLine := sourceLines at:(lineNr-1) ifAbsent:[nil].
                            prevLine notEmptyOrNil ifTrue:[
                                "/ prevLine := prevLine withoutLeadingSeparators.
                                prevLine notEmpty ifTrue:[
                                    prevLine := (prevLine contractAtEndTo:60) allItalic.
                                    lineNr > 2 ifTrue:[
                                        prevLine := '...', Character cr , prevLine.
                                    ].
                                ] ifFalse:[
                                    prevLine := '...'.
                                ].  
                                prevLine := prevLine withColor:Color grey.
                                message := 'Breakpoint encountered at line %1 in %2\near:\%4\%3'.
                            ].
                        ].
                        lineNr < (sourceLines size) ifTrue:[
                            nextLine := sourceLines at:(lineNr+1) ifAbsent:[nil].
                            nextLine notEmptyOrNil ifTrue:[
                                "/ nextLine := nextLine withoutLeadingSeparators.
                                nextLine notEmpty ifTrue:[
                                    nextLine := (nextLine contractAtEndTo:60) allItalic.
                                    lineNr < (sourceLines size - 1) ifTrue:[
                                        nextLine := nextLine , Character cr , '...'.
                                    ].    
                                ] ifFalse:[
                                    nextLine := '...'.
                                ].    
                                nextLine := nextLine withColor:Color grey.

                                prevLine notNil ifTrue:[
                                    message := 'Breakpoint encountered at line %1 in %2\near:\%4\%3\%5'.
                                ] ifFalse:[
                                    message := 'Breakpoint encountered at line %1 in %2\near:\%3\%5'.
                                ].
                            ].
                        ].
                    ].    
                ].    
            ].    
        ].
        "/ to disable this breakpoint:
        "/ description disable.

        BreakPointInterrupt basicNew
            raiseRequestWith:self
            errorString:(message withCRs 
                                    bindWith:self line 
                                    with:where 
                                    with:sourceLine
                                    with:prevLine
                                    with:nextLine)
            "/ not in sender, because otherwise the debugger won't
            "/ detect the break on the stack
            "/ in:sender.
    ].
    (description shouldTraceIn:sender) ifTrue:[
        Transcript 
            show:Timestamp now;
            showCR:(' Trace %1 [%2] args: %3' 
                        bindWith:sender methodPrintString 
                        with:self line
                        with:sender argsDisplayStringShort)
    ].

    "Created: / 15-06-2011 / 12:48:40 / Jan Vrany <jan.vrany@fit.cvut.cz>"
    "Modified: / 11-07-2011 / 18:17:56 / Jan Vrany <jan.vrany@fit.cvut.cz>"
    "Modified: / 21-10-2017 / 15:24:35 / cg"
    "Modified: / 13-03-2019 / 21:16:22 / Claus Gittinger"
! !

!Breakpoint methodsFor:'initialization'!

initialize
    "Invoked when a new instance is created."

    "/ please change as required (and remove this comment)
    "/ method := nil.
    "/ position := nil.
    description := self class breakpointDescriptionClass new.
    "/ line := nil.

    "/ super initialize.   -- commented since inherited method does nothing

    "Modified: / 21-08-2014 / 09:35:47 / Jan Vrany <jan.vrany@fit.cvut.cz>"
! !

!Breakpoint methodsFor:'printing & storing'!

printBreakpointNrInDebuggerOn:aStream
    "to be redefined for concrete debuggers"
!

printOn:aStream
    "append a printed representation of the receiver to the argument, aStream"

    aStream nextPutAll: 'BPNT '.
    aStream nextPutAll:(self isEnabled ifTrue:['(enabled) '] ifFalse:['(disabled) ']).
    self printBreakpointNrInDebuggerOn:aStream.
    aStream nextPutAll: 'at'.
    (position isNil and:[line isNil]) ifTrue:[
        aStream nextPutAll: ' ???'
    ] ifFalse:[
        position notNil ifTrue:[
            aStream
                nextPutAll: ' source position:';
                nextPutAll: position printString.
        ].
        line notNil ifTrue:[
            aStream
                nextPutAll: ' line:';
                nextPutAll: line printString.
        ].
    ].

    "Modified: / 24-04-2013 / 20:42:42 / Jan Vrany <jan.vrany@fit.cvut.cz>"
    "Modified: / 20-02-2019 / 15:50:37 / Claus Gittinger"
! !

!Breakpoint methodsFor:'support'!

beInvisible
    "make this breakpoint hidden (in gutter)"

    description beInvisible
!

beTracepoint
    "make this breakpoint a tracepoint"

    description beTracepoint

    "Created: / 27-01-2012 / 13:56:11 / cg"
!

disable
    "disable this breakpoint"

    "/ if there is currently an ignore on this breakpoint in the debugger, remove it
    Debugger notNil ifTrue:[
        DebugView stopIgnoringHaltsFor:method atLineNr:line.
    ].
    description disable

    "Modified: / 02-03-2019 / 11:30:45 / Claus Gittinger"
!

toggle
    "toggle this breakpoint"

    "/ if there is currently an ignore on this breakpoint in the debugger, remove it
    Debugger notNil ifTrue:[
        Debugger stopIgnoringHaltsFor:method atLineNr:line.
    ].
    description toggle

    "Created: / 17-06-2011 / 13:40:45 / Jan Vrany <jan.vrany@fit.cvut.cz>"
    "Modified: / 11-07-2011 / 18:18:10 / Jan Vrany <jan.vrany@fit.cvut.cz>"
    "Modified (comment): / 27-01-2012 / 10:41:03 / cg"
    "Modified: / 02-03-2019 / 11:30:31 / Claus Gittinger"
!

toggleTracing
    "toggle tracing of this breakpoint"

    description toggleTracing

    "Created: / 27-01-2012 / 13:56:05 / cg"
    "Modified (comment): / 20-02-2019 / 10:46:54 / Claus Gittinger"
! !

!Breakpoint methodsFor:'testing'!

isEnabled

    "Bad coding here, state should be full object"

    ^description isEnabled

    "Created: / 28-06-2011 / 08:27:31 / Jan Vrany <jan.vrany@fit.cvut.cz>"
!

isTracepoint
    ^description isTracepoint
!

isVisible
    ^description isVisible
! !

!Breakpoint class methodsFor:'documentation'!

version
    ^ '$Header$'
!

version_CVS
    ^ '$Header$'
!

version_SVN
    ^ '$ Id $'
! !