Class new title: ParsedAssignment
	subclassof: Object
	fields: 'var expr elide'
	declare: '';
	sharing: ByteCodes

emitForEffect: t1 on: t2 
	[expr emitForValue: t1 on: t2.
	t2 pop: 1.
	elide  [t1 next_ toSmash]
	t1 next_ toSmashPop.
	var emitBytes: t1]

emitForValue: t1 on: t2 
	[expr emitForValue: t1 on: t2.
	t1 next_ toSmash.
	var emitBytes: t1]

emittedVariable [var]

expr [expr]

findMacros: t1 compilerTemps: t2 
	[var findMacros: t1 compilerTemps: t2.
	expr findMacros: t1 compilerTemps: t2]

firstPush 
	[expr firstPush]

isForFromInit: t1 | t2 t3 t4 
	[(expr isnt: ParsedMessage) or expr op  toAsStream  [false]
	t1 isnt: ParsedLoop  [false]
	t3 _ t1 whileExpr.
	(t3 isnt: ParsedBlock) or t3 position  2  [false]
	t3  1 isnt: ParsedAssignment  [false]
	t4 _ (t3  1) expr.
	t4 isnt: ParsedMessage  [false]
	t4 rcvr  var or t4 op  toNext  [false]
	true]

isForFromToInit: t1 loop: t2 | t3 t4 t5 
	[(t1 isnt: ParsedAssignment) or (t2 isnt: ParsedLoop)  [false]
	[t1 expr  toLoad0  []
	t1 expr isnt: ParsedMessage  [false]
	t1 expr op  toMinus or t1 expr args  toLoad1  [false]].
	t3 _ t2 whileExpr.
	(t3 isnt: ParsedBlock) or t3 position  2  [false]
	t4 _ t3  1.
	t4 isnt: ParsedAssignment  [false]
	t4 var  t1 var  [false]
	(t4 expr isnt: ParsedMessage) or t4 expr op  toPlus  [false]
	t4 expr rcvr  toLoad1 or t4 expr args  t1 var  [false]
	t5 _ t3  2.
	t5 isnt: ParsedMessage  [false]
	(t5 rcvr  var or t5 op  toGeq) or t5 args  t4 var  [false]
	true]

printon: t1 
	[t1 append: '('.
	t1 print: var.
	t1 append: '_'.
	t1 print: expr.
	t1 append: ')']

printon: t1 indent: t2 precedence: t3 forValue: t4 decompiler: t5 
	[[t3 > 1  [t1 append: '(']].
	var printon: t1 indent: t2 precedence: 1 forValue: true decompiler: t5.
	t1 append: ' _ '.
	expr printon: t1 indent: t2 + 2 precedence: 1 forValue: true decompiler: t5.
	t3 > 1  [t1 append: ')']]

sizeForEffect: t1 
	[elide _ t1  var.
	expr sizeForValue + 1 + [elide  [0]
	var sizeForValue]]

sizeForValue 
	[expr sizeForValue + 1 + var sizeForValue]

var [var]

var: t1 expr: t2 
	[var _ t1.
	expr _ t2]