"
 COPYRIGHT (c) 1990 by Claus Gittinger
	      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 }"

StatementNode subclass:#PrimitiveNode
	instanceVariableNames:'code primNumber optional'
	classVariableNames:''
	poolDictionaries:''
	category:'System-Compiler-Support'
!

!PrimitiveNode class methodsFor:'documentation'!

copyright
"
 COPYRIGHT (c) 1990 by Claus Gittinger
	      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
"
    node for parse-trees, representing primitive code
    This is a helper class for the compiler.

    Primitives are (currently) not always supported by the incremental compiler 
    - if you want a primitive, you must use the stc-compiler and 
    link a new smalltalk.

    On system which support dynamic object loading, methods with primitives are passed 
    to stc and the resulting binary is loaded into the image 
    (also a limited set of numeric primitives could be implemented for more ST-80 
     compatibility - if there is a need).

    To allow autoloaded/filedIn code to be written for best performance, an optional
    primitive directive (in the primitives first lines comment) may specify an
    optional primitive; these are compiled on systems which do support binary code
    loading, and ignored completely on others.

    [author:]
        Claus Gittinger
"
! !

!PrimitiveNode class methodsFor:'instance creation'!

code:aString
    ^ self basicNew code:aString
!

primitiveNumber:anInteger
    ^ self basicNew primitiveNumber:anInteger
! !

!PrimitiveNode methodsFor:'accessing'!

code:aString
    "set the primitives code - check for the 'OPTIONAL' directive"

    |firstLine commentPos words|

    code := aString.
    optional := false.

    firstLine := aString readStream nextLine.
    commentPos := firstLine indexOfSubCollection:'/*'.
    commentPos ~~ 0 ifTrue:[
	words := (firstLine copyFrom:(commentPos + 2)) asCollectionOfWords.
	(words includes:'OPTIONAL') ifTrue:[
	    optional := true
	]
    ]

    "Modified: 24.10.1995 / 11:29:51 / cg"
!

primitiveNumber:anInteger 
    optional := false.
    primNumber := anInteger
! !


!PrimitiveNode methodsFor:'code generation'!

codeForSideEffectOn:aStream inBlock:b for:aCompiler
    "catch code generation"

    optional ifTrue:[^ self].
    aCompiler class newPrimitives == true ifTrue:[^ self].
    self error:'cannot compile primitives (as yet)' mayProceed:true
!

codeOn:aStream inBlock:b for:aCompiler
    "catch code generation"

    optional ifTrue:[^ self].
    aCompiler class newPrimitives == true ifTrue:[^ self].
    self error:'cannot compile primitives (as yet)' mayProceed:true
! !

!PrimitiveNode methodsFor:'enumerating'!

nodeDo:anEnumerator
    "helper for parse tree walking"

    ^ anEnumerator doPrimitive:self code:code primitiveIndex:primNumber
! !

!PrimitiveNode methodsFor:'evaluation'!

evaluateExpressionIn:anEnvironment
    "catch evaluation"

    optional ifTrue:[^ nil].
    self error:'cannot evaluate primitives' mayProceed:true
!

evaluateIn:anEnvironment
    "catch evaluation"

    optional ifTrue:[^ nil].
    self error:'cannot evaluate primitives' mayProceed:true
! !

!PrimitiveNode methodsFor:'queries'!

containsReturn

    "/JV@2011-07-19: I'm not quite sure that this is OK..."
    ^(code includesString: 'return') 
        or: [code includesString: 'RETURN']

    "Created: / 19-07-2011 / 18:47:30 / Jan Vrany <jan.vrany@fit.cvut.cz>"
!

isConstant
    ^ false
!

isOptional
    ^ optional
!

isSimpleConstant
    ^ false
!

isSimpleExpression
    ^ false
!

isSimpleVariable
    ^ false
! !

!PrimitiveNode methodsFor:'visiting'!

acceptVisitor:aVisitor 
    "Double dispatch back to the visitor, passing my type encoded in
     the selector (visitor pattern)"

    "stub code automatically generated - please change if required"

    ^ aVisitor visitPrimitiveNode:self
! !

!PrimitiveNode class methodsFor:'documentation'!

version
    ^ '$Header$'
!

version_CVS
    ^ '$Header$'
! !