DIRECTORY Basics, IO, SymTab;BoolEx: CEDAR DEFINITIONS = BEGINExpression:		TYPE = REF ANY;OpIndex:			TYPE = {mach, out, var, not, and, nand, or, nor, func};OpNm:			PROC[op: OpIndex]	RETURNS[nm: IO.ROPE];NmOp:			PROC[nm: IO.ROPE]	RETURNS[op: OpIndex];WriteExprFile:			PROC[expr:	Expression, indentedLevs: INT _ 2];ReadExprFile:			PROC[name:	IO.ROPE]		RETURNS[expr:	Expression];Compare:				PROC[i0, i1:	Expression]	RETURNS[comp:	Basics.Comparison];Sort:						PROC[expr:	Expression];Copy:					PROC[expr:	Expression] 	RETURNS[new:	Expression];OpExpr:					PROC[op: OpIndex, e1, e2: Expression] RETURNS[Expression];ExpressionStats: PROC [expr: Expression] RETURNS [exprStatRope: IO.ROPE];ScanExpression: PROC[expr: Expression, eachInput: EachInputProc _ NIL, eachOutput: EachOutputProc _ NIL]RETURNS[machName: IO.ROPE _ NIL];EachInputProc:	TYPE = PROC [name: IO.ROPE];EachOutputProc:	TYPE = PROC [name: IO.ROPE, expr: Expression];GetExpressionTables: PUBLIC PROC[mach: Expression]RETURNS[machName: IO.ROPE, inTab, outTab: SymTab.Ref];ReplaceID: PROC[old, new: IO.ROPE, symTab: SymTab.Ref];Create:	PROC[name: IO.ROPE] RETURNS[ctx: Context];Declare:	PROC[ctx: Context, name: IO.ROPE, io: InOut, size: NAT _ 1] RETURNS[ix: NAT];If:			PROC[ctx: Context, f, v: NAT, m: NAT _ default];And:		PROC[ctx: Context, f, v: NAT, m: NAT _ default];AddOut:	PROC[ctx: Context, f, v: NAT, m: NAT _ default];EndIf:	PROC[ctx: Context];Finish:	PROC[ctx: Context] RETURNS[mach: LIST OF REF];Context:		TYPE = REF ContextRec;ContextRec:	TYPE = RECORD[name:			IO.ROPE,expr:			LIST OF REF,logic:			LIST OF CurrentLogic,data:			LIST OF CurrentData,declares:		LIST OF Declaration,	-- Used during	declarationssignals:		Signals,					-- Used after all declarationstermIndex:	NAT,outTermTab:	SymTab.Ref,invTab:		SymTab.Ref];CurrentLogic:	TYPE = LIST OF FieldValMask	_ NIL;CurrentData:		TYPE = LIST OF FieldValMask	_ NIL;FieldValMask:	TYPE = RECORD[f,v,m: NAT	_ default];Signals:			TYPE = REF SignalSeqRec;SignalSeqRec:	TYPE = RECORD [SEQUENCE size: NAT OF Declaration];Declaration:		TYPE = RECORD [name: IO.ROPE, io: InOut, size: NAT, index: NAT];InOut:			TYPE = {in, out};default:			NAT = LAST[NAT];END.  ╩  BoolEx.mesaCopyright ╙ 1986, 1987 by Xerox Corporation.  All rights reserved.Barth, July 17, 1987 5:42:41 pm PDTDon Curry July 21, 1987 9:13:40 am PDTLast Edited by: Don Curry August 21, 1987 5:32:57 pm PDTBoolean Expressions.  See also Bollix:  To throw into disorder.ExpressionMachineDefinition -- A named collection of VariableDefinitionsA Machine Definition is a list where the list operator is "MACH", the first argument is a rope, and the remaining arguments are VariableDefinitions.VariableDefinition -- An output or intermediate variable definitionA Variable Definition is a 3 element list where the list operator is "VAR" or "OUT", the first argument is a rope, and the remaining argument is a SimpleExpression.SimpleExpressionA SimpleExpression is a rope or LIST OF REF.  If it is a rope then the rope is the name of a variable or primary input.  If it is a LIST OF REF then the first member of the list is a REF OpNm[not..nor] and the rest of the list consists of subSimpleExpressions.Basic OperationsScanning and enumerationBuilds Symbol tables.Table values are expressions.val=key for leaf inputs in inTab.Expression Generation ProceduresThese are useful for writing Expression Generators.You create a context:	ctx _ Create[]Declare ins and outs:	id: NAT _ ctx.Declare[name, in/out, size]Specify the function:	ctx.If[id, val]; ctx.AddOut[id, val]; ctx.EndIf[]; ...And finish:				expr _ ctx.Finish[]Expression Generation Types (PRIVATE) Э╩з  Ц"cedar" styleШ Ц"Cedar" styleЪЬЩJЪЬBЩBJЪЬ ╧kЩ#JЪЬ#ЭЩ&IcodeЪЬ8Щ8ЧЩ JЪЬ╧nЬЩ?ЧJШ JЪЭ	ЬЭЬ	ШJШ JЪЮЬЭЬЭЬЭШ!headЪ╧l
Щ
ЪЬ╧c,Щ>JЪЬФЩФЧЪЬа0ЩCJЪЬдЩдЧЪЬЩJЪЬ╖ЭЬЮЬEЩДJШ ЧJЪЬЭЬЭЬЭЬШЪЬЭЬ3ШBJШ ЧJЪ
ЮЬЭЬЭЬЭЬЭЬШ/JЪ
ЮЬЭЬЭЬЭЬЭЬШ/ЧЪЯЩJЪЮЬЭЬ!ЭЬШ?JЪ
ЮЬЭЬЭЬЭЬЭЬШ?JЪЮЬЭЬЭЬШFJЪЮЬЭЬШ"JЪЮЬЭЬЭЬШ;JЪЮЬЭЬ"ЭЬШFЧЪЯЩJЪ
ЮЬЭЬЭЬЭЬЭЬШIЪЮЬЭШЪЬ.ЭЬЭЬШTJЪЭЬЭЬЭЬЭЬШ!ЧЧJЪ	ЬЭЬЭЬЭЬЭЬШ+JЪ	ЬЭЬЭЬЭЬЭЬШ>ЪЮЬЭЬЭЬШ2ЪЭЬЭЬЭЬШ6ЪЬЩJЪЬЩJЪЬ!Щ!ЧЧЧJЪЮ	ЬЭЬЭЬЭЬШ7ЧЪЯ Щ Щ3JЪЬ$Щ$JЪЬЭЬ"Щ?JЪЬLЩLJЪЬ"Щ"JЩ ЧJЪ
ЮЬЭЬЭЬЭЬЭЬШ2JЪЮЬЭЬЭЬЭЬЭЬЭЬШVJЪЮЬЭЬЭЬЭЬШ6JЪЮЬЭЬЭЬЭЬШ6JЪЮЬЭЬЭЬЭЬШ8JЪЮЬЭЬШJЪЮЬЭЬЭЬЭЬЭЬЭЬШ6ЧЪЯ╧s	Щ%JЪЬ
ЭЬЭЬШ ЪЬЭЬЭЬШJЪЬЭЬЭЬШJЪЬЭЬЭЬЭШJЪЬ	ЭЬЭЬШJЪЬЭЬЭЬШJЪЬЭЬЭЬаШ;JЪЬаШ5JЪЬЭЬШJЪЬШJЪЬШЧJШ JЪ	ЬЭЬЭЬЭЬЭЬШ0JЪ	ЬЭЬЭЬЭЬЭЬШ0JЪЬЭЬЭЬЭЬШ2JЪЬЭЬЭЬШ#JЪЬЭЬЭЬЭЬЭЬЭЬШ@JЪЬЭЬЭЬЭЬЭЬЭЬ	ЭЬШNJЪЬ	ЭЬШЪЬЭЬЭЬЭЬШJШ ЧЧJЪЭЬШJШ Ч ЕЧ    о    