"{ Encoding: utf8 }"

"

 COPYRIGHT (c) 1989 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 }"

Object subclass:#Variable

	instanceVariableNames:'value name used type domain classHint'

	classVariableNames:''

	poolDictionaries:''

	category:'System-Compiler-Support'

!

!Variable class methodsFor:'documentation'!

copyright

"

 COPYRIGHT (c) 1989 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 variables

    This is a helper class for the compiler.

    [author:]

        Claus Gittinger

"

! !

!Variable class methodsFor:'instance creation'!

name:name

    "return a new node for a variable named name"

    ^ (self new) name:name

!

type:type name:name

    ^ (self new) type:type  name:name

! !

!Variable methodsFor:'accessing'!

classHint

    ^ classHint

!

classHint:something

    classHint := something.

!

name

    "return the name of the variable"

    ^ name

!

name:nameString

    "set the name of the variable"

    "/ self assert:(aString isString).

    "/ self assert:nameString notNil.

    name := nameString

    "Modified: / 07-08-2006 / 12:18:12 / cg"

    "Modified: / 27-08-2018 / 13:40:33 / Claus Gittinger"

!

type:typeSymbol name:nameString

    "/ self assert:nameString notNil.

    "/ self assert:(aString isString).

    type := typeSymbol.

    name := nameString

    "Modified: / 07-08-2006 / 12:18:08 / cg"

    "Modified: / 27-08-2018 / 13:40:37 / Claus Gittinger"

!

used

    "return the flag marking that this variable has been used"

    ^ used

!

used:aBoolean

    "set/clear the flag marking that this variable has been used"

    used := aBoolean

!

value

    "return the value of the variable"

    ^ value

!

value:v

    "set the value of the (simulated) variable"

    value := v

!

variableValue

    "return the value of the variable"

    ^ value

! !

!Variable methodsFor:'enumerating'!

nodeDo:anEnumerator

    "helper for parse tree walking"

    ^ anEnumerator doVariable:self name:name

    "Created: 19.6.1997 / 17:11:48 / cg"

! !

!Variable methodsFor:'printing & storing'!

printOn:aStream

    aStream nextPutAll:name

! !

!Variable methodsFor:'special'!

domain

    ^ domain

!

domain:aDomain

    type := #FDVariable.

    domain := aDomain.

!

expressionForSetup

    |newDom|

    type isNil ifTrue:[^ nil].

    type == #FDVariable ifTrue:[

        "/ finite domain setup

        "/ var := FDVariable new domain:<domain-setup-message>.

        "/ var name:<name>

        newDom := domain instanceCreationMessage.

        ^ MessageNode

                receiver:(VariableNode globalNamed:#FDVariable)

                selector:#'domain:name:' 

                arg1:newDom

                arg2:(ConstantNode value:name).

    ].

    self shouldImplement.

!

type

    ^ type

! !

!Variable class methodsFor:'documentation'!

version

    ^ '$Header$'

! !