hg/stx-libcomp: BlockNode.st@3b11fb3ede98 (annotated)

0 7ad01559b262 Initial revision claus parents: diff changeset	1	"
4 f6fd83437415 * empty log message * claus parents: 3 diff changeset	2	COPYRIGHT (c) 1989 by Claus Gittinger
4275 e06f4b087e47 Copyright updates Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4259 diff changeset	3	COPYRIGHT (c) 2015-2016 Jan Vrany
4659 6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	4	COPYRIGHT (c) 2020-2021 LabWare
45 e8331ba8ad5d * empty log message * claus parents: 39 diff changeset	5	All Rights Reserved
0 7ad01559b262 Initial revision claus parents: diff changeset	6
7ad01559b262 Initial revision claus parents: diff changeset	7	This software is furnished under a license and may be used
7ad01559b262 Initial revision claus parents: diff changeset	8	only in accordance with the terms of that license and with the
7ad01559b262 Initial revision claus parents: diff changeset	9	inclusion of the above copyright notice. This software may not
7ad01559b262 Initial revision claus parents: diff changeset	10	be provided or otherwise made available to, or used by, any
7ad01559b262 Initial revision claus parents: diff changeset	11	other person. No title to or ownership of the software is
7ad01559b262 Initial revision claus parents: diff changeset	12	hereby transferred.
7ad01559b262 Initial revision claus parents: diff changeset	13	"
1079 2a996e0def30 category change Claus Gittinger <cg@exept.de> parents: 1035 diff changeset	14	"{ Package: 'stx:libcomp' }"
2a996e0def30 category change Claus Gittinger <cg@exept.de> parents: 1035 diff changeset	15
3602 db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	16	"{ NameSpace: Smalltalk }"
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	17
0 7ad01559b262 Initial revision claus parents: diff changeset	18	ParseNode subclass:#BlockNode
168 87497e19c7d5 checkin from browser Claus Gittinger <cg@exept.de> parents: 148 diff changeset	19	instanceVariableNames:'blockArgs statements home inlineBlock exitBlock blockVars
557 8202a13be88b preps to move vars of inlined blocks to outer context Claus Gittinger <cg@exept.de> parents: 555 diff changeset	20	needsHome lineNr endLineNr blockArgAccessedInBlock numTemp
574 993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	21	maxNumTemp indexOfFirstTemp subBlocks accessedOuterBlockVars
2501 ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	22	possiblyInlined invocationSelector charStartIndex charEndIndex
3479 669f5de98556 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3340 diff changeset	23	index inlined endPointIndex modifiedBlockVars'
168 87497e19c7d5 checkin from browser Claus Gittinger <cg@exept.de> parents: 148 diff changeset	24	classVariableNames:''
87497e19c7d5 checkin from browser Claus Gittinger <cg@exept.de> parents: 148 diff changeset	25	poolDictionaries:''
87497e19c7d5 checkin from browser Claus Gittinger <cg@exept.de> parents: 148 diff changeset	26	category:'System-Compiler-Support'
0 7ad01559b262 Initial revision claus parents: diff changeset	27	!
7ad01559b262 Initial revision claus parents: diff changeset	28
366 3be89590df22 checkin from browser Claus Gittinger <cg@exept.de> parents: 333 diff changeset	29	!BlockNode class methodsFor:'documentation'!
20 f8dd8ba75205 * empty log message * claus parents: 19 diff changeset	30
f8dd8ba75205 * empty log message * claus parents: 19 diff changeset	31	copyright
f8dd8ba75205 * empty log message * claus parents: 19 diff changeset	32	"
f8dd8ba75205 * empty log message * claus parents: 19 diff changeset	33	COPYRIGHT (c) 1989 by Claus Gittinger
4275 e06f4b087e47 Copyright updates Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4259 diff changeset	34	COPYRIGHT (c) 2015-2016 Jan Vrany
4659 6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	35	COPYRIGHT (c) 2020-2021 LabWare
45 e8331ba8ad5d * empty log message * claus parents: 39 diff changeset	36	All Rights Reserved
0 7ad01559b262 Initial revision claus parents: diff changeset	37
20 f8dd8ba75205 * empty log message * claus parents: 19 diff changeset	38	This software is furnished under a license and may be used
f8dd8ba75205 * empty log message * claus parents: 19 diff changeset	39	only in accordance with the terms of that license and with the
f8dd8ba75205 * empty log message * claus parents: 19 diff changeset	40	inclusion of the above copyright notice. This software may not
f8dd8ba75205 * empty log message * claus parents: 19 diff changeset	41	be provided or otherwise made available to, or used by, any
f8dd8ba75205 * empty log message * claus parents: 19 diff changeset	42	other person. No title to or ownership of the software is
f8dd8ba75205 * empty log message * claus parents: 19 diff changeset	43	hereby transferred.
f8dd8ba75205 * empty log message * claus parents: 19 diff changeset	44	"
f8dd8ba75205 * empty log message * claus parents: 19 diff changeset	45	!
0 7ad01559b262 Initial revision claus parents: diff changeset	46
20 f8dd8ba75205 * empty log message * claus parents: 19 diff changeset	47	documentation
f8dd8ba75205 * empty log message * claus parents: 19 diff changeset	48	"
f8dd8ba75205 * empty log message * claus parents: 19 diff changeset	49	node for parse-trees, representing blocks
261 0372e948ca2d commentary Claus Gittinger <cg@exept.de> parents: 212 diff changeset	50	This is a helper class for the compiler.
263 3b21d0991eff documentation Claus Gittinger <cg@exept.de> parents: 261 diff changeset	51
3b21d0991eff documentation Claus Gittinger <cg@exept.de> parents: 261 diff changeset	52	[author:]
3b21d0991eff documentation Claus Gittinger <cg@exept.de> parents: 261 diff changeset	53	Claus Gittinger
20 f8dd8ba75205 * empty log message * claus parents: 19 diff changeset	54	"
f8dd8ba75205 * empty log message * claus parents: 19 diff changeset	55	! !
0 7ad01559b262 Initial revision claus parents: diff changeset	56
366 3be89590df22 checkin from browser Claus Gittinger <cg@exept.de> parents: 333 diff changeset	57	!BlockNode class methodsFor:'instance creation'!
0 7ad01559b262 Initial revision claus parents: diff changeset	58
3602 db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	59	arguments:argList home:homeBlock
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	60	\|newBlock\|
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	61
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	62	newBlock := (self basicNew) setArguments:argList home:homeBlock.
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	63	homeBlock notNil ifTrue:[
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	64	homeBlock rememberSubBlock:newBlock
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	65	].
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	66	^ newBlock
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	67
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	68	"Modified: 28.6.1997 / 15:14:45 / cg"
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	69	!
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	70
569 88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	71	arguments:argList home:homeBlock variables:vars
88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	72	\|newBlock\|
88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	73
3602 db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	74	newBlock := self arguments:argList home:homeBlock.
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	75	newBlock variables:vars.
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	76	^ newBlock
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	77	!
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	78
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	79	home:homeBlock
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	80	\|newBlock\|
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	81
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	82	newBlock := (self basicNew) setHome:homeBlock.
569 88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	83	homeBlock notNil ifTrue:[
88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	84	homeBlock rememberSubBlock:newBlock
88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	85	].
88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	86	^ newBlock
88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	87
88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	88	"Modified: 28.6.1997 / 15:14:45 / cg"
2750 b6e4ba4a4410 added: #withExpression:in: Claus Gittinger <cg@exept.de> parents: 2749 diff changeset	89	!
b6e4ba4a4410 added: #withExpression:in: Claus Gittinger <cg@exept.de> parents: 2749 diff changeset	90
b6e4ba4a4410 added: #withExpression:in: Claus Gittinger <cg@exept.de> parents: 2749 diff changeset	91	withExpression:exprNode in:home
b6e4ba4a4410 added: #withExpression:in: Claus Gittinger <cg@exept.de> parents: 2749 diff changeset	92	"a utility function for code generators"
b6e4ba4a4410 added: #withExpression:in: Claus Gittinger <cg@exept.de> parents: 2749 diff changeset	93
b6e4ba4a4410 added: #withExpression:in: Claus Gittinger <cg@exept.de> parents: 2749 diff changeset	94	^ (self arguments:#() home:home variables:#())
b6e4ba4a4410 added: #withExpression:in: Claus Gittinger <cg@exept.de> parents: 2749 diff changeset	95	statements:(StatementNode new expression:exprNode)
b6e4ba4a4410 added: #withExpression:in: Claus Gittinger <cg@exept.de> parents: 2749 diff changeset	96
b6e4ba4a4410 added: #withExpression:in: Claus Gittinger <cg@exept.de> parents: 2749 diff changeset	97	"Created: / 25-10-2011 / 17:44:05 / cg"
0 7ad01559b262 Initial revision claus parents: diff changeset	98	! !
7ad01559b262 Initial revision claus parents: diff changeset	99
7ad01559b262 Initial revision claus parents: diff changeset	100	!BlockNode methodsFor:'accessing'!
7ad01559b262 Initial revision claus parents: diff changeset	101
574 993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	102	accessedOuterBlockVars
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	103	"return a collection of outer blockVars/args which are accessed
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	104	in this block"
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	105
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	106	^ accessedOuterBlockVars ? #()
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	107
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	108	"Modified: 18.6.1997 / 12:06:31 / cg"
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	109	"Created: 2.7.1997 / 17:29:56 / cg"
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	110	!
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	111
0 7ad01559b262 Initial revision claus parents: diff changeset	112	arguments
7ad01559b262 Initial revision claus parents: diff changeset	113	^ blockArgs
7ad01559b262 Initial revision claus parents: diff changeset	114	!
7ad01559b262 Initial revision claus parents: diff changeset	115
26 ce78d7693c78 argument count errors now raise signals claus parents: 20 diff changeset	116	arguments:argList
ce78d7693c78 argument count errors now raise signals claus parents: 20 diff changeset	117	blockArgs := argList
ce78d7693c78 argument count errors now raise signals claus parents: 20 diff changeset	118	!
ce78d7693c78 argument count errors now raise signals claus parents: 20 diff changeset	119
534 a500bebd5d7e checkin from browser Claus Gittinger <cg@exept.de> parents: 522 diff changeset	120	blockArgAccessed
a500bebd5d7e checkin from browser Claus Gittinger <cg@exept.de> parents: 522 diff changeset	121	"return true if any block argument is accessed in the block"
a500bebd5d7e checkin from browser Claus Gittinger <cg@exept.de> parents: 522 diff changeset	122
a500bebd5d7e checkin from browser Claus Gittinger <cg@exept.de> parents: 522 diff changeset	123	^ blockArgAccessedInBlock ? false
a500bebd5d7e checkin from browser Claus Gittinger <cg@exept.de> parents: 522 diff changeset	124
a500bebd5d7e checkin from browser Claus Gittinger <cg@exept.de> parents: 522 diff changeset	125	"Modified: 18.6.1997 / 12:06:31 / cg"
a500bebd5d7e checkin from browser Claus Gittinger <cg@exept.de> parents: 522 diff changeset	126	!
a500bebd5d7e checkin from browser Claus Gittinger <cg@exept.de> parents: 522 diff changeset	127
a500bebd5d7e checkin from browser Claus Gittinger <cg@exept.de> parents: 522 diff changeset	128	blockArgAccessed:aBoolen
a500bebd5d7e checkin from browser Claus Gittinger <cg@exept.de> parents: 522 diff changeset	129	"set/clear the flag stating if any block argument is accessed in the block"
a500bebd5d7e checkin from browser Claus Gittinger <cg@exept.de> parents: 522 diff changeset	130
a500bebd5d7e checkin from browser Claus Gittinger <cg@exept.de> parents: 522 diff changeset	131	blockArgAccessedInBlock := aBoolen
a500bebd5d7e checkin from browser Claus Gittinger <cg@exept.de> parents: 522 diff changeset	132
a500bebd5d7e checkin from browser Claus Gittinger <cg@exept.de> parents: 522 diff changeset	133	"Created: 18.6.1997 / 11:35:00 / cg"
a500bebd5d7e checkin from browser Claus Gittinger <cg@exept.de> parents: 522 diff changeset	134	"Modified: 18.6.1997 / 12:06:43 / cg"
a500bebd5d7e checkin from browser Claus Gittinger <cg@exept.de> parents: 522 diff changeset	135	!
a500bebd5d7e checkin from browser Claus Gittinger <cg@exept.de> parents: 522 diff changeset	136
2501 ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	137	charEndIndex
ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	138	^ charEndIndex
ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	139	!
ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	140
ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	141	charEndIndex:something
ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	142	charEndIndex := something.
ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	143	!
ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	144
ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	145	charStartIndex
ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	146	^ charStartIndex
ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	147	!
ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	148
ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	149	charStartIndex:something
ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	150	charStartIndex := something.
ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	151	!
ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	152
394 728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	153	endLineNumber
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	154	^ endLineNr
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	155
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	156	"Created: 23.10.1996 / 15:51:32 / cg"
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	157	!
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	158
379 24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	159	endLineNumber:aNumber
24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	160	endLineNr := aNumber
24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	161
24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	162	"Created: 21.10.1996 / 14:17:57 / cg"
24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	163	!
24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	164
2501 ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	165	endPointIndex
ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	166	^ endPointIndex
2129 80db340ccce5 warn about useless blocks Claus Gittinger <cg@exept.de> parents: 2105 diff changeset	167	!
80db340ccce5 warn about useless blocks Claus Gittinger <cg@exept.de> parents: 2105 diff changeset	168
2501 ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	169	endPointIndex:something
ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	170	endPointIndex := something.
2129 80db340ccce5 warn about useless blocks Claus Gittinger <cg@exept.de> parents: 2105 diff changeset	171	!
80db340ccce5 warn about useless blocks Claus Gittinger <cg@exept.de> parents: 2105 diff changeset	172
3340 82d1e417e818 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3272 diff changeset	173	firstStatement
82d1e417e818 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3272 diff changeset	174	statements isNil ifTrue:[^ nil].
82d1e417e818 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3272 diff changeset	175	^ statements "sigh - its a linked list"
82d1e417e818 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3272 diff changeset	176	!
82d1e417e818 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3272 diff changeset	177
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	178	home
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	179	^ home
0 7ad01559b262 Initial revision claus parents: diff changeset	180	!
7ad01559b262 Initial revision claus parents: diff changeset	181
7ad01559b262 Initial revision claus parents: diff changeset	182	home:aBlock
7ad01559b262 Initial revision claus parents: diff changeset	183	home := aBlock
7ad01559b262 Initial revision claus parents: diff changeset	184	!
7ad01559b262 Initial revision claus parents: diff changeset	185
559 42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	186	indexOfFirstTemp:index
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	187	indexOfFirstTemp := index
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	188
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	189	"Created: 25.6.1997 / 17:24:27 / cg"
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	190	!
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	191
555 987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	192	inlineBlock:aBoolean
987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	193	inlineBlock := aBoolean
0 7ad01559b262 Initial revision claus parents: diff changeset	194	!
7ad01559b262 Initial revision claus parents: diff changeset	195
2354 72d9a36f1a88 ínvokation -> invocation Claus Gittinger <cg@exept.de> parents: 2325 diff changeset	196	invocationSelector
72d9a36f1a88 ínvokation -> invocation Claus Gittinger <cg@exept.de> parents: 2325 diff changeset	197	"the selector, by which this block is invoked"
72d9a36f1a88 ínvokation -> invocation Claus Gittinger <cg@exept.de> parents: 2325 diff changeset	198
72d9a36f1a88 ínvokation -> invocation Claus Gittinger <cg@exept.de> parents: 2325 diff changeset	199	^ invocationSelector
677 14997f5d177a * empty log message * Claus Gittinger <cg@exept.de> parents: 593 diff changeset	200
2354 72d9a36f1a88 ínvokation -> invocation Claus Gittinger <cg@exept.de> parents: 2325 diff changeset	201	"Created: / 27-04-2010 / 11:56:22 / cg"
72d9a36f1a88 ínvokation -> invocation Claus Gittinger <cg@exept.de> parents: 2325 diff changeset	202	!
677 14997f5d177a * empty log message * Claus Gittinger <cg@exept.de> parents: 593 diff changeset	203
2354 72d9a36f1a88 ínvokation -> invocation Claus Gittinger <cg@exept.de> parents: 2325 diff changeset	204	invokationSelector
72d9a36f1a88 ínvokation -> invocation Claus Gittinger <cg@exept.de> parents: 2325 diff changeset	205	<resource: #obsolete>
72d9a36f1a88 ínvokation -> invocation Claus Gittinger <cg@exept.de> parents: 2325 diff changeset	206	^ invocationSelector
72d9a36f1a88 ínvokation -> invocation Claus Gittinger <cg@exept.de> parents: 2325 diff changeset	207
72d9a36f1a88 ínvokation -> invocation Claus Gittinger <cg@exept.de> parents: 2325 diff changeset	208	"Created: / 02-04-1998 / 15:00:06 / cg"
72d9a36f1a88 ínvokation -> invocation Claus Gittinger <cg@exept.de> parents: 2325 diff changeset	209	"Modified: / 27-04-2010 / 11:56:44 / cg"
677 14997f5d177a * empty log message * Claus Gittinger <cg@exept.de> parents: 593 diff changeset	210	!
14997f5d177a * empty log message * Claus Gittinger <cg@exept.de> parents: 593 diff changeset	211
555 987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	212	isInlineBlock
2749 6c9702c9ddc8 changed: Claus Gittinger <cg@exept.de> parents: 2596 diff changeset	213	^ (inlineBlock == true)
555 987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	214
2749 6c9702c9ddc8 changed: Claus Gittinger <cg@exept.de> parents: 2596 diff changeset	215	"Created: / 25-06-1997 / 14:11:33 / cg"
0 7ad01559b262 Initial revision claus parents: diff changeset	216	!
7ad01559b262 Initial revision claus parents: diff changeset	217
3340 82d1e417e818 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3272 diff changeset	218	lastStatement
82d1e417e818 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3272 diff changeset	219	statements isNil ifTrue:[^ nil].
82d1e417e818 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3272 diff changeset	220	^ statements last "sigh - its a linked list"
82d1e417e818 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3272 diff changeset	221	!
82d1e417e818 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3272 diff changeset	222
394 728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	223	lineNumber
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	224	^ lineNr
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	225
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	226	"Created: 23.10.1996 / 15:51:50 / cg"
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	227	!
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	228
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	229	lineNumber:aNumber
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	230	lineNr := aNumber
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	231	!
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	232
1505 e9b4b835bc21 +lineNumberOfFirstMessage Claus Gittinger <cg@exept.de> parents: 1415 diff changeset	233	lineNumberOfFirstMessage
e9b4b835bc21 +lineNumberOfFirstMessage Claus Gittinger <cg@exept.de> parents: 1415 diff changeset	234	^ statements lineNumberOfFirstMessage
e9b4b835bc21 +lineNumberOfFirstMessage Claus Gittinger <cg@exept.de> parents: 1415 diff changeset	235
e9b4b835bc21 +lineNumberOfFirstMessage Claus Gittinger <cg@exept.de> parents: 1415 diff changeset	236	"Created: 23.10.1996 / 15:51:50 / cg"
e9b4b835bc21 +lineNumberOfFirstMessage Claus Gittinger <cg@exept.de> parents: 1415 diff changeset	237	!
e9b4b835bc21 +lineNumberOfFirstMessage Claus Gittinger <cg@exept.de> parents: 1415 diff changeset	238
4654 f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	239	method
f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	240	"Return top-level MethodNode (or nil, if not hooked
f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	241	under MethodNode, i.e., if top-level node is free-standing"
f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	242
f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	243	\| top \|
f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	244
f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	245	top := self.
f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	246	[ top parent notNil ] whileTrue:[ top := top parent ].
f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	247	^ top isMethodNode ifTrue:[ top ] ifFalse: [ nil ]
f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	248
f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	249	"Created: / 09-06-2020 / 14:28:00 / Jan Vrany <jan.vrany@labware.com>"
f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	250	!
f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	251
0 7ad01559b262 Initial revision claus parents: diff changeset	252	needsHome
7ad01559b262 Initial revision claus parents: diff changeset	253	^ needsHome
7ad01559b262 Initial revision claus parents: diff changeset	254	!
7ad01559b262 Initial revision claus parents: diff changeset	255
7ad01559b262 Initial revision claus parents: diff changeset	256	needsHome:aBoolean
7ad01559b262 Initial revision claus parents: diff changeset	257	needsHome := aBoolean
6 0cd4e7480440 * empty log message * claus parents: 4 diff changeset	258	!
0cd4e7480440 * empty log message * claus parents: 4 diff changeset	259
2056 6774a7489f03 * empty log message * Claus Gittinger <cg@exept.de> parents: 1933 diff changeset	260	nestingLevel
6774a7489f03 * empty log message * Claus Gittinger <cg@exept.de> parents: 1933 diff changeset	261	^ home isNil ifTrue:[ 0 ] ifFalse:[ home nestingLevel + 1]
6774a7489f03 * empty log message * Claus Gittinger <cg@exept.de> parents: 1933 diff changeset	262
6774a7489f03 * empty log message * Claus Gittinger <cg@exept.de> parents: 1933 diff changeset	263	"Created: / 15-01-2008 / 11:54:57 / cg"
6774a7489f03 * empty log message * Claus Gittinger <cg@exept.de> parents: 1933 diff changeset	264	!
6774a7489f03 * empty log message * Claus Gittinger <cg@exept.de> parents: 1933 diff changeset	265
574 993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	266	possiblyInlined:aBoolean
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	267	possiblyInlined := aBoolean
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	268
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	269	"Created: 2.7.1997 / 11:32:00 / cg"
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	270	!
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	271
677 14997f5d177a * empty log message * Claus Gittinger <cg@exept.de> parents: 593 diff changeset	272	possiblyInlined:aBoolean withSelector:selector
14997f5d177a * empty log message * Claus Gittinger <cg@exept.de> parents: 593 diff changeset	273	possiblyInlined := aBoolean.
2354 72d9a36f1a88 ínvokation -> invocation Claus Gittinger <cg@exept.de> parents: 2325 diff changeset	274	invocationSelector := selector.
677 14997f5d177a * empty log message * Claus Gittinger <cg@exept.de> parents: 593 diff changeset	275
2354 72d9a36f1a88 ínvokation -> invocation Claus Gittinger <cg@exept.de> parents: 2325 diff changeset	276	"Created: / 02-04-1998 / 19:07:53 / cg"
72d9a36f1a88 ínvokation -> invocation Claus Gittinger <cg@exept.de> parents: 2325 diff changeset	277	"Modified: / 27-04-2010 / 11:56:51 / cg"
677 14997f5d177a * empty log message * Claus Gittinger <cg@exept.de> parents: 593 diff changeset	278	!
14997f5d177a * empty log message * Claus Gittinger <cg@exept.de> parents: 593 diff changeset	279
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	280	statements
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	281	^ statements
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	282	!
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	283
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	284	statements:s
2596 bb8c6fe79ce8 - added acceptVisior: Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2501 diff changeset	285
bb8c6fe79ce8 - added acceptVisior: Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2501 diff changeset	286	statements notNil ifTrue:[statements parent: nil].
bb8c6fe79ce8 - added acceptVisior: Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2501 diff changeset	287	statements := s.
bb8c6fe79ce8 - added acceptVisior: Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2501 diff changeset	288	statements notNil ifTrue:[statements parent: self].
bb8c6fe79ce8 - added acceptVisior: Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2501 diff changeset	289
bb8c6fe79ce8 - added acceptVisior: Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2501 diff changeset	290	"Modified: / 20-07-2011 / 19:49:58 / Jan Vrany <jan.vrany@fit.cvut.cz>"
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	291	!
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	292
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	293	variables
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	294	^ blockVars
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	295	!
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	296
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	297	variables:varList
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	298	blockVars := varList
3270 36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	299	!
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	300
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	301	variablesIncludingInlined: forStcCompiledCode
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	302	"Returns all my local variables including those of block inlined into
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	303	the receiver. If `forStcCompiledCode` is true then assume
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	304	the code is compiled by stc, otherwise assume the code is
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	305	compiled by bytecode compiler"
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	306
3690 939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	307	\| myBlocks myInlinedBlocks \|
3270 36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	308
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	309	myBlocks := OrderedCollection new.
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	310	self collectBlocksInto: myBlocks.
3690 939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	311	myInlinedBlocks := myBlocks select:[:block \| block isInlinedInto: self assumeStcCompiled: forStcCompiledCode. ].
939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	312	^ myInlinedBlocks notEmpty ifTrue:[
3270 36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	313	OrderedCollection streamContents:[:s\|
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	314	s nextPutAll: blockVars ? #().
3690 939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	315	myInlinedBlocks do:[:block \|
939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	316	s nextPutAll: block arguments ? #().
939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	317	s nextPutAll: block variables ? #()
939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	318	].
3270 36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	319	]
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	320	] ifFalse:[
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	321	blockVars
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	322	].
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	323
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	324	"Created: / 19-08-2013 / 11:37:29 / Jan Vrany <jan.vrany@fit.cvut.cz>"
3690 939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	325	"Modified: / 22-12-2015 / 12:51:08 / Jan Vrany <jan.vrany@fit.cvut.cz>"
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	326	! !
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	327
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	328	!BlockNode methodsFor:'block messages'!
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	329
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	330	doesNotUnderstand:aMessage
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	331	\|numArgs kludgeBlock\|
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	332
1251 e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	333	(Block includesSelector:(aMessage selector)) ifTrue:[
3893 620475e6df71 #REFACTORING by stefan Stefan Vogel <sv@exept.de> parents: 3602 diff changeset	334	"/ mhmh - a message which I don't understand, but Block implements
1251 e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	335	"/ send it to a kludgeblock, which will evaluate me again ..."
212 ff39051e219f more constant folding options Claus Gittinger <cg@exept.de> parents: 199 diff changeset	336
1251 e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	337	numArgs := blockArgs size.
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	338	numArgs == 0 ifTrue:[
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	339	kludgeBlock := [self value]
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	340	] ifFalse:[
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	341	numArgs == 1 ifTrue:[
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	342	kludgeBlock := [:a1 \| self value:a1].
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	343	] ifFalse:[
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	344	numArgs == 2 ifTrue:[
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	345	kludgeBlock := [:a1 :a2 \| self value:a1 value:a2].
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	346	] ifFalse:[
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	347	numArgs == 3 ifTrue:[
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	348	kludgeBlock := [:a1 :a2 :a3\| self value:a1 value:a2 value:a3].
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	349	] ifFalse:[
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	350	numArgs == 4 ifTrue:[
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	351	kludgeBlock := [:a1 :a2 :a3 :a4\| self value:a1 value:a2 value:a3 value:a4].
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	352	] ifFalse:[
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	353	^ self error:'only support blocks with up-to 4 args'
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	354	]
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	355	]
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	356	]
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	357	]
e5d27409e4f2 implements -> includesSelector Claus Gittinger <cg@exept.de> parents: 1135 diff changeset	358	].
3893 620475e6df71 #REFACTORING by stefan Stefan Vogel <sv@exept.de> parents: 3602 diff changeset	359	^ aMessage sendTo:kludgeBlock.
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	360	].
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	361	^ super doesNotUnderstand:aMessage
0 7ad01559b262 Initial revision claus parents: diff changeset	362	! !
7ad01559b262 Initial revision claus parents: diff changeset	363
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	364	!BlockNode methodsFor:'code generation'!
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	365
1401 d9a2949c6229 Fix typos Stefan Vogel <sv@exept.de> parents: 1390 diff changeset	366	checkForSimpleBlockCodeOn:aStream for:aCompiler
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	367	"simple things can be made cheap blocks right now -
1305 0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	368	resulting in a simple pushLit instruction ...
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	369	Return:
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	370	true -- bytecodes are on aStream
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	371	aParseNode -- Parsenode creating the cheap block
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	372	nil -- cheap block not possible
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	373	"
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	374
4166 107243939f2b #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4161 diff changeset	375	<ignore: RBReturnsBooleanAndOtherRule rationale: 'done by purpose' author: 'cg'>
107243939f2b #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4161 diff changeset	376
1401 d9a2949c6229 Fix typos Stefan Vogel <sv@exept.de> parents: 1390 diff changeset	377	\|cheapy val isConstRet singleInsn code stackSize\|
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	378
932 3602977c943e checkin from browser Claus Gittinger <cg@exept.de> parents: 855 diff changeset	379	isConstRet := false.
1305 0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	380
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	381	statements isNil ifTrue:[
4074 504a5c28e9be #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4073 diff changeset	382	self argumentCount == 0 ifTrue:[
1305 0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	383	"a []-block"
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	384	aStream nextPut:#mkNilBlock.
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	385	^ true.
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	386	].
932 3602977c943e checkin from browser Claus Gittinger <cg@exept.de> parents: 855 diff changeset	387	val := nil.
3602977c943e checkin from browser Claus Gittinger <cg@exept.de> parents: 855 diff changeset	388	isConstRet := true.
4074 504a5c28e9be #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4073 diff changeset	389	] ifFalse:[
504a5c28e9be #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4073 diff changeset	390	statements isConstant ifTrue:[
504a5c28e9be #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4073 diff changeset	391	val := statements expression value.
4556 07a781ae80ba #REFACTORING by exept Claus Gittinger <cg@exept.de> parents: 4510 diff changeset	392	self argumentCount == 0 ifTrue:[
4074 504a5c28e9be #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4073 diff changeset	393	val == 0 ifTrue:[
504a5c28e9be #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4073 diff changeset	394	aStream nextPut:#mk0Block.
504a5c28e9be #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4073 diff changeset	395	^ true.
504a5c28e9be #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4073 diff changeset	396	].
504a5c28e9be #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4073 diff changeset	397	val isNil ifTrue:[
504a5c28e9be #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4073 diff changeset	398	aStream nextPut:#mkNilBlock.
504a5c28e9be #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4073 diff changeset	399	^ true.
504a5c28e9be #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4073 diff changeset	400	].
504a5c28e9be #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4073 diff changeset	401	].
504a5c28e9be #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4073 diff changeset	402	isConstRet := true.
504a5c28e9be #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4073 diff changeset	403	]
504a5c28e9be #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4073 diff changeset	404	].
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	405
932 3602977c943e checkin from browser Claus Gittinger <cg@exept.de> parents: 855 diff changeset	406	isConstRet ifTrue:[
3602977c943e checkin from browser Claus Gittinger <cg@exept.de> parents: 855 diff changeset	407	stackSize := 0.
506 3dc049d3a2d7 care for stackSize when creating blocks. Claus Gittinger <cg@exept.de> parents: 458 diff changeset	408
1305 0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	409	(val isInteger and:[val between:-128 and:127]) ifTrue:[
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	410	"a [-128..127]-block"
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	411	val < 0 ifTrue:[val := val + 256].
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	412	code := ByteArray with:(ByteCodeCompiler byteCodeFor:#retNum)
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	413	with:val.
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	414	] ifFalse:[val == true ifTrue:[
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	415	"a [true]-block"
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	416	singleInsn := #retTrue
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	417	] ifFalse:[val == false ifTrue:[
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	418	"a [false]-block"
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	419	singleInsn := #retFalse
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	420	] ifFalse:[val isNil ifTrue:[
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	421	"a [nil]-block"
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	422	singleInsn := #retNil
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	423	]]]].
932 3602977c943e checkin from browser Claus Gittinger <cg@exept.de> parents: 855 diff changeset	424	singleInsn notNil ifTrue:[
3602977c943e checkin from browser Claus Gittinger <cg@exept.de> parents: 855 diff changeset	425	code := ByteArray with:(ByteCodeCompiler byteCodeFor:singleInsn).
3602977c943e checkin from browser Claus Gittinger <cg@exept.de> parents: 855 diff changeset	426	].
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	427	].
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	428
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	429	code notNil ifTrue:[
379 24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	430	cheapy := CheapBlock
366 3be89590df22 checkin from browser Claus Gittinger <cg@exept.de> parents: 333 diff changeset	431	byteCode:code
3be89590df22 checkin from browser Claus Gittinger <cg@exept.de> parents: 333 diff changeset	432	numArgs:(blockArgs size)
1135 7708c6a185a2 must ensure that nArgs and nVar flag setting is correct Claus Gittinger <cg@exept.de> parents: 1079 diff changeset	433	numVars:0
506 3dc049d3a2d7 care for stackSize when creating blocks. Claus Gittinger <cg@exept.de> parents: 458 diff changeset	434	numStack:stackSize
3646 0db7ccc50da9 Block source position support [2/2]: Pre-set sourcePosition for CheapBlock. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3645 diff changeset	435	sourcePosition:startPosition
366 3be89590df22 checkin from browser Claus Gittinger <cg@exept.de> parents: 333 diff changeset	436	initialPC:nil
3be89590df22 checkin from browser Claus Gittinger <cg@exept.de> parents: 333 diff changeset	437	literals:nil.
1305 0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	438	^ ConstantNode type:#Block value:cheapy.
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	439	].
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	440
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	441	^ nil
366 3be89590df22 checkin from browser Claus Gittinger <cg@exept.de> parents: 333 diff changeset	442
4166 107243939f2b #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4161 diff changeset	443	"Modified: / 16-07-2017 / 13:30:41 / cg"
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	444	!
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	445
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	446	codeForSideEffectOn:aStream inBlock:b for:aCompiler
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	447	"generate code for this statement - value not needed.
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	448	For blocks, no code is generated at all."
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	449
2129 80db340ccce5 warn about useless blocks Claus Gittinger <cg@exept.de> parents: 2105 diff changeset	450	aCompiler
2130 59eafbe274b8 warn about useless blocks Claus Gittinger <cg@exept.de> parents: 2129 diff changeset	451	warning:(statements isNil
59eafbe274b8 warn about useless blocks Claus Gittinger <cg@exept.de> parents: 2129 diff changeset	452	ifTrue:[ 'useless empty block.' ]
59eafbe274b8 warn about useless blocks Claus Gittinger <cg@exept.de> parents: 2129 diff changeset	453	ifFalse:[ 'useless block - the statement(s) inside will not be evaluated.' ])
2129 80db340ccce5 warn about useless blocks Claus Gittinger <cg@exept.de> parents: 2105 diff changeset	454	position:startPosition to:endPosition.
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	455	^ self
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	456	!
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	457
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	458	codeInlineOn:aStream inBlock:b for:aCompiler
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	459	self codeInlineOn:aStream inBlock:b valueNeeded:true for:aCompiler
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	460	!
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	461
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	462	codeInlineOn:aStream inBlock:b valueNeeded:valueNeeded for:aCompiler
588 9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	463	\|thisStatement nextStatement tmpIndex firstTempIndex codeBlock subAccess\|
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	464
4659 6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	465	"/ mark the node that is HAS been inlined:
6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	466	inlined := true.
6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	467
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	468	blockVars notNil ifTrue:[
559 42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	469	"/ have to move blockvars into surrounding context
0 7ad01559b262 Initial revision claus parents: diff changeset	470
559 42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	471	"/ find the first non-inlined block
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	472	codeBlock := b.
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	473	[codeBlock notNil and:[codeBlock isInlineBlock]] whileTrue:[
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	474	codeBlock := codeBlock home.
553 59e4fcf722f6 checkin from browser Claus Gittinger <cg@exept.de> parents: 544 diff changeset	475	].
59e4fcf722f6 checkin from browser Claus Gittinger <cg@exept.de> parents: 544 diff changeset	476
559 42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	477	blockVars do:[:aBlockVar \|
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	478	codeBlock isNil ifTrue:[
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	479	"/ in method - add more temps to the method
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	480	tmpIndex := aCompiler addTempVar.
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	481	] ifFalse:[
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	482	"/ in another block - add more temps to the block
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	483	tmpIndex := codeBlock addTempVar
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	484	].
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	485
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	486	firstTempIndex isNil ifTrue:[
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	487	firstTempIndex := tmpIndex.
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	488	indexOfFirstTemp isNil ifTrue:[
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	489	indexOfFirstTemp := tmpIndex
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	490	].
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	491	].
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	492
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	493	"/ block vars must be nilled
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	494	"/ (in case the previous block left some value there).
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	495	"/ This nilling should be optimized away, if
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	496	"/ the variable gets a value assigned before the first send.
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	497
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	498	aStream nextPut:#pushNil.
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	499	codeBlock isNil ifTrue:[
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	500	"/ in method
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	501	(tmpIndex <= 6) ifTrue:[
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	502	aStream nextPut:(#(storeMethodVar1 storeMethodVar2
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	503	storeMethodVar3 storeMethodVar4
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	504	storeMethodVar5 storeMethodVar6) at:tmpIndex).
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	505	] ifFalse:[
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	506	aStream nextPut:#storeMethodVar; nextPut:tmpIndex.
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	507	]
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	508	] ifFalse:[
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	509	"/ in another block
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	510	aStream nextPut:#storeBlockVar; nextPut:tmpIndex.
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	511	]
379 24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	512	].
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	513	].
379 24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	514
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	515	inlineBlock := true.
555 987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	516
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	517	statements isNil ifTrue:[
379 24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	518	valueNeeded ifTrue:[
24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	519	aStream nextPut:#pushNil
24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	520	]
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	521	] ifFalse:[
379 24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	522	thisStatement := statements.
24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	523	[thisStatement notNil] whileTrue:[
24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	524	nextStatement := thisStatement nextStatement.
24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	525	(nextStatement notNil or:[valueNeeded not]) ifTrue:[
24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	526	thisStatement codeForSideEffectOn:aStream inBlock:b for:aCompiler
24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	527	] ifFalse:[
24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	528	thisStatement codeOn:aStream inBlock:b for:aCompiler
24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	529	].
24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	530	thisStatement := nextStatement
24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	531	]
24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	532	].
559 42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	533
386 2f66de89a89b * empty log message * Claus Gittinger <cg@exept.de> parents: 379 diff changeset	534	"/ endLineNr notNil ifTrue:[
2f66de89a89b * empty log message * Claus Gittinger <cg@exept.de> parents: 379 diff changeset	535	"/ ParseNode codeLineNumber:endLineNr on:aStream for:aCompiler
2f66de89a89b * empty log message * Claus Gittinger <cg@exept.de> parents: 379 diff changeset	536	"/ ].
379 24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	537
559 42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	538	"/ pop off temps (blockVars).
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	539	"/ also, they are nilled to prevent any temp stuff
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	540	"/ from NOT being garbage collected.
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	541	"/ could optimize here, temps are reused soon.
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	542
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	543	blockVars notNil ifTrue:[
588 9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	544	"/ if any subblock refers to locals or args,
9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	545	"/ do not nil out ...
9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	546	subAccess := false.
9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	547	self allSubBlocksDo:[:aSubBlockNode \|
9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	548	aSubBlockNode accessedOuterBlockVars do:[:aVarNode \|
9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	549	\|b\|
9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	550
9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	551	aVarNode block == self ifTrue:[
9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	552	subAccess := true
9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	553	]
9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	554	]
9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	555	].
9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	556	subAccess ifFalse:[
9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	557	tmpIndex := firstTempIndex.
9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	558
559 42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	559	blockVars do:[:dummy \|
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	560	aStream nextPut:#pushNil.
588 9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	561	codeBlock isNil ifTrue:[
9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	562	aStream nextPut:#storeMethodVar; nextPut:tmpIndex.
593 41a1c4554d83 oops - nilling of inlined subBlock vars ... Claus Gittinger <cg@exept.de> parents: 588 diff changeset	563	aCompiler removeTempVar.
588 9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	564	] ifFalse:[
9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	565	aStream nextPut:#storeBlockVar; nextPut:tmpIndex.
593 41a1c4554d83 oops - nilling of inlined subBlock vars ... Claus Gittinger <cg@exept.de> parents: 588 diff changeset	566	codeBlock removeTempVar.
588 9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	567	].
9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	568	tmpIndex := tmpIndex + 1.
9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	569	].
9e710a82c9d6 oops - do not nil out moved block locals if subblocks ca parents: 585 diff changeset	570	].
559 42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	571	].
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	572
4659 6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	573	"Modified: / 30-07-1997 / 12:21:07 / cg"
6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	574	"Modified: / 03-02-2021 / 08:51:32 / Jan Vrany <jan.vrany@labware.com>"
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	575	!
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	576
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	577	codeOn:aStream inBlock:b for:aCompiler
1305 0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	578	\|thisStatement nextStatement lastStatement pos code cheapy\|
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	579
1401 d9a2949c6229 Fix typos Stefan Vogel <sv@exept.de> parents: 1390 diff changeset	580	cheapy := self checkForSimpleBlockCodeOn:aStream for:aCompiler.
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	581	cheapy notNil ifTrue:[
1305 0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	582	"if result == true - code is already on aStream"
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	583	cheapy ~~ true ifTrue:[
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	584	cheapy codeOn:aStream inBlock:b for:aCompiler.
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	585	].
333 96bb5c3dab61 added query if blocks statementList ends in a return; Claus Gittinger <cg@exept.de> parents: 278 diff changeset	586	^ self
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	587	].
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	588
1305 0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	589	"cheap block detection filters out blocks with no statements"
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	590
3650 a1ee22ea4ec2 Fix for stx:libjavascript: do not emit sourcepos pseudo-insn for JavaScript code. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3646 diff changeset	591	"/ Do not encode source position if not available.
a1ee22ea4ec2 Fix for stx:libjavascript: do not emit sourcepos pseudo-insn for JavaScript code. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3646 diff changeset	592	"/ Note, that JavaScriptCompiler has no sourceposX pseudo instruction
a1ee22ea4ec2 Fix for stx:libjavascript: do not emit sourcepos pseudo-insn for JavaScript code. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3646 diff changeset	593	"/ support, so in this case, do not emit it.
3841 a22f33410bdf Reduced dependencies Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3690 diff changeset	594	(startPosition notNil and:[ (aCompiler isKindOf: (Smalltalk at:#JavaScriptCompiler)) not]) ifTrue:[
3645 695fc26d7207 Block source position support [1/2]: generate SOURCEPOS pseudoinstruction before each MAKE_BLOCK insn Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3602 diff changeset	595	self codeSourcePosition: startPosition on: aStream for: aCompiler.
695fc26d7207 Block source position support [1/2]: generate SOURCEPOS pseudoinstruction before each MAKE_BLOCK insn Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3602 diff changeset	596	].
695fc26d7207 Block source position support [1/2]: generate SOURCEPOS pseudoinstruction before each MAKE_BLOCK insn Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3602 diff changeset	597
4659 6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	598	"/ mark the node that is has NOT been inlined:
6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	599	inlined := false.
6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	600
3265 2f6ea513a1d6 class: BlockNode Stefan Vogel <sv@exept.de> parents: 3262 diff changeset	601	pos := aStream position.
62 a8e1828867a8 * empty log message * claus parents: 52 diff changeset	602
555 987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	603	aStream nextPut:#makeBlock. "+0"
3645 695fc26d7207 Block source position support [1/2]: generate SOURCEPOS pseudoinstruction before each MAKE_BLOCK insn Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3602 diff changeset	604	aStream nextPut:0."/block's bytecode end index,patched later"+1"
1723 14d491cb67b8 JavaScript support Claus Gittinger <cg@exept.de> parents: 1579 diff changeset	605	aStream nextPut:(blockVars size + (maxNumTemp?0)). "+2"
555 987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	606	aStream nextPut:(blockArgs size). "+3"
987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	607	"+4"
1305 0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	608	thisStatement := statements.
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	609	[thisStatement notNil] whileTrue:[
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	610	nextStatement := thisStatement nextStatement.
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	611	nextStatement notNil ifTrue:[
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	612	thisStatement codeForSideEffectOn:aStream inBlock:self for:aCompiler
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	613	] ifFalse:[
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	614	lastStatement := thisStatement
379 24399d5c465c optionally mark the blocks-end with a lineNr. Claus Gittinger <cg@exept.de> parents: 366 diff changeset	615	].
1305 0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	616	thisStatement := nextStatement
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	617	].
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	618
1305 0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	619	lastStatement
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	620	codeForSimpleReturnOn:aStream
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	621	inBlock:self
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	622	lineNumber:endLineNr
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	623	for:aCompiler.
0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	624
3262 530a41d49ecb class: BlockNode Stefan Vogel <sv@exept.de> parents: 3182 diff changeset	625	code := aStream contents.
562 36bd00734940 care for numVars in makeBlock (inlined blocks add vars) Claus Gittinger <cg@exept.de> parents: 559 diff changeset	626
36bd00734940 care for numVars in makeBlock (inlined blocks add vars) Claus Gittinger <cg@exept.de> parents: 559 diff changeset	627	"/ sigh - during coding, inlined subBlocks may have added more
36bd00734940 care for numVars in makeBlock (inlined blocks add vars) Claus Gittinger <cg@exept.de> parents: 559 diff changeset	628	"/ tempVars; patch the nvar byte ...
36bd00734940 care for numVars in makeBlock (inlined blocks add vars) Claus Gittinger <cg@exept.de> parents: 559 diff changeset	629
3262 530a41d49ecb class: BlockNode Stefan Vogel <sv@exept.de> parents: 3182 diff changeset	630	code at:pos+3 put:(blockVars size + (maxNumTemp?0)).
562 36bd00734940 care for numVars in makeBlock (inlined blocks add vars) Claus Gittinger <cg@exept.de> parents: 559 diff changeset	631
1305 0b50f8e37109 Inline blocks optimized Stefan Vogel <sv@exept.de> parents: 1251 diff changeset	632	"set the end of the block's code"
3265 2f6ea513a1d6 class: BlockNode Stefan Vogel <sv@exept.de> parents: 3262 diff changeset	633	code at:pos+2 put:(aStream position + 1)
333 96bb5c3dab61 added query if blocks statementList ends in a return; Claus Gittinger <cg@exept.de> parents: 278 diff changeset	634
3645 695fc26d7207 Block source position support [1/2]: generate SOURCEPOS pseudoinstruction before each MAKE_BLOCK insn Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3602 diff changeset	635	"Modified: / 26-06-1997 / 10:48:56 / cg"
3841 a22f33410bdf Reduced dependencies Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3690 diff changeset	636	"Modified: / 05-05-2016 / 00:13:55 / Jan Vrany <jan.vrany@fit.cvut.cz>"
4659 6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	637	"Modified: / 03-02-2021 / 08:50:41 / Jan Vrany <jan.vrany@labware.com>"
555 987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	638	! !
987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	639
987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	640	!BlockNode methodsFor:'code generation helpers'!
987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	641
987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	642	addTempVar
987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	643	"add a temporary variable; return its position (1-based).
987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	644	Used when a block with args/locals is inlined."
987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	645
2749 6c9702c9ddc8 changed: Claus Gittinger <cg@exept.de> parents: 2596 diff changeset	646	(inlineBlock == true) ifTrue:[
1319 219af20a7c63 Use #error: insead of #halt. Stefan Vogel <sv@exept.de> parents: 1305 diff changeset	647	self error:'addTempVar to inlineBlock - should not happen'
585 9ad5bc18579d * empty log message * Claus Gittinger <cg@exept.de> parents: 584 diff changeset	648	].
559 42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	649
557 8202a13be88b preps to move vars of inlined blocks to outer context Claus Gittinger <cg@exept.de> parents: 555 diff changeset	650	numTemp isNil ifTrue:[numTemp := maxNumTemp := 0].
8202a13be88b preps to move vars of inlined blocks to outer context Claus Gittinger <cg@exept.de> parents: 555 diff changeset	651	numTemp := numTemp + 1.
8202a13be88b preps to move vars of inlined blocks to outer context Claus Gittinger <cg@exept.de> parents: 555 diff changeset	652	maxNumTemp := maxNumTemp max:numTemp.
559 42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	653	^ numTemp + self numVars
555 987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	654
2749 6c9702c9ddc8 changed: Claus Gittinger <cg@exept.de> parents: 2596 diff changeset	655	"Modified: / 25-10-2011 / 16:49:50 / cg"
555 987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	656	!
987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	657
987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	658	removeTempVar
987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	659	"remove a temporary variable"
987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	660
557 8202a13be88b preps to move vars of inlined blocks to outer context Claus Gittinger <cg@exept.de> parents: 555 diff changeset	661	numTemp := numTemp - 1.
555 987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	662
987b766b8b6e * empty log message * Claus Gittinger <cg@exept.de> parents: 553 diff changeset	663	"Created: 25.6.1997 / 14:04:20 / cg"
557 8202a13be88b preps to move vars of inlined blocks to outer context Claus Gittinger <cg@exept.de> parents: 555 diff changeset	664	"Modified: 25.6.1997 / 15:07:07 / cg"
0 7ad01559b262 Initial revision claus parents: diff changeset	665	! !
7ad01559b262 Initial revision claus parents: diff changeset	666
4384 aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	667	!BlockNode methodsFor:'debug info'!
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	668
4385 16741aa9dc2e DBG: refactor variable table to use new flat format Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4384 diff changeset	669	dbgVariablesInto:aDIVariableTable
4384 aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	670	"Add a variable table blocks describing this method's variables
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	671	and variables of all nested blocks into given `aDIVariableTable`"
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	672
4385 16741aa9dc2e DBG: refactor variable table to use new flat format Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4384 diff changeset	673	\| base physical \|
4384 aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	674
4659 6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	675	self isInlined ifTrue:[
4384 aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	676	\| h \|
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	677
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	678	base := self indexOfFirstTemp.
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	679	h := self.
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	680	[
4659 6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	681	h notNil and:[ h isInlined ]
4384 aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	682	] whileTrue:[ h := h home ].
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	683	h notNil ifTrue:[
4385 16741aa9dc2e DBG: refactor variable table to use new flat format Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4384 diff changeset	684	physical := h.
4384 aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	685	base := base + h numArgs.
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	686	] ifFalse:[
4654 f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	687	\| method \|
f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	688
4385 16741aa9dc2e DBG: refactor variable table to use new flat format Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4384 diff changeset	689	physical := nil.
4654 f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	690	method := self method.
f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	691	method notNil ifTrue:[
f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	692	base := base + method numArgs
f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	693	] ifFalse:[
f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	694	self breakPoint: #jv.
f001d36a3229 Fixed compiler to produce correct(ish) variable table Jan Vrany <jan.vrany@labware.com> parents: 4385 diff changeset	695	].
4384 aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	696	].
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	697	] ifFalse:[
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	698	base := 1.
4385 16741aa9dc2e DBG: refactor variable table to use new flat format Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4384 diff changeset	699	physical := self.
4384 aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	700	].
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	701	blockArgs ? #()
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	702	withIndexDo:[:arg :idx \|
4385 16741aa9dc2e DBG: refactor variable table to use new flat format Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4384 diff changeset	703	aDIVariableTable
4384 aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	704	addVariableNamed:arg name
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	705	isArgument:true
4385 16741aa9dc2e DBG: refactor variable table to use new flat format Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4384 diff changeset	706	offset:base + idx - 1
16741aa9dc2e DBG: refactor variable table to use new flat format Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4384 diff changeset	707	physicalBlock: physical
16741aa9dc2e DBG: refactor variable table to use new flat format Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4384 diff changeset	708	lexicalBlock: self
4384 aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	709	].
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	710	blockVars ? #()
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	711	withIndexDo:[:arg :idx \|
4385 16741aa9dc2e DBG: refactor variable table to use new flat format Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4384 diff changeset	712	aDIVariableTable
4384 aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	713	addVariableNamed:arg name
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	714	isArgument:false
4385 16741aa9dc2e DBG: refactor variable table to use new flat format Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4384 diff changeset	715	offset:base + blockArgs size + idx - 1
16741aa9dc2e DBG: refactor variable table to use new flat format Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4384 diff changeset	716	physicalBlock: physical
16741aa9dc2e DBG: refactor variable table to use new flat format Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4384 diff changeset	717	lexicalBlock: self
16741aa9dc2e DBG: refactor variable table to use new flat format Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4384 diff changeset	718
4384 aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	719	].
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	720	statements notNil ifTrue:[
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	721	statements
4385 16741aa9dc2e DBG: refactor variable table to use new flat format Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4384 diff changeset	722	blockNodesDo:[:physical \| physical dbgVariablesInto:aDIVariableTable ]
4384 aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	723	recursively:false.
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	724	].
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	725
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	726	"Created: / 15-07-2018 / 15:10:56 / Jan Vrany <jan.vrany@fit.cvut.cz>"
4385 16741aa9dc2e DBG: refactor variable table to use new flat format Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4384 diff changeset	727	"Modified: / 06-02-2019 / 22:28:03 / Jan Vrany <jan.vrany@fit.cvut.cz>"
4659 6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	728	"Modified: / 03-02-2021 / 08:52:03 / Jan Vrany <jan.vrany@labware.com>"
4384 aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	729	! !
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	730
1035 8848672cb893 category rename Claus Gittinger <cg@exept.de> parents: 932 diff changeset	731	!BlockNode methodsFor:'enumerating'!
539 69a1cd05c7d6 added node-walk facility (ST80 compatibility) Claus Gittinger <cg@exept.de> parents: 534 diff changeset	732
4575 ad7b25c61c51 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4556 diff changeset	733	allMessageSelectorsDo:aBlock
ad7b25c61c51 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4556 diff changeset	734	"evaluate aBlock for each message-selector sent by this statement and all followup statements"
ad7b25c61c51 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4556 diff changeset	735
4603 3a51687ca153 #BUGFIX by cg Claus Gittinger <cg@exept.de> parents: 4577 diff changeset	736	statements notEmptyOrNil ifTrue:[
3a51687ca153 #BUGFIX by cg Claus Gittinger <cg@exept.de> parents: 4577 diff changeset	737	statements allMessageSelectorsDo:aBlock
3a51687ca153 #BUGFIX by cg Claus Gittinger <cg@exept.de> parents: 4577 diff changeset	738	]
4575 ad7b25c61c51 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4556 diff changeset	739	!
ad7b25c61c51 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4556 diff changeset	740
ad7b25c61c51 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4556 diff changeset	741	allMessagesDo:aBlock
ad7b25c61c51 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4556 diff changeset	742	"evaluate aBlock for each message-node sent by this statement and all followup statements"
ad7b25c61c51 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4556 diff changeset	743
4603 3a51687ca153 #BUGFIX by cg Claus Gittinger <cg@exept.de> parents: 4577 diff changeset	744	statements notEmptyOrNil ifTrue:[
3a51687ca153 #BUGFIX by cg Claus Gittinger <cg@exept.de> parents: 4577 diff changeset	745	statements allMessagesDo:aBlock
3a51687ca153 #BUGFIX by cg Claus Gittinger <cg@exept.de> parents: 4577 diff changeset	746	].
4575 ad7b25c61c51 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4556 diff changeset	747	!
ad7b25c61c51 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4556 diff changeset	748
574 993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	749	allSubBlocksDo:aBlock
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	750	"recursively enumerate all of my subblocks"
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	751
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	752	subBlocks notNil ifTrue:[
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	753	subBlocks do:[:aSubBlockNode \|
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	754	aBlock value:aSubBlockNode.
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	755	aSubBlockNode allSubBlocksDo:aBlock.
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	756	]
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	757	]
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	758
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	759	"Created: 2.7.1997 / 10:51:59 / cg"
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	760	!
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	761
4577 5dbab4d69ae8 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4575 diff changeset	762	messageSelectorsDo:aBlock
5dbab4d69ae8 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4575 diff changeset	763	"evaluate aBlock for each message-selector sent by this statement and all followup statements"
5dbab4d69ae8 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4575 diff changeset	764
5dbab4d69ae8 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4575 diff changeset	765	statements allMessageSelectorsDo:aBlock
5dbab4d69ae8 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4575 diff changeset	766	!
5dbab4d69ae8 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4575 diff changeset	767
5dbab4d69ae8 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4575 diff changeset	768	messagesDo:aBlock
5dbab4d69ae8 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4575 diff changeset	769	"evaluate aBlock for each message-node sent by this statement and all followup statements"
5dbab4d69ae8 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4575 diff changeset	770
4603 3a51687ca153 #BUGFIX by cg Claus Gittinger <cg@exept.de> parents: 4577 diff changeset	771	statements notEmptyOrNil ifTrue:[
3a51687ca153 #BUGFIX by cg Claus Gittinger <cg@exept.de> parents: 4577 diff changeset	772	statements allMessagesDo:aBlock
3a51687ca153 #BUGFIX by cg Claus Gittinger <cg@exept.de> parents: 4577 diff changeset	773	]
4577 5dbab4d69ae8 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4575 diff changeset	774	!
5dbab4d69ae8 #BUGFIX by exept Claus Gittinger <cg@exept.de> parents: 4575 diff changeset	775
539 69a1cd05c7d6 added node-walk facility (ST80 compatibility) Claus Gittinger <cg@exept.de> parents: 534 diff changeset	776	nodeDo:anEnumerator
69a1cd05c7d6 added node-walk facility (ST80 compatibility) Claus Gittinger <cg@exept.de> parents: 534 diff changeset	777	"helper for parse tree walking"
69a1cd05c7d6 added node-walk facility (ST80 compatibility) Claus Gittinger <cg@exept.de> parents: 534 diff changeset	778
544 fcfff6f8bc31 more ST80 compatible enumeration Claus Gittinger <cg@exept.de> parents: 539 diff changeset	779	\|args\|
fcfff6f8bc31 more ST80 compatible enumeration Claus Gittinger <cg@exept.de> parents: 539 diff changeset	780
fcfff6f8bc31 more ST80 compatible enumeration Claus Gittinger <cg@exept.de> parents: 539 diff changeset	781	args := blockArgs ? #().
fcfff6f8bc31 more ST80 compatible enumeration Claus Gittinger <cg@exept.de> parents: 539 diff changeset	782	args := args collect:[:var \|
fcfff6f8bc31 more ST80 compatible enumeration Claus Gittinger <cg@exept.de> parents: 539 diff changeset	783	\|p\|
fcfff6f8bc31 more ST80 compatible enumeration Claus Gittinger <cg@exept.de> parents: 539 diff changeset	784
1933 b879cf02f448 * empty log message * Claus Gittinger <cg@exept.de> parents: 1853 diff changeset	785	p := Variable name:var.
b879cf02f448 * empty log message * Claus Gittinger <cg@exept.de> parents: 1853 diff changeset	786	"/ p := ParameterNode new.
b879cf02f448 * empty log message * Claus Gittinger <cg@exept.de> parents: 1853 diff changeset	787	"/ p variable:var
544 fcfff6f8bc31 more ST80 compatible enumeration Claus Gittinger <cg@exept.de> parents: 539 diff changeset	788	].
fcfff6f8bc31 more ST80 compatible enumeration Claus Gittinger <cg@exept.de> parents: 539 diff changeset	789	^ anEnumerator doBlock:self arguments:args body:statements
539 69a1cd05c7d6 added node-walk facility (ST80 compatibility) Claus Gittinger <cg@exept.de> parents: 534 diff changeset	790
1933 b879cf02f448 * empty log message * Claus Gittinger <cg@exept.de> parents: 1853 diff changeset	791	"Created: / 19-06-1997 / 16:38:30 / cg"
b879cf02f448 * empty log message * Claus Gittinger <cg@exept.de> parents: 1853 diff changeset	792	"Modified: / 22-10-2006 / 12:03:27 / cg"
539 69a1cd05c7d6 added node-walk facility (ST80 compatibility) Claus Gittinger <cg@exept.de> parents: 534 diff changeset	793	! !
69a1cd05c7d6 added node-walk facility (ST80 compatibility) Claus Gittinger <cg@exept.de> parents: 534 diff changeset	794
4384 aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	795	!BlockNode methodsFor:'enumeration'!
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	796
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	797	blockNodesDo:aBlock recursively: aBoolean
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	798	aBlock value: self.
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	799	aBoolean ifTrue:[
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	800	statements blockNodesDo:aBlock recursively: aBoolean
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	801	].
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	802
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	803	"Created: / 15-07-2018 / 10:37:45 / Jan Vrany <jan.vrany@fit.cvut.cz>"
aee25576d864 DBG: teach `ByteCodeCompiler` to generate Smalltalk/X debug info Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4275 diff changeset	804	! !
3893 620475e6df71 #REFACTORING by stefan Stefan Vogel <sv@exept.de> parents: 3602 diff changeset	805
1035 8848672cb893 category rename Claus Gittinger <cg@exept.de> parents: 932 diff changeset	806	!BlockNode methodsFor:'evaluation'!
0 7ad01559b262 Initial revision claus parents: diff changeset	807
1384 0db9682870d9 evaluate -> evaluateIn: Claus Gittinger <cg@exept.de> parents: 1372 diff changeset	808	evaluateIn:anEnvironment
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	809	^ self
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	810	!
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	811
0 7ad01559b262 Initial revision claus parents: diff changeset	812	exitWith:something
7ad01559b262 Initial revision claus parents: diff changeset	813	"return via return-statement"
7ad01559b262 Initial revision claus parents: diff changeset	814
7ad01559b262 Initial revision claus parents: diff changeset	815	home notNil ifTrue:[
45 e8331ba8ad5d * empty log message * claus parents: 39 diff changeset	816	home exitWith:something
0 7ad01559b262 Initial revision claus parents: diff changeset	817	].
7ad01559b262 Initial revision claus parents: diff changeset	818	exitBlock value:something.
7ad01559b262 Initial revision claus parents: diff changeset	819	^ something
7ad01559b262 Initial revision claus parents: diff changeset	820	!
7ad01559b262 Initial revision claus parents: diff changeset	821
7ad01559b262 Initial revision claus parents: diff changeset	822	value
7ad01559b262 Initial revision claus parents: diff changeset	823	(blockArgs size ~~ 0) ifTrue:[
1390 cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	824	^ self wrongNumberOfArguments:0
0 7ad01559b262 Initial revision claus parents: diff changeset	825	].
7ad01559b262 Initial revision claus parents: diff changeset	826	statements isNil ifTrue:[^ nil].
7ad01559b262 Initial revision claus parents: diff changeset	827	exitBlock := [:val \| ^ val].
7ad01559b262 Initial revision claus parents: diff changeset	828	^ statements evaluate
7ad01559b262 Initial revision claus parents: diff changeset	829	!
7ad01559b262 Initial revision claus parents: diff changeset	830
7ad01559b262 Initial revision claus parents: diff changeset	831	value:anArg
7ad01559b262 Initial revision claus parents: diff changeset	832	\|oldValue val\|
7ad01559b262 Initial revision claus parents: diff changeset	833
7ad01559b262 Initial revision claus parents: diff changeset	834	(blockArgs size ~~ 1) ifTrue:[
1390 cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	835	^ self wrongNumberOfArguments:1
0 7ad01559b262 Initial revision claus parents: diff changeset	836	].
7ad01559b262 Initial revision claus parents: diff changeset	837	statements isNil ifTrue:[^ nil].
7ad01559b262 Initial revision claus parents: diff changeset	838
7ad01559b262 Initial revision claus parents: diff changeset	839	oldValue := (blockArgs at:1) value.
7ad01559b262 Initial revision claus parents: diff changeset	840	(blockArgs at:1) value:anArg.
7ad01559b262 Initial revision claus parents: diff changeset	841
15 992c3d87edbf * empty log message * claus parents: 6 diff changeset	842	exitBlock := [:v \|
1390 cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	843	(blockArgs at:1) value:oldValue.
cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	844	^ v
0 7ad01559b262 Initial revision claus parents: diff changeset	845	].
7ad01559b262 Initial revision claus parents: diff changeset	846
7ad01559b262 Initial revision claus parents: diff changeset	847	val := statements evaluate.
7ad01559b262 Initial revision claus parents: diff changeset	848
7ad01559b262 Initial revision claus parents: diff changeset	849	(blockArgs at:1) value:oldValue.
7ad01559b262 Initial revision claus parents: diff changeset	850	^ val
7ad01559b262 Initial revision claus parents: diff changeset	851	!
7ad01559b262 Initial revision claus parents: diff changeset	852
7ad01559b262 Initial revision claus parents: diff changeset	853	value:arg1 value:arg2
7ad01559b262 Initial revision claus parents: diff changeset	854	\|oldValue1 oldValue2 val\|
7ad01559b262 Initial revision claus parents: diff changeset	855
7ad01559b262 Initial revision claus parents: diff changeset	856	(blockArgs size ~~ 2) ifTrue:[
1390 cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	857	^ self wrongNumberOfArguments:2
0 7ad01559b262 Initial revision claus parents: diff changeset	858	].
7ad01559b262 Initial revision claus parents: diff changeset	859	statements isNil ifTrue:[^ nil].
7ad01559b262 Initial revision claus parents: diff changeset	860
7ad01559b262 Initial revision claus parents: diff changeset	861	oldValue1 := (blockArgs at:1) value.
7ad01559b262 Initial revision claus parents: diff changeset	862	oldValue2 := (blockArgs at:2) value.
7ad01559b262 Initial revision claus parents: diff changeset	863	(blockArgs at:1) value:arg1.
7ad01559b262 Initial revision claus parents: diff changeset	864	(blockArgs at:2) value:arg2.
7ad01559b262 Initial revision claus parents: diff changeset	865
15 992c3d87edbf * empty log message * claus parents: 6 diff changeset	866	exitBlock := [:v \|
1390 cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	867	(blockArgs at:1) value:oldValue1.
cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	868	(blockArgs at:2) value:oldValue2.
cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	869	^ v
0 7ad01559b262 Initial revision claus parents: diff changeset	870	].
7ad01559b262 Initial revision claus parents: diff changeset	871
7ad01559b262 Initial revision claus parents: diff changeset	872	val := statements evaluate.
7ad01559b262 Initial revision claus parents: diff changeset	873
7ad01559b262 Initial revision claus parents: diff changeset	874	(blockArgs at:1) value:oldValue1.
7ad01559b262 Initial revision claus parents: diff changeset	875	(blockArgs at:2) value:oldValue2.
7ad01559b262 Initial revision claus parents: diff changeset	876	^ val
7ad01559b262 Initial revision claus parents: diff changeset	877	!
7ad01559b262 Initial revision claus parents: diff changeset	878
7ad01559b262 Initial revision claus parents: diff changeset	879	value:arg1 value:arg2 value:arg3
7ad01559b262 Initial revision claus parents: diff changeset	880	\|oldValue1 oldValue2 oldValue3 val\|
7ad01559b262 Initial revision claus parents: diff changeset	881
7ad01559b262 Initial revision claus parents: diff changeset	882	(blockArgs size ~~ 3) ifTrue:[
1390 cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	883	^ self wrongNumberOfArguments:3
0 7ad01559b262 Initial revision claus parents: diff changeset	884	].
7ad01559b262 Initial revision claus parents: diff changeset	885	statements isNil ifTrue:[^ nil].
7ad01559b262 Initial revision claus parents: diff changeset	886
7ad01559b262 Initial revision claus parents: diff changeset	887	oldValue1 := (blockArgs at:1) value.
7ad01559b262 Initial revision claus parents: diff changeset	888	oldValue2 := (blockArgs at:2) value.
7ad01559b262 Initial revision claus parents: diff changeset	889	oldValue3 := (blockArgs at:3) value.
7ad01559b262 Initial revision claus parents: diff changeset	890	(blockArgs at:1) value:arg1.
7ad01559b262 Initial revision claus parents: diff changeset	891	(blockArgs at:2) value:arg2.
7ad01559b262 Initial revision claus parents: diff changeset	892	(blockArgs at:3) value:arg3.
7ad01559b262 Initial revision claus parents: diff changeset	893
15 992c3d87edbf * empty log message * claus parents: 6 diff changeset	894	exitBlock := [:v \|
1390 cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	895	(blockArgs at:1) value:oldValue1.
cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	896	(blockArgs at:2) value:oldValue2.
cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	897	(blockArgs at:3) value:oldValue3.
cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	898	^ v
0 7ad01559b262 Initial revision claus parents: diff changeset	899	].
7ad01559b262 Initial revision claus parents: diff changeset	900
7ad01559b262 Initial revision claus parents: diff changeset	901	val := statements evaluate.
7ad01559b262 Initial revision claus parents: diff changeset	902
7ad01559b262 Initial revision claus parents: diff changeset	903	(blockArgs at:1) value:oldValue1.
7ad01559b262 Initial revision claus parents: diff changeset	904	(blockArgs at:2) value:oldValue2.
7ad01559b262 Initial revision claus parents: diff changeset	905	(blockArgs at:3) value:oldValue3.
7ad01559b262 Initial revision claus parents: diff changeset	906	^ val
7ad01559b262 Initial revision claus parents: diff changeset	907	!
7ad01559b262 Initial revision claus parents: diff changeset	908
7ad01559b262 Initial revision claus parents: diff changeset	909	value:arg1 value:arg2 value:arg3 value:arg4
7ad01559b262 Initial revision claus parents: diff changeset	910	\|oldValue1 oldValue2 oldValue3 oldValue4 val\|
7ad01559b262 Initial revision claus parents: diff changeset	911
7ad01559b262 Initial revision claus parents: diff changeset	912	(blockArgs size ~~ 4) ifTrue:[
1390 cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	913	^ self wrongNumberOfArguments:4
0 7ad01559b262 Initial revision claus parents: diff changeset	914	].
7ad01559b262 Initial revision claus parents: diff changeset	915	statements isNil ifTrue:[^ nil].
7ad01559b262 Initial revision claus parents: diff changeset	916
7ad01559b262 Initial revision claus parents: diff changeset	917	oldValue1 := (blockArgs at:1) value.
7ad01559b262 Initial revision claus parents: diff changeset	918	oldValue2 := (blockArgs at:2) value.
7ad01559b262 Initial revision claus parents: diff changeset	919	oldValue3 := (blockArgs at:3) value.
7ad01559b262 Initial revision claus parents: diff changeset	920	oldValue4 := (blockArgs at:4) value.
7ad01559b262 Initial revision claus parents: diff changeset	921	(blockArgs at:1) value:arg1.
7ad01559b262 Initial revision claus parents: diff changeset	922	(blockArgs at:2) value:arg2.
7ad01559b262 Initial revision claus parents: diff changeset	923	(blockArgs at:3) value:arg3.
7ad01559b262 Initial revision claus parents: diff changeset	924	(blockArgs at:4) value:arg4.
7ad01559b262 Initial revision claus parents: diff changeset	925
15 992c3d87edbf * empty log message * claus parents: 6 diff changeset	926	exitBlock := [:v \|
1390 cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	927	(blockArgs at:1) value:oldValue1.
cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	928	(blockArgs at:2) value:oldValue2.
cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	929	(blockArgs at:3) value:oldValue3.
cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	930	(blockArgs at:4) value:oldValue4.
cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	931	^ v
0 7ad01559b262 Initial revision claus parents: diff changeset	932	].
7ad01559b262 Initial revision claus parents: diff changeset	933
7ad01559b262 Initial revision claus parents: diff changeset	934	val := statements evaluate.
7ad01559b262 Initial revision claus parents: diff changeset	935
7ad01559b262 Initial revision claus parents: diff changeset	936	(blockArgs at:1) value:oldValue1.
7ad01559b262 Initial revision claus parents: diff changeset	937	(blockArgs at:2) value:oldValue2.
7ad01559b262 Initial revision claus parents: diff changeset	938	(blockArgs at:3) value:oldValue3.
7ad01559b262 Initial revision claus parents: diff changeset	939	(blockArgs at:4) value:oldValue4.
7ad01559b262 Initial revision claus parents: diff changeset	940	^ val
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	941	!
3 b63b8a6b71fb * empty log message * claus parents: 0 diff changeset	942
b63b8a6b71fb * empty log message * claus parents: 0 diff changeset	943	valueWithArguments:argArray
b63b8a6b71fb * empty log message * claus parents: 0 diff changeset	944	\|oldValues val\|
b63b8a6b71fb * empty log message * claus parents: 0 diff changeset	945
b63b8a6b71fb * empty log message * claus parents: 0 diff changeset	946	(blockArgs size ~~ argArray size) ifTrue:[
1390 cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	947	^ self wrongNumberOfArguments:argArray size
3 b63b8a6b71fb * empty log message * claus parents: 0 diff changeset	948	].
b63b8a6b71fb * empty log message * claus parents: 0 diff changeset	949	statements isNil ifTrue:[^ nil].
b63b8a6b71fb * empty log message * claus parents: 0 diff changeset	950
b63b8a6b71fb * empty log message * claus parents: 0 diff changeset	951	oldValues := Array new:(argArray size).
b63b8a6b71fb * empty log message * claus parents: 0 diff changeset	952	1 to:argArray size do:[:i \|
1390 cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	953	oldValues at:i put:(blockArgs at:i) value.
cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	954	(blockArgs at:i) value:(argArray at:i).
3 b63b8a6b71fb * empty log message * claus parents: 0 diff changeset	955	].
15 992c3d87edbf * empty log message * claus parents: 6 diff changeset	956	exitBlock := [:v \|
1390 cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	957	1 to:argArray size do:[:i \|
cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	958	( blockArgs at:i) value:(oldValues at:i)
cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	959	].
cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	960	^ v
3 b63b8a6b71fb * empty log message * claus parents: 0 diff changeset	961	].
b63b8a6b71fb * empty log message * claus parents: 0 diff changeset	962
b63b8a6b71fb * empty log message * claus parents: 0 diff changeset	963	val := statements evaluate.
b63b8a6b71fb * empty log message * claus parents: 0 diff changeset	964
b63b8a6b71fb * empty log message * claus parents: 0 diff changeset	965	1 to:argArray size do:[:i \|
1390 cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	966	(blockArgs at:i) value:(oldValues at:i)
3 b63b8a6b71fb * empty log message * claus parents: 0 diff changeset	967	].
b63b8a6b71fb * empty log message * claus parents: 0 diff changeset	968	^ val
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	969	!
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	970
1390 cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	971	wrongNumberOfArguments:numArgsGiven
584 23b2124d7765 Fix spelling for wrongNumberOfArguments message. Stefan Vogel <sv@exept.de> parents: 579 diff changeset	972	"report that the number of arguments given does not match the number expected"
23b2124d7765 Fix spelling for wrongNumberOfArguments message. Stefan Vogel <sv@exept.de> parents: 579 diff changeset	973
1390 cbf43fe8d380 * empty log message * Claus Gittinger <cg@exept.de> parents: 1384 diff changeset	974	WrongNumberOfArgumentsError
584 23b2124d7765 Fix spelling for wrongNumberOfArguments message. Stefan Vogel <sv@exept.de> parents: 579 diff changeset	975	raiseRequestWith:self
2077 127ac6e095ad wrongNumberOfArguments: error message Claus Gittinger <cg@exept.de> parents: 2056 diff changeset	976	errorString:('block got %1 arg(s) where %2 expected'
127ac6e095ad wrongNumberOfArguments: error message Claus Gittinger <cg@exept.de> parents: 2056 diff changeset	977	bindWith:numArgsGiven
127ac6e095ad wrongNumberOfArguments: error message Claus Gittinger <cg@exept.de> parents: 2056 diff changeset	978	with:blockArgs size)
584 23b2124d7765 Fix spelling for wrongNumberOfArguments message. Stefan Vogel <sv@exept.de> parents: 579 diff changeset	979
23b2124d7765 Fix spelling for wrongNumberOfArguments message. Stefan Vogel <sv@exept.de> parents: 579 diff changeset	980	"Modified: 8.7.1997 / 01:04:27 / stefan"
0 7ad01559b262 Initial revision claus parents: diff changeset	981	! !
7ad01559b262 Initial revision claus parents: diff changeset	982
7ad01559b262 Initial revision claus parents: diff changeset	983	!BlockNode methodsFor:'looping'!
7ad01559b262 Initial revision claus parents: diff changeset	984
7ad01559b262 Initial revision claus parents: diff changeset	985	whileFalse:aBlock
26 ce78d7693c78 argument count errors now raise signals claus parents: 20 diff changeset	986	self value ifTrue:[^ nil].
ce78d7693c78 argument count errors now raise signals claus parents: 20 diff changeset	987	aBlock value.
ce78d7693c78 argument count errors now raise signals claus parents: 20 diff changeset	988	thisContext restart
0 7ad01559b262 Initial revision claus parents: diff changeset	989	!
7ad01559b262 Initial revision claus parents: diff changeset	990
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	991	whileTrue:aBlock
1853 2e4f77229d56 comment Claus Gittinger <cg@exept.de> parents: 1723 diff changeset	992	"evaluate the argument, aBlock while the receiver evaluates to true."
2e4f77229d56 comment Claus Gittinger <cg@exept.de> parents: 1723 diff changeset	993
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	994	self value ifFalse:[^ nil].
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	995	aBlock value.
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	996	thisContext restart
1853 2e4f77229d56 comment Claus Gittinger <cg@exept.de> parents: 1723 diff changeset	997
2e4f77229d56 comment Claus Gittinger <cg@exept.de> parents: 1723 diff changeset	998	"Modified: / 22-08-2006 / 14:40:48 / cg"
0 7ad01559b262 Initial revision claus parents: diff changeset	999	! !
7ad01559b262 Initial revision claus parents: diff changeset	1000
569 88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	1001	!BlockNode methodsFor:'misc'!
88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	1002
574 993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1003	rememberOuterBlockVarAccess:aVariableNode
579 25ac4d0d772f oops - more fixes Claus Gittinger <cg@exept.de> parents: 575 diff changeset	1004	accessedOuterBlockVars isNil ifTrue:[
25ac4d0d772f oops - more fixes Claus Gittinger <cg@exept.de> parents: 575 diff changeset	1005	accessedOuterBlockVars := OrderedCollection new.
25ac4d0d772f oops - more fixes Claus Gittinger <cg@exept.de> parents: 575 diff changeset	1006	].
25ac4d0d772f oops - more fixes Claus Gittinger <cg@exept.de> parents: 575 diff changeset	1007	accessedOuterBlockVars add:aVariableNode
569 88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	1008
579 25ac4d0d772f oops - more fixes Claus Gittinger <cg@exept.de> parents: 575 diff changeset	1009	"Modified: 2.7.1997 / 18:52:49 / cg"
569 88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	1010	!
88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	1011
574 993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1012	rememberSubBlock:aBlockNode
569 88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	1013	subBlocks isNil ifTrue:[
88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	1014	subBlocks := OrderedCollection new.
88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	1015	].
574 993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1016	subBlocks add:aBlockNode
569 88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	1017
88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	1018	"Created: 28.6.1997 / 15:13:20 / cg"
574 993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1019	"Modified: 2.7.1997 / 11:11:26 / cg"
569 88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	1020	! !
88a1b1d118fd preps to remember used args/vars Claus Gittinger <cg@exept.de> parents: 562 diff changeset	1021
1079 2a996e0def30 category change Claus Gittinger <cg@exept.de> parents: 1035 diff changeset	1022	!BlockNode methodsFor:'printing & storing'!
0 7ad01559b262 Initial revision claus parents: diff changeset	1023
7ad01559b262 Initial revision claus parents: diff changeset	1024	printOn:aStream indent:i
98 ccc7f9389a8e . claus parents: 96 diff changeset	1025	\|n "{Class: SmallInteger }"\|
ccc7f9389a8e . claus parents: 96 diff changeset	1026
0 7ad01559b262 Initial revision claus parents: diff changeset	1027	aStream nextPut:$[.
98 ccc7f9389a8e . claus parents: 96 diff changeset	1028	(n := blockArgs size) > 0 ifTrue:[
1723 14d491cb67b8 JavaScript support Claus Gittinger <cg@exept.de> parents: 1579 diff changeset	1029	1 to:n do:[:index \|
14d491cb67b8 JavaScript support Claus Gittinger <cg@exept.de> parents: 1579 diff changeset	1030	aStream nextPut:$:.
14d491cb67b8 JavaScript support Claus Gittinger <cg@exept.de> parents: 1579 diff changeset	1031	aStream nextPutAll:(blockArgs at:index) name.
14d491cb67b8 JavaScript support Claus Gittinger <cg@exept.de> parents: 1579 diff changeset	1032	aStream space.
14d491cb67b8 JavaScript support Claus Gittinger <cg@exept.de> parents: 1579 diff changeset	1033	].
14d491cb67b8 JavaScript support Claus Gittinger <cg@exept.de> parents: 1579 diff changeset	1034	aStream nextPutAll:'\| '.
98 ccc7f9389a8e . claus parents: 96 diff changeset	1035	].
ccc7f9389a8e . claus parents: 96 diff changeset	1036	(n := blockVars size) > 0 ifTrue:[
1723 14d491cb67b8 JavaScript support Claus Gittinger <cg@exept.de> parents: 1579 diff changeset	1037	aStream nextPut:$\|.
14d491cb67b8 JavaScript support Claus Gittinger <cg@exept.de> parents: 1579 diff changeset	1038	1 to:n do:[:index \|
14d491cb67b8 JavaScript support Claus Gittinger <cg@exept.de> parents: 1579 diff changeset	1039	aStream nextPutAll:(blockVars at:index) name.
14d491cb67b8 JavaScript support Claus Gittinger <cg@exept.de> parents: 1579 diff changeset	1040	aStream space.
14d491cb67b8 JavaScript support Claus Gittinger <cg@exept.de> parents: 1579 diff changeset	1041	].
14d491cb67b8 JavaScript support Claus Gittinger <cg@exept.de> parents: 1579 diff changeset	1042	aStream nextPut:$\|.
0 7ad01559b262 Initial revision claus parents: diff changeset	1043	].
7ad01559b262 Initial revision claus parents: diff changeset	1044	statements notNil ifTrue:[
1723 14d491cb67b8 JavaScript support Claus Gittinger <cg@exept.de> parents: 1579 diff changeset	1045	aStream cr.
14d491cb67b8 JavaScript support Claus Gittinger <cg@exept.de> parents: 1579 diff changeset	1046	statements printAllOn:aStream indent:i + 4.
14d491cb67b8 JavaScript support Claus Gittinger <cg@exept.de> parents: 1579 diff changeset	1047	aStream cr.
14d491cb67b8 JavaScript support Claus Gittinger <cg@exept.de> parents: 1579 diff changeset	1048	aStream spaces:i.
0 7ad01559b262 Initial revision claus parents: diff changeset	1049	].
7ad01559b262 Initial revision claus parents: diff changeset	1050	aStream nextPut:$]
7ad01559b262 Initial revision claus parents: diff changeset	1051	! !
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	1052
1415 97b2433f377d method category rename Claus Gittinger <cg@exept.de> parents: 1401 diff changeset	1053	!BlockNode methodsFor:'private-accessing'!
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	1054
3602 db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	1055	setArguments:argList home:h
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	1056	inlineBlock := false.
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	1057	needsHome := false.
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	1058	blockArgs := argList.
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	1059	home := h.
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	1060	numTemp := maxNumTemp := 0.
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	1061	!
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	1062
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	1063	setArguments:argList home:h variables:vars
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	1064	inlineBlock := false.
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	1065	needsHome := false.
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	1066	blockArgs := argList.
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	1067	home := h.
557 8202a13be88b preps to move vars of inlined blocks to outer context Claus Gittinger <cg@exept.de> parents: 555 diff changeset	1068	blockVars := vars.
8202a13be88b preps to move vars of inlined blocks to outer context Claus Gittinger <cg@exept.de> parents: 555 diff changeset	1069	numTemp := maxNumTemp := 0.
8202a13be88b preps to move vars of inlined blocks to outer context Claus Gittinger <cg@exept.de> parents: 555 diff changeset	1070
8202a13be88b preps to move vars of inlined blocks to outer context Claus Gittinger <cg@exept.de> parents: 555 diff changeset	1071	"Modified: 25.6.1997 / 15:07:52 / cg"
3602 db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	1072	!
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	1073
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	1074	setHome:h
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	1075	inlineBlock := false.
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	1076	needsHome := false.
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	1077	home := h.
db3dc2a8f4b4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3479 diff changeset	1078	numTemp := maxNumTemp := 0.
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	1079	! !
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	1080
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	1081	!BlockNode methodsFor:'queries'!
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	1082
1566 e53724995493 Define #argumentCount as ANSI alias for #numArgs Stefan Vogel <sv@exept.de> parents: 1513 diff changeset	1083	argumentCount
e53724995493 Define #argumentCount as ANSI alias for #numArgs Stefan Vogel <sv@exept.de> parents: 1513 diff changeset	1084	"ANSI alias for numArgs: return the number of arguments the block represented by myself
e53724995493 Define #argumentCount as ANSI alias for #numArgs Stefan Vogel <sv@exept.de> parents: 1513 diff changeset	1085	expects for evaluation"
e53724995493 Define #argumentCount as ANSI alias for #numArgs Stefan Vogel <sv@exept.de> parents: 1513 diff changeset	1086
e53724995493 Define #argumentCount as ANSI alias for #numArgs Stefan Vogel <sv@exept.de> parents: 1513 diff changeset	1087	^ blockArgs size
e53724995493 Define #argumentCount as ANSI alias for #numArgs Stefan Vogel <sv@exept.de> parents: 1513 diff changeset	1088	!
e53724995493 Define #argumentCount as ANSI alias for #numArgs Stefan Vogel <sv@exept.de> parents: 1513 diff changeset	1089
394 728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	1090	collectBlocksInto:aCollection
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	1091	aCollection add:self.
458 0e032b203043 care for empty blocks ca parents: 394 diff changeset	1092	statements notNil ifTrue:[statements collectBlocksInto:aCollection]
394 728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	1093
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	1094	"Created: 23.10.1996 / 15:45:16 / cg"
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	1095	"Modified: 23.10.1996 / 16:02:57 / cg"
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	1096	!
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	1097
2383 979322244009 added: #containsReturn Claus Gittinger <cg@exept.de> parents: 2354 diff changeset	1098	containsReturn
979322244009 added: #containsReturn Claus Gittinger <cg@exept.de> parents: 2354 diff changeset	1099	statements isNil ifTrue:[
979322244009 added: #containsReturn Claus Gittinger <cg@exept.de> parents: 2354 diff changeset	1100	^ false
979322244009 added: #containsReturn Claus Gittinger <cg@exept.de> parents: 2354 diff changeset	1101	].
979322244009 added: #containsReturn Claus Gittinger <cg@exept.de> parents: 2354 diff changeset	1102	^ statements containsReturnInAnyStatement
979322244009 added: #containsReturn Claus Gittinger <cg@exept.de> parents: 2354 diff changeset	1103	!
979322244009 added: #containsReturn Claus Gittinger <cg@exept.de> parents: 2354 diff changeset	1104
333 96bb5c3dab61 added query if blocks statementList ends in a return; Claus Gittinger <cg@exept.de> parents: 278 diff changeset	1105	endsWithReturn
96bb5c3dab61 added query if blocks statementList ends in a return; Claus Gittinger <cg@exept.de> parents: 278 diff changeset	1106	statements isNil ifTrue:[
96bb5c3dab61 added query if blocks statementList ends in a return; Claus Gittinger <cg@exept.de> parents: 278 diff changeset	1107	^ false
96bb5c3dab61 added query if blocks statementList ends in a return; Claus Gittinger <cg@exept.de> parents: 278 diff changeset	1108	].
96bb5c3dab61 added query if blocks statementList ends in a return; Claus Gittinger <cg@exept.de> parents: 278 diff changeset	1109	^ statements listEndsWithReturn
96bb5c3dab61 added query if blocks statementList ends in a return; Claus Gittinger <cg@exept.de> parents: 278 diff changeset	1110
96bb5c3dab61 added query if blocks statementList ends in a return; Claus Gittinger <cg@exept.de> parents: 278 diff changeset	1111	"Created: 19.8.1996 / 14:36:32 / cg"
96bb5c3dab61 added query if blocks statementList ends in a return; Claus Gittinger <cg@exept.de> parents: 278 diff changeset	1112	!
96bb5c3dab61 added query if blocks statementList ends in a return; Claus Gittinger <cg@exept.de> parents: 278 diff changeset	1113
559 42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	1114	indexOfFirstTemp
3182 a1e60c9000f4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 2750 diff changeset	1115	indexOfFirstTemp isNil ifTrue:[ ^ self numVars ].
559 42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	1116	^ indexOfFirstTemp
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	1117
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	1118	"Created: 25.6.1997 / 15:39:11 / cg"
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	1119	!
42cf4afd99b3 inline blocks withs args Claus Gittinger <cg@exept.de> parents: 557 diff changeset	1120
574 993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1121	isInlinable
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1122	"return true, if the receiver is inlinable.
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1123	For now, do NOT inline a block, if it has args/vars
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1124	which are accessed by subblocks, which are themself
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1125	not inlinable.
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1126	This limitation is needed for the following piece of code to work:
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1127	1 to:10 do:[:i \|
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1128	.... [ something with i ]
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1129	]
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1130	If this block was inlined, each subblock would get the same i
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1131	(which is the old ST/V behavior)"
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1132
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1133	possiblyInlined == true ifFalse:[
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1134	^ false
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1135	].
2152 55aa17416012 changed #isInlinable Claus Gittinger <cg@exept.de> parents: 2130 diff changeset	1136	inlined == true ifTrue:[
55aa17416012 changed #isInlinable Claus Gittinger <cg@exept.de> parents: 2130 diff changeset	1137	^ true
55aa17416012 changed #isInlinable Claus Gittinger <cg@exept.de> parents: 2130 diff changeset	1138	].
574 993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1139
4074 504a5c28e9be #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4073 diff changeset	1140	(self argumentCount ~~ 0 or:[self numVars ~~ 0]) ifTrue:[
574 993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1141	"/ any subblock, which accesses a var/arg of myself ?
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1142	self allSubBlocksDo:[:aSubBlockNode \|
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1143	aSubBlockNode accessedOuterBlockVars do:[:aVarNode \|
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1144	\|b\|
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1145
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1146	aVarNode block == self ifTrue:[
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1147	"/ all-inbetween inlinable ?
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1148	b := aSubBlockNode.
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1149	[b ~~ self] whileTrue:[
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1150	b isInlinable ifFalse:[
575 91f2abc6cf0a leftover debugPrints Claus Gittinger <cg@exept.de> parents: 574 diff changeset	1151	"/ 'not inlined due to access: ' print. aVarNode displayString printCR.
574 993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1152	^ false
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1153	].
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1154	b := b home
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1155	]
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1156	]
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1157	]
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1158	]
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1159	].
2152 55aa17416012 changed #isInlinable Claus Gittinger <cg@exept.de> parents: 2130 diff changeset	1160	inlined := true.
574 993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1161	^ true
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1162
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1163	"Created: 2.7.1997 / 10:43:37 / cg"
579 25ac4d0d772f oops - more fixes Claus Gittinger <cg@exept.de> parents: 575 diff changeset	1164	"Modified: 2.7.1997 / 18:55:36 / cg"
574 993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1165	!
993d1182782b fixed inlining of blocks where subBlocks Claus Gittinger <cg@exept.de> parents: 569 diff changeset	1166
4659 6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	1167	isInlined
6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	1168	"Return `true`, if block has been inlined, `false` otherwise.
6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	1169	This valid only after #codeOn... has been called!!"
6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	1170
6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	1171	^ inlined == true
6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	1172
6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	1173	"Created: / 03-02-2021 / 08:48:08 / Jan Vrany <jan.vrany@labware.com>"
6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	1174	!
6d7cc8f5c2d8 Fix debug info w.r.t inlined blocks Jan Vrany <jan.vrany@labware.com> parents: 4654 diff changeset	1175
394 728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	1176	numArgs
4556 07a781ae80ba #REFACTORING by exept Claus Gittinger <cg@exept.de> parents: 4510 diff changeset	1177	<resource: #obsolete>
07a781ae80ba #REFACTORING by exept Claus Gittinger <cg@exept.de> parents: 4510 diff changeset	1178
522 df72d3ed66a2 comment Claus Gittinger <cg@exept.de> parents: 506 diff changeset	1179	"return the number of arguments the block represented by myself
4073 380acc8c834c #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 3893 diff changeset	1180	expects for evaluation.
380acc8c834c #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 3893 diff changeset	1181	Please use argumentCount, which is ANSI"
380acc8c834c #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 3893 diff changeset	1182
380acc8c834c #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 3893 diff changeset	1183	"/ <resource: #obsolete>
522 df72d3ed66a2 comment Claus Gittinger <cg@exept.de> parents: 506 diff changeset	1184
394 728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	1185	^ blockArgs size
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	1186
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	1187	"Created: 23.10.1996 / 15:57:04 / cg"
522 df72d3ed66a2 comment Claus Gittinger <cg@exept.de> parents: 506 diff changeset	1188	"Modified: 7.5.1997 / 15:34:35 / cg"
394 728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	1189	!
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	1190
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	1191	numVars
4074 504a5c28e9be #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4073 diff changeset	1192	"return the number of block local variables."
504a5c28e9be #DOCUMENTATION by cg Claus Gittinger <cg@exept.de> parents: 4073 diff changeset	1193
394 728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	1194	^ blockVars size
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	1195
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	1196	"Created: 23.10.1996 / 16:17:07 / cg"
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	1197	!
728e3b942ad5 remember endLinenr Claus Gittinger <cg@exept.de> parents: 386 diff changeset	1198
3690 939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1199	numVarsIncludingInlined: forStcCompiledCode
939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1200	"Returns number of local variables including those of blocks inlined into
939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1201	the receiver. If `forStcCompiledCode` is true then assume
939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1202	the code is compiled by stc, otherwise assume the code is
939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1203	compiled by bytecode compiler"
939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1204
939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1205	^ (self variablesIncludingInlined: forStcCompiledCode) size.
939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1206
939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1207	"Created: / 22-12-2015 / 12:38:42 / Jan Vrany <jan.vrany@fit.cvut.cz>"
939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1208	!
939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1209
169 dd594d765c73 checkin from browser Claus Gittinger <cg@exept.de> parents: 168 diff changeset	1210	simpleSendBlockExpression
dd594d765c73 checkin from browser Claus Gittinger <cg@exept.de> parents: 168 diff changeset	1211	blockVars notNil ifTrue:[^ nil].
dd594d765c73 checkin from browser Claus Gittinger <cg@exept.de> parents: 168 diff changeset	1212	statements isNil ifTrue:[^ nil].
dd594d765c73 checkin from browser Claus Gittinger <cg@exept.de> parents: 168 diff changeset	1213	statements nextStatement notNil ifTrue:[^ nil].
dd594d765c73 checkin from browser Claus Gittinger <cg@exept.de> parents: 168 diff changeset	1214	^ statements expression
dd594d765c73 checkin from browser Claus Gittinger <cg@exept.de> parents: 168 diff changeset	1215
dd594d765c73 checkin from browser Claus Gittinger <cg@exept.de> parents: 168 diff changeset	1216	"Created: 13.12.1995 / 20:06:09 / cg"
140 1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	1217	! !
1ef1d1395146 checkin from browser Claus Gittinger <cg@exept.de> parents: 135 diff changeset	1218
3479 669f5de98556 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3340 diff changeset	1219	!BlockNode methodsFor:'statistics'!
669f5de98556 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3340 diff changeset	1220
669f5de98556 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3340 diff changeset	1221	modifiedLocalVars
669f5de98556 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3340 diff changeset	1222	^ modifiedBlockVars
669f5de98556 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3340 diff changeset	1223	!
669f5de98556 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3340 diff changeset	1224
669f5de98556 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3340 diff changeset	1225	rememberLocalModified:name
669f5de98556 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3340 diff changeset	1226	modifiedBlockVars isNil ifTrue:[
669f5de98556 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3340 diff changeset	1227	modifiedBlockVars := Set new.
669f5de98556 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3340 diff changeset	1228	].
669f5de98556 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3340 diff changeset	1229	modifiedBlockVars add:name.
669f5de98556 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3340 diff changeset	1230	! !
669f5de98556 class: BlockNode Claus Gittinger <cg@exept.de> parents: 3340 diff changeset	1231
2325 445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1232	!BlockNode methodsFor:'testing'!
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1233
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1234	isBlock
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1235	"a kludge, to have blocknodes mimic blocks"
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1236
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1237	^ true
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1238	!
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1239
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1240	isBlockNode
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1241	^ true
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1242	!
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1243
4161 01a629e181c4 #REFACTORING by cg Claus Gittinger <cg@exept.de> parents: 4074 diff changeset	1244	isBlockWithArgumentCount:numArgsExpected
01a629e181c4 #REFACTORING by cg Claus Gittinger <cg@exept.de> parents: 4074 diff changeset	1245	"a kludge, to have blocknodes mimic blocks"
01a629e181c4 #REFACTORING by cg Claus Gittinger <cg@exept.de> parents: 4074 diff changeset	1246
4556 07a781ae80ba #REFACTORING by exept Claus Gittinger <cg@exept.de> parents: 4510 diff changeset	1247	^ self argumentCount == numArgsExpected
4161 01a629e181c4 #REFACTORING by cg Claus Gittinger <cg@exept.de> parents: 4074 diff changeset	1248
01a629e181c4 #REFACTORING by cg Claus Gittinger <cg@exept.de> parents: 4074 diff changeset	1249	"Created: / 11-07-2017 / 18:28:59 / cg"
01a629e181c4 #REFACTORING by cg Claus Gittinger <cg@exept.de> parents: 4074 diff changeset	1250	!
01a629e181c4 #REFACTORING by cg Claus Gittinger <cg@exept.de> parents: 4074 diff changeset	1251
2325 445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1252	isEmptyBlock
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1253	^ statements isNil
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1254	!
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1255
3270 36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1256	isInlinedInto: blockNode assumeStcCompiled: assumeStc
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1257	"Returns true, if the receiver is inlined into given `blockNode`.
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1258	If `assumeStc` is true. then assume the code is compiled by stc,
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1259	otherwise assume that the code is compiled by the bytecode compiler"
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1260
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1261	\| enclosingBlock selector \|
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1262
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1263	self == blockNode ifTrue:[ ^ false ].
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1264	enclosingBlock := self enclosingBlock.
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1265	(enclosingBlock ~~ blockNode
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1266	and:[ (enclosingBlock isInlinedInto: blockNode assumeStcCompiled: assumeStc) not ])
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1267	ifTrue:[ ^ false ].
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1268
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1269	self parent isMessage ifFalse:[ ^ false ].
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1270	selector := self parent selector.
3690 939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1271	"/ Following control-flow selectors are inlined by both,
939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1272	"/ stc and bytecode/jit compiler...
939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1273	(#(
3270 36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1274	ifTrue:
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1275	ifTrue:ifFalse:
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1276	ifFalse:
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1277	whileTrue
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1278	whileTrue:
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1279	whileFalse
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1280	whileFalse:
3690 939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1281	to:do:
3270 36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1282	"/ Add more here...
3690 939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1283	) includes: selector) ifTrue:[ ^ true ].
939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1284	^ assumeStc ifTrue:[
939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1285	#(
939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1286	"/ Add more selectors inlined only by STC here...
3270 36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1287	) includes: selector
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1288	] ifFalse:[
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1289	#(
3690 939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1290	"/ Add more selector inline only by bytecode compiler here...
3270 36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1291	) includes: selector
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1292	]
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1293
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1294	"Created: / 19-08-2013 / 12:00:53 / Jan Vrany <jan.vrany@fit.cvut.cz>"
3690 939e3702b948 Inproved Parser>>blockAtLine:in:orSource:numArgs:numVars: to better deal with inlined blocks. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3650 diff changeset	1295	"Modified: / 22-12-2015 / 12:56:26 / Jan Vrany <jan.vrany@fit.cvut.cz>"
3270 36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1296	!
36103ffce3eb class: BlockNode Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3265 diff changeset	1297
2325 445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1298	isJavaScriptBlock
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1299	^ false
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1300	!
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1301
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1302	isSingleExpressionBlock
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1303	^ statements notNil
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1304	and:[ statements nextStatement isNil
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1305	and:[ statements isSimpleExpression ]]
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1306	! !
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1307
2596 bb8c6fe79ce8 - added acceptVisior: Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2501 diff changeset	1308	!BlockNode methodsFor:'visiting'!
bb8c6fe79ce8 - added acceptVisior: Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2501 diff changeset	1309
bb8c6fe79ce8 - added acceptVisior: Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2501 diff changeset	1310	acceptVisitor:aVisitor
bb8c6fe79ce8 - added acceptVisior: Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2501 diff changeset	1311	"Double dispatch back to the visitor, passing my type encoded in
bb8c6fe79ce8 - added acceptVisior: Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2501 diff changeset	1312	the selector (visitor pattern)"
bb8c6fe79ce8 - added acceptVisior: Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2501 diff changeset	1313
bb8c6fe79ce8 - added acceptVisior: Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2501 diff changeset	1314	"stub code automatically generated - please change if required"
bb8c6fe79ce8 - added acceptVisior: Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2501 diff changeset	1315
bb8c6fe79ce8 - added acceptVisior: Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2501 diff changeset	1316	^ aVisitor visitBlockNode:self
4510 fe0db46b20fe #OTHER by exept Claus Gittinger <cg@exept.de> parents: 4481 diff changeset	1317	!
fe0db46b20fe #OTHER by exept Claus Gittinger <cg@exept.de> parents: 4481 diff changeset	1318
fe0db46b20fe #OTHER by exept Claus Gittinger <cg@exept.de> parents: 4481 diff changeset	1319	childrenDo:aBlock
fe0db46b20fe #OTHER by exept Claus Gittinger <cg@exept.de> parents: 4481 diff changeset	1320	self statements:statements do:aBlock
2596 bb8c6fe79ce8 - added acceptVisior: Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2501 diff changeset	1321	! !
bb8c6fe79ce8 - added acceptVisior: Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2501 diff changeset	1322
366 3be89590df22 checkin from browser Claus Gittinger <cg@exept.de> parents: 333 diff changeset	1323	!BlockNode class methodsFor:'documentation'!
148 ef0e604209ec version method at the end Claus Gittinger <cg@exept.de> parents: 140 diff changeset	1324
2750 b6e4ba4a4410 added: #withExpression:in: Claus Gittinger <cg@exept.de> parents: 2749 diff changeset	1325	version
3893 620475e6df71 #REFACTORING by stefan Stefan Vogel <sv@exept.de> parents: 3602 diff changeset	1326	^ '$Header$'
2750 b6e4ba4a4410 added: #withExpression:in: Claus Gittinger <cg@exept.de> parents: 2749 diff changeset	1327	!
b6e4ba4a4410 added: #withExpression:in: Claus Gittinger <cg@exept.de> parents: 2749 diff changeset	1328
2501 ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	1329	version_CVS
3893 620475e6df71 #REFACTORING by stefan Stefan Vogel <sv@exept.de> parents: 3602 diff changeset	1330	^ '$Header$'
2325 445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1331	!
445e5e469773 category change Claus Gittinger <cg@exept.de> parents: 2152 diff changeset	1332
3645 695fc26d7207 Block source position support [1/2]: generate SOURCEPOS pseudoinstruction before each MAKE_BLOCK insn Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3602 diff changeset	1333	version_HG
695fc26d7207 Block source position support [1/2]: generate SOURCEPOS pseudoinstruction before each MAKE_BLOCK insn Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3602 diff changeset	1334
695fc26d7207 Block source position support [1/2]: generate SOURCEPOS pseudoinstruction before each MAKE_BLOCK insn Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3602 diff changeset	1335	^ '$Changeset: <not expanded> $'
695fc26d7207 Block source position support [1/2]: generate SOURCEPOS pseudoinstruction before each MAKE_BLOCK insn Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3602 diff changeset	1336	!
695fc26d7207 Block source position support [1/2]: generate SOURCEPOS pseudoinstruction before each MAKE_BLOCK insn Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3602 diff changeset	1337
2501 ba3ad35e28a6 Jan's changes Jan Vrany <jan.vrany@fit.cvut.cz> parents: 2383 diff changeset	1338	version_SVN
3182 a1e60c9000f4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 2750 diff changeset	1339	^ '$ Id $'
148 ef0e604209ec version method at the end Claus Gittinger <cg@exept.de> parents: 140 diff changeset	1340	! !
3182 a1e60c9000f4 class: BlockNode Claus Gittinger <cg@exept.de> parents: 2750 diff changeset	1341

author	Jan Vrany <jan.vrany@labware.com>
	Thu, 27 Oct 2022 14:53:59 +0100
branch	jv
changeset 4735	3b11fb3ede98
parent 4724	7f06668ac292
permissions	-rw-r--r--