JunoBody.mesa
Last Edited January 13, 1983 10:09 pm
Last Edited by: Gnelson, January 13, 1983 10:16 pm
Last Edited by: Stolfi, June 12, 1984 4:00:33 pm PDT

DIRECTORY

JunoStorage USING [Point, Coords, Frame],
JunoParseUnparse USING [Se];

JunoBody: DEFINITIONS =

BEGIN OPEN

Stor: JunoStorage,
Parser: JunoParseUnparse;

Point: TYPE = Stor.Point;

Coords: TYPE = Stor.Coords;

Frame: TYPE = Stor.Frame;

Se: TYPE = Parser.Se;

MakeBody: PROC[frame: Frame] RETURNS [body: Se];

Makes a juno expression out of the image points with wn#0 and all constraints and actions involving only those points.

Wound points with fixed=TRUE will be free in the resulting expression. Usually, such points will be the formal parameters of the procedure being created. All other wound pointswill be declared as local variables, with hints given by their current positions relative to the given frame.

Points with wn=0 will not appear in the resulting expression.

Asumes all points with wn#0 have distinct names.

END.