"

 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:libbasic' }"

"{ NameSpace: Smalltalk }"

Object subclass:#ReadEvalPrintLoop

	instanceVariableNames:'inputStream outputStream errorStream compiler prompt

		doChunkFormat traceFlag timingFlag profilingFlag printFlag

		exitAction currentDirectory lastEditedClass'

	classVariableNames:''

	poolDictionaries:''

	category:'System-Support'

!

!ReadEvalPrintLoop 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

"

    A simple read-eval-print loop for non-GUI or stscript operation.

    Invoked, for example if stx is started with a --repl argument.

    A line starting with '?' shows the usage message.

    Lines starting with '#' are directives:

        #exit   - exit the rep-loop

        type '?' to see more.

    The input can be in one of two formats:

        1) traditional chunk format (bang-separated chunks, bangs duplicated)

          this is the traditional fileIn format, as generated by fileOut from the browser

        2) interactive line mode. Chunks are any number of lines up to either an empty line or

          a line ending in a period. This is more useful for an interactive REPL, where statements/expressions

          are entered linewise by a user.

    The input can is switched to non-chunk format whenever a line with a '#' in the first column appears.

    [Author:]

        Claus Gittinger

"

! !

!ReadEvalPrintLoop methodsFor:'accessing'!

compiler:something

    "assign a compiler to use;could be used to change the language"

    compiler := something.

!

doChunkFormat

    "true if currently reading chunk format"

    ^ doChunkFormat ? true

    "Created: / 07-12-2006 / 18:24:04 / cg"

!

doChunkFormat:aBoolean

    "enable/disable chunk format"

    doChunkFormat := aBoolean.

    "Created: / 07-12-2006 / 18:24:04 / cg"

!

error:aStream

    "assign an error stream"

    errorStream := aStream.

    "Created: / 07-12-2006 / 17:33:39 / cg"

!

errorStream

    "return the current error stream"

    errorStream notNil ifTrue:[^ errorStream].

    ^ Processor activeProcess stderr

    "Created: / 07-12-2006 / 19:12:27 / cg"

!

input:aStream

    "assign an input stream"

    inputStream := aStream asLineNumberReadStream.

    "Modified: / 07-12-2006 / 17:33:31 / cg"

!

inputStream

    "get the current input stream"

    inputStream notNil ifTrue:[^ inputStream].

    ^ Processor activeProcess stdin

    "Created: / 07-12-2006 / 19:12:13 / cg"

!

output:aStream

    "assign an output stream"

    outputStream := aStream.

    "Created: / 07-12-2006 / 17:27:48 / cg"

!

outputStream

    "return the current output stream"

    outputStream notNil ifTrue:[^ outputStream].

    ^ Processor activeProcess stdout

    "Created: / 07-12-2006 / 19:12:27 / cg"

!

prompt:aString

    "set the prompt"

    prompt := aString.

! !

!ReadEvalPrintLoop methodsFor:'compiler interface-error handling'!

correctableError:message position:pos1 to:pos2 from:aCompiler

    "compiler notifies us of an error - ignore it"

    ^ false "/ no correction

!

correctableSelectorWarning:aString position:relPos to:relEndPos from:aCompiler

    "compiler notifies us of a warning - ignore it"

    ^ false

!

correctableWarning:message position:pos1 to:pos2 from:aCompiler

    "compiler notifies us of an error - ignore it"

    ^ false

    "Created: / 02-11-2010 / 13:29:22 / cg"

!

error:aString position:relPos to:relEndPos from:aCompiler

    "compiler notifies us of a warning - ignore it"

    ^ false

!

unusedVariableWarning:aString position:relPos to:relEndPos from:aCompiler

    "compiler notifies us of a warning - ignore it"

    ^ false

!

warning:aString position:relPos to:relEndPos from:aCompiler

    "compiler notifies us of a warning - ignore it"

    ^ self

! !

!ReadEvalPrintLoop methodsFor:'directives'!

cmd_clear:lineStream

    self cmd_setOrClear:lineStream to:false

    "Created: / 07-12-2006 / 19:04:50 / cg"

!

cmd_debug:lineStream

    MiniDebugger enter.

!

cmd_edit:lineStream

    "edit a class or selector"

    |errStream editor classOrMethodName cls methodName selector 

     code isNewClass editFullClass tmpFile modifiedTime|

    errStream := self errorStream.

    editor := OperatingSystem getEnvironment:'STX_EDITOR'.

    editor isNil ifTrue:[

        editor := OperatingSystem getEnvironment:'EDITOR'.

        editor isNil ifTrue:[

            OperatingSystem isMSWINDOWSlike ifTrue:[

                editor := 'notepad'.

            ] ifFalse:[

                editor := 'vi'.

            ].    

        ].    

    ].    

    isNewClass := editFullClass := false.

    lineStream skipSeparators.

    lineStream atEnd ifTrue:[^ self].

    classOrMethodName := lineStream 

                            upToElementForWhich:[:ch | 

                                ch isLetterOrDigit not and:[ch ~~ $_]

                            ].

    "/ 

    (classOrMethodName isUppercaseFirst) ifTrue:[ 

        (cls := Smalltalk classNamed:classOrMethodName) isNil ifTrue:[

            errStream nextPutAll:'edit: no such class: ',classOrMethodName,' ; create (y/n)? '.

            (self inputStream nextLine withoutSeparators startsWith:'y') ifFalse:[^ self].

            isNewClass := true.

            code := 

'Object

  subclass:#%1

  instanceVariableNames:''''

  classVariableNames:''''

  poolDictionaries:''''

  category:''user classes''

'                   bindWith:classOrMethodName.

        ] ifFalse:[ 

            lineStream skipSeparators.

            lineStream atEnd ifFalse:[

                methodName := lineStream upToSeparator.

            ].

        ].

    ] ifFalse:[

        methodName := classOrMethodName   

    ].

    isNewClass ifFalse:[

        cls := cls ? lastEditedClass.

        cls isNil ifTrue:[

            errStream nextPutLine:'edit usage:'.

            errStream nextPutLine:'   #edit className selector'.

            errStream nextPutLine:'   #edit className '.

            errStream nextPutLine:'   #edit selector (class as in previous edit)'.

            ^ self.

        ].

        lastEditedClass := cls.

        methodName isNil ifTrue:[

            editFullClass := true.

            code := cls source asString

        ] ifFalse:[    

            ((selector := methodName asSymbolIfInterned) isNil 

            or:[ (cls implements:selector) not]) ifTrue:[

                errStream nextPutAll:('"',methodName,'" is a new method; create (y/n)? ').

                (self inputStream nextLine withoutSeparators startsWith:'y') ifFalse:[^ self].

                code := '

%1

    "this is a new method"

    self halt

'                   bindWith:methodName.

            ] ifFalse:[

                code := cls compiledMethodAt:selector.

            ].    

        ].    

    ].

    [

        tmpFile := Filename newTemporary.

        tmpFile contents:code.

        modifiedTime := tmpFile modificationTime.

        OperatingSystem 

            executeCommand:('%1 "%2"' bindWith:editor with:tmpFile pathName)

            inputFrom:self inputStream 

            outputTo:self outputStream 

            errorTo:self errorStream.

        tmpFile modificationTime ~= modifiedTime ifTrue:[

            isNewClass ifTrue:[

                Compiler evaluate:tmpFile contentsOfEntireFile.    

            ] ifFalse:[

                editFullClass ifTrue:[

                    tmpFile fileIn.

                ] ifFalse:[    

                    cls compile:tmpFile contentsOfEntireFile classified:'*as yet uncategorized'.    

                ].    

            ].    

        ].

    ] ensure:[

        tmpFile notNil ifTrue:[

            tmpFile remove

        ]

    ].

    "

     self new 

        input:Stdin;

        cmd_edit:'MyClass foo' readStream

    "

!

cmd_exit:lineStream

    exitAction value

    "Created: / 07-12-2006 / 18:55:46 / cg"

!

cmd_help:lineStream

    self errorStream

        nextPutAll:

'Everything entered up to an empty line or a line ending in "." is called a "chunk" and evaluated.

Lines starting with "#" are commands to the read-eval-print interpreter.

Valid commands are:

    #help ............... this text

    #exit ............... exit interpreter loop

    #use <package>....... use (load) a package

        stx:libwidg .............. GUI package

        stx:libtool .............. IDE tool package

        stx:goodies/regex ........ regex package

        stx:goodies/petitparser .. peg parser package

    #read <filename>..... read another script or source file

    #show <what> ........ show info

        variables .......... interpreter variables

        processes .......... processes

        memory ............. memory usage

        flags .............. flags

        modules ............ loaded modules

        packages ........... available packages to load

        all ................ all of the above

    #set/clear <flag> ... set or clear a flag

        trace .............. tracing execution

        timing ............. timing execution

        profiling .......... show execution profile

        chunkFormat ........ traditional bang chunk format input mode

    #debug ................. enter a MiniDebugger

The MiniDebugger (if entered) shows its own help with "?".

'

    "Created: / 07-12-2006 / 18:54:20 / cg"

!

cmd_read:lineStream

    |filename newInput savedPrompt savedPrint savedInput savedCurrentDirectory savedDoChunkFormat|

    lineStream skipSeparators.

    filename := lineStream upToEnd withoutSeparators.

    filename isNil ifTrue:[

        '? which file?' errorPrintCR.

        ^ self.

    ].

    filename := filename withoutSeparators.

    filename isEmpty ifTrue:[

        '? which file?' errorPrintCR.

        ^ self.

    ].

    currentDirectory := currentDirectory ? (Filename currentDirectory).

'fn is ' errorPrint. filename errorPrintCR.

    filename := filename asFilename.

'fn is ' errorPrint. filename errorPrintCR.

    filename isAbsolute ifFalse:[

'not absolute ' errorPrintCR.

        filename := currentDirectory construct:filename.

    ].

'fn is ' errorPrint. filename errorPrintCR.

self halt.

    newInput := filename readStream.

self halt.

'newInput is' errorPrint. newInput errorPrintCR.

    newInput isNil ifTrue:[

        ('Could not find file: "',filename pathName,'"') errorPrintCR.

        ^ self.

    ].

'newInput is' errorPrint. newInput errorPrintCR.

    [

        savedCurrentDirectory := currentDirectory.

        savedDoChunkFormat := doChunkFormat.

        savedInput := inputStream.

        savedPrint := printFlag.

        savedPrompt := prompt.

        currentDirectory := filename directory.

        inputStream := newInput.

'new repl...' errorPrintCR.

        self

            basicReadEvalPrintLoopWithInput:newInput

            output:outputStream

            error:errorStream

            compiler:(compiler ? Compiler ? Parser)

            prompt:false

            print:false.

        'after read1' errorPrintCR.

    ] ensure:[

        newInput close.

        doChunkFormat := savedDoChunkFormat.

        currentDirectory := savedCurrentDirectory.

        inputStream := savedInput.

        printFlag := savedPrint.

        prompt := savedPrompt.

        'ensure done' errorPrintCR.

    ].

    'after read2' errorPrintCR.

!

cmd_set:lineStream

    self cmd_setOrClear:lineStream to:true

    "Modified: / 07-12-2006 / 19:04:46 / cg"

!

cmd_setOrClear:lineStream to:aBoolean

    |what|

    lineStream skipSeparators.

    what := lineStream nextAlphaNumericWord.

    what notNil ifTrue:[

        (what startsWith:'tra') ifTrue:[

            traceFlag := aBoolean.

            ^ self.

        ].

        (what startsWith:'tim') ifTrue:[

            timingFlag := aBoolean.

            ^ self.

        ].

        (what startsWith:'pro') ifTrue:[

            profilingFlag := aBoolean.

            ^ self.

        ].

        (what startsWith:'chunk') ifTrue:[

            doChunkFormat := aBoolean.

            ^ self.

        ].

    ].

    self errorStream nextPutLine:'? which flag ?'.

    "Modified: / 07-12-2006 / 19:13:34 / cg"

!

cmd_show:lineStream

    |errStream what showAll ok|

    errStream := self errorStream.

    lineStream skipSeparators.

    what := lineStream nextAlphaNumericWord.

    ok := false.

    what notNil ifTrue:[

        showAll := (what startsWith:'all').

        (showAll or:[ what startsWith:'var' ]) ifTrue:[                      

            showAll ifTrue:[ errStream nextPutLine:'Variables:'; nextPutLine:'----------' ].

            self showVariables.

            ok := true.

        ].

        (showAll or:[ what startsWith:'proc' ]) ifTrue:[                    

            showAll ifTrue:[ errStream cr; nextPutLine:'Threads:'; nextPutLine:'--------' ].

            MiniDebugger basicNew showProcesses.

            ok := true.

        ].

        ("showAll or:[" what startsWith:'pack' "]") ifTrue:[                    

            showAll ifTrue:[ errStream cr; nextPutLine:'Available Packages:'; nextPutLine:'--------' ].