DIRECTORY
ViewerPrivate USING [Screen],
ViewerSpecs USING [iconHeight, iconWidth];

ViewerSpecsImpl: CEDAR PROGRAM
EXPORTS ViewerPrivate, ViewerSpecs
~ BEGIN OPEN ViewerSpecs;

Screen: TYPE ~ ViewerPrivate.Screen;

nColumns: PUBLIC NAT м 4; -- Several scattered data structures depend on this, so don't change it dynamically.

bwScreenWidth: PUBLIC NAT м 0;
requestedBWScreenWidth: NAT м 0;
bwScreenHeight: PUBLIC NAT м 0;
requestedBWScreenHeight: NAT м 0;

colorScreenWidth: PUBLIC NAT м 0;
colorScreenHeight: PUBLIC NAT м 0;

windowBorderSize: PUBLIC NAT м 0;
captionHeight: PUBLIC NAT м 0;
menuHeight: PUBLIC NAT м 0;
requestedMenuHeight: NAT м 0;
menuBarHeight: PUBLIC NAT м 0;
scrollBarW: PUBLIC NAT м 0;

messageWindowHeight: PUBLIC NAT м 0;

openLeftLeftX: PUBLIC NAT м 0;
openLeftWidth: PUBLIC NAT м 0;
requestedOpenLeftWidth: NAT м 0;

openRightLeftX: PUBLIC NAT м 0;
openRightWidth: PUBLIC NAT м 0;

openTopY: PUBLIC NAT м 0;
openBottomY: PUBLIC NAT м 0;
requestedOpenBottomY: NAT м 0;

iconLeftX: PUBLIC NAT м 0;
iconAreaWidth: NAT м 0;
iconRightX: PUBLIC NAT м 0;
iconBottomY: PUBLIC NAT м 0;
iconAreaHeight: NAT м 0;
iconTopY: PUBLIC NAT м 0;

iconSpacing: PUBLIC NAT м 0;
iconRowHeight: PUBLIC NAT м 0;
iconRows: PUBLIC NAT м 0;
iconColumnWidth: PUBLIC NAT м 0;
iconColumns: PUBLIC NAT м 0;

SetDefaults: PROC ~ {
requestedBWScreenWidth м bwScreenWidth м 1024;
requestedBWScreenHeight м bwScreenHeight м 808;
windowBorderSize м 1;
requestedMenuHeight м menuHeight м 12;
menuBarHeight м 1;
scrollBarW м 12;
messageWindowHeight м 16;
openLeftLeftX м 0;
requestedOpenLeftWidth м openLeftWidth м 600;
requestedOpenBottomY м openBottomY м iconHeight+4;
iconSpacing м 4; -- should be multiple of 4 for grey background alignment
iconLeftX м <<4>> 0; -- should be multiple of 4 for grey background alignment
iconBottomY м 0;
};

ComputeDependencies: PROC ~ {
ComputeVerticalDependencies[];
ComputeIconDemands[];
ComputeHorizontalDependencies[];
ComputeIconDependencies[];
};

ComputeVerticalDependencies: PROC ~ {

captionHeight м menuHeight;
iconRowHeight м iconHeight+iconSpacing;
IF requestedBWScreenHeight >= requestedOpenBottomY + messageWindowHeight THEN
bwScreenHeight м requestedBWScreenHeight
ELSE
bwScreenHeight м requestedOpenBottomY + messageWindowHeight;
IF bwScreenHeight < iconBottomY + iconRowHeight + messageWindowHeight
THEN bwScreenHeight м  iconBottomY + iconRowHeight + messageWindowHeight;
openBottomY м requestedOpenBottomY;
openTopY м bwScreenHeight-messageWindowHeight;
};

ComputeIconDemands: PROC ~ {
iconRows м (openTopY-iconBottomY)/iconRowHeight;
iconAreaHeight м iconRows*iconRowHeight;
iconTopY м iconBottomY+iconAreaHeight;
iconColumnWidth м iconWidth+iconSpacing;
};

ComputeHorizontalDependencies: PROC ~ {

IF requestedBWScreenWidth >= iconColumnWidth + iconLeftX THEN
bwScreenWidth м requestedBWScreenWidth
ELSE bwScreenWidth м iconColumnWidth + iconLeftX;
IF bwScreenWidth >= requestedOpenLeftWidth + openLeftLeftX
THEN openLeftWidth м requestedOpenLeftWidth
ELSE {
IF bwScreenWidth < openLeftLeftX THEN bwScreenWidth м openLeftLeftX;
openLeftWidth м (bwScreenWidth-openLeftLeftX)/2;
};
openRightLeftX м openLeftLeftX+openLeftWidth;
openRightWidth м bwScreenWidth-openRightLeftX;
};

ComputeIconDependencies: PROC ~ {
iconColumns м (bwScreenWidth-iconLeftX+iconSpacing)/iconColumnWidth;
iconAreaWidth м iconColumns*iconColumnWidth-iconSpacing;
iconRightX м iconLeftX+iconAreaWidth;
};

SetOpenLeftWidth: PUBLIC PROC [leftColumnWidth: NAT, screen: Screen м main] ~ {
requestedOpenLeftWidth м openLeftWidth м MIN[leftColumnWidth, bwScreenWidth];
ComputeDependencies[];
};
SetOpenBottomY: PUBLIC PROC [bottomY: NAT, screen: Screen м main] ~ {
requestedOpenBottomY м openBottomY м MIN[bottomY, openTopY];
ComputeDependencies[];
};
SetMenuHeight: PUBLIC PROC [height: NAT, screen: Screen м main] ~ {
requestedMenuHeight м menuHeight м MIN[height, 200];
ComputeDependencies[];
};
SetScrollBarWidth: PUBLIC PROC [width: NAT, screen: Screen м main] ~ {
scrollBarW м MIN[width, 200];
};
SetWindowBorderSize: PUBLIC PROC [border: NAT, screen: Screen м main] ~ {
windowBorderSize м MIN[border, 200];
};
SetBWScreenSize: PUBLIC PROC [w, h: NAT] ~ {
requestedBWScreenWidth м bwScreenWidth м w;
requestedBWScreenHeight м bwScreenHeight м h;
ComputeDependencies[];
};
SetColorScreenSize: PUBLIC PROC [w, h: NAT] ~ {
colorScreenWidth м w; colorScreenHeight м h;
ComputeDependencies[];
};
SetScreenSize: PUBLIC PROC [w, h: NAT, screen: Screen м main] ~ {
requestedBWScreenWidth м bwScreenWidth м w;
requestedBWScreenHeight м bwScreenHeight м h;
ComputeDependencies[];
};

SetDefaults[];
ComputeDependencies[];

END.
   	<  
ViewerSpecsImpl.mesa
Copyright ╙ 1985, 1986, 1989, 1991 by Xerox Corporation.  All rights reserved.
Edited by McGregor on June 9, 1982 4:55 pm
Last Edited by: Maxwell, December 17, 1982 9:58 am
Michael Plass, December 2, 1991 5:14 pm PST
Bier, January 29, 1989 2:44:36 pm PST
Doug Wyatt, April 15, 1985 0:29:55 am PST
Willie-s, October 9, 1991 5:56 pm PDT

Inputs:
menuHeight, messageWindowHeight, requestedBWScreenHeight, requestedOpenBottomY, iconHeight, iconSpacing, iconBottomY
Outputs:
iconRowHeight, captionHeight, bwScreenHeight, openTopY, openBottomY, iconTopY
Invariants:
captionHeight = menuHeight;
iconRowHeight = iconHeight+iconSpacing;
openTopY >= openBottomY
openTopY - iconBottomY >= iconRowHeight; -- allow for at least one row of icons
bwScreenHeight = openTopY + messageWindowHeight;
Preferences:
openBottomY = requestedOpenBottomY
bwScreenHeight = requestedBWScreenHeight
Preferences are satisfiable if:
requestedBWScreenHeight >= requestedOpenBottomY + messageWindowHeight, and
requestedBWScreenHeight-messageWindowHeight >= iconBottomY + iconRowHeight
Otherwise:
relax the constraint on bwScreenHeight
Inputs:
openTopY, iconBottomY, iconRowHeight, iconWidth, iconSpacing
Outputs:
iconRows, iconAreaHeight, iconTopY, iconColumnWidth
Invariants:
iconRows >= 1

Inputs:
openLeftLeftX, requestedOpenLeftWidth, requestedBWScreenWidth, iconColumnWidth, iconLeftX
Outputs:
openLeftWidth, bwScreenWidth, openRightLeftX, openRightWidth
Invariants:
openLeftWidth >= 0;  openRightWidth >= 0;  openLeftLeftX >= 0;
openRightLeftX = openLeftLeftX+openLeftWidth;
bwScreenWidth = openLeftLeftX + openLeftWidth+ openRightWidth;
bwScreenWidth >= iconColumnWidth + iconLeftX
Preferences:
bwScreenWidth = requestedBWScreenWidth
openLeftWidth = requestedOpenLeftWidth
Preferences are satisfiable if:
requestedBWScreenWidth >= iconColumnWidth + iconLeftX
requestedBWScreenWidth >= requestedOpenLeftWidth + openLeftLeftX, and
Otherwise:
relax the constraint on requestedBWScreenWidth to satisfy the icon constraint,
then, if there is still a problem, relax the constraint on requestedOpenLeftWidth, letting openLeftWidth = (requestedBWScreenWidth-openLeftLeftX)/2;
Inputs:
iconLeftX, bwScreenWidth, iconColumnWidth, iconSpacing
Outputs:
iconColumns, iconAreaWidth, iconRightX
Invariants:
iconColumns >= 1


ComputeDependencies[];

ComputeDependencies[];


Э╩├  ХNewlineDelimiter
Ц(cedarcode) styleЩ codeЪ╧cЩKЪЬ
╧eЬCЩNKЪЭ*Щ*KЪЬ2Щ2KЩ+KЩ%KЩ)KЩ%KЩ ЧЪ╧k	Ш	KЪЬЯЬ
ШKЪЬЯЬШ*ЧKШ KЪ╨blЬЯЬЯШKЪЯЬШ"KЪЬЯЬЯЬШKШ KЪЬЯЬШ$KШ ЪЬ
ЯЬЯЬЭTШnKШ ЧKЪЬЯЬЯЬШKЪЬЯЬШ KЪЬЯЬЯЬШKЪЬЯЬШ!KШ KЪЬЯЬЯЬШ!KЪЬЯЬЯЬШ"KШ KЪЬЯЬЯЬШ!KЪЬЯЬЯЬШKЪЬЯЬЯЬШKЪЬЯЬШKЪЬЯЬЯЬШKЪЬЯЬЯЬШKШ KЪЬЯЬЯЬШ$KШ KЪЬЯЬЯЬШKЪЬЯЬЯЬШKЪЬЯЬШ KШ KЪЬЯЬЯЬШKЪЬЯЬЯЬШKШ KЪЬ
ЯЬЯЬШKЪЬЯЬЯЬШKЪЬЯЬШKШ KЪЬЯЬЯЬШKЪЬЯЬШKЪЬЯЬЯЬШKЪЬЯЬЯЬШKЪЬЯЬШKЪЬ
ЯЬЯЬШKШ KЪЬЯЬЯЬШKЪЬЯЬЯЬШKЪЬ
ЯЬЯЬШKЪЬЯЬЯЬШ KЪЬЯЬЯЬШKШ Ъ╧nЬЯЬШKЪЬ.Ш.KЪЬ/Ш/KЪЬШKЪЬ&Ш&KЪЬШKЪЬШKЪЬШKЪЬШKЪЬ-Ш-KЪЬ2Ш2KЪЬЭ8ШIKЪЬЭ8ШMKЪЬШKЪЬШKШ ЧЪбЬЯЬШKШKШKЪЬ Ш KЪЬШKШKШ ЧЪбЬЯЬШ%ЩKЪ╧b
ЬвЬвSЩtЧЩKЪЬMЩMЧЩKЪЬв
ЬЩKЪЬв
ЬвЬЩ'KЪЬЩKЪЬвЬ9ЩOKЪЬвЬЩ0ЧЩKЪЬ"Щ"KЪЬ(Щ(ЧЩKЪЬJЩJKЪЬвЬвЬЩJЧЩ
KЪЬ&Щ&ЧKШ KЪЬв
ЬШKЪЬв
ЬвЬШ'ЪЯЬGЯШMKЪЬ(Ш(ЧЪЯШKЪЬ<Ш<ЧЪЯЬCШEKЪЯЬEШIЧKЪЬ#Ш#KЪЬ.Ш.KШKШ ЧЪбЬЯЬШЩKЪвЬвЬв%Щ<ЧЩKЪЬ3Щ3ЧЩKЪЬЩЧKЩ KЪЬвЬвЬвЬШ0KЪЬвЬШ(KЪЬ&Ш&KЪЬв	ЬвЬШ(KШKШ ЧЪбЬЯЬШ'ЩKЪв%Ьв2ЩYЧЩKЪЬ<Щ<ЧЩKЪЬ+вЬЩ>KЪЬвЬЩ-KЪЬ>Щ>KЪЬ,Щ,ЧЩKЪЬ&Щ&KЪЬ&Щ&ЧЩKЪЬ5Щ5KЪЬEЩEЧЩ
KЪЬNЩNKЪЬФЩФKШ ЧЪЯЬ7ЯШ=KЪЬвШ&KЪЯЬ-Ш1ЧЪЯЬ8Ш:KЪЯЬвШ+ЪЯЬШKЪЯЬЯЬвЬШDKЪЬвЬШ0KШЧЧKЪЬвЬШ-KЪЬ.Ш.KШKШ ЧЪбЬЯЬШ!ЩKЪв6Щ6ЧЩKЪЬ&Щ&ЧЩKЪЬЩЧKЪЬвЬв	вЬвЬШDKШ8KЪЬв	ЬШ%KШKШ ЧЪбЬЯЬЯЬЯЬШOKЪЬ)ЯЬ!ШMKЪЬШKШKЩ ЧЪбЬЯЬЯЬЯЬШEKЪЬ%ЯЬШ<KЪЬШKШKЩ ЧЪбЬЯЬЯЬ
ЯЬШCKЪЬ#ЯЬШ4KЪЬШKШKЩ ЧЪбЬЯЬЯЬ	ЯЬШFKЪЬЯЬШKЪЬЩKШKЩ ЧЪбЬЯЬЯЬ
ЯЬШIKЪЬЯЬШ$KЪЬЩKШKЩ ЧЪбЬЯЬЯЬЯЬШ,KЪЬ+Ш+KЪЬ-Ш-KЪЬШKШKЩ ЧЪбЬЯЬЯЬЯЬШ/KЪЬ,Ш,KЪЬШKШKЩ ЧЪбЬЯЬЯЬЯЬШAKЪЬ+Ш+KЪЬ-Ш-KЪЬШKШKЩ ЧKШ KШKЪЬШKШ KЪЯЬШЧ ЕЧ    $  ##  