DIRECTORY
Convert USING [CardFromRope, RopeFromCard],
GriffinColor USING [ColorToString, GetNames, StringToColor],
GriffinControllerMenu USING [],
GriffinData USING [DataRec],
GriffinKernel USING [Data, DataRec],
GriffinMenu USING [AddMenuItem, BugItem, CreateMenu, ForAllMenuItems, HideMenu, MenuHandle, MenuItemHandle, MenuProc, MenuString, SelectOnly, SetMenuString, ShowMenu, WhichMenu],
GriffinMenuInterface USING [],
GriffinMenuPositions USING [centerMenuPos, colorControlMenuPos, colorMenuPos, fontMenuPos, lineColorMenuPos, textMenuPos, thickMenuPos, typeMenuPos],
GriffinPoint USING [ObjValToScrVal, ScrValToObjVal],
GriffinRefresh USING [RestoreScreen],
GriffinStyle USING [Bold, BoldItalic, Color, FontDescriptor, FontFromInternalFont, InternalFont, InternalFontFromFont, Italic, Regular, StringRotation, StyleHandle],
GriffinUserMessage USING [UserMessage],
Rope USING [Cat, Equal, Fetch, Length, ROPE, Substr],
ViewerTools USING [GetSelectionContents];
GriffinControllerMenuImpl:
CEDAR
PROGRAM
IMPORTS Convert, GriffinColor, GriffinMenu, GriffinMenuPositions, GriffinPoint, GriffinRefresh, GriffinStyle, GriffinUserMessage, Rope, ViewerTools
EXPORTS GriffinControllerMenu, GriffinMenuInterface, GriffinKernel = BEGIN
ROPE: TYPE = Rope.ROPE;
Data: TYPE = REF DataRec;
DataRec: PUBLIC TYPE = GriffinData.DataRec;
InitCaptionMenu:
PUBLIC
PROC [data: Data] = {
default: GriffinMenu.MenuItemHandle;
data.textMenu ← GriffinMenu.CreateMenu[data, vertical, GriffinMenuPositions.textMenuPos, NIL];
default ← GriffinMenu.AddMenuItem[data.textMenu, "0", TextDir];
[] ← GriffinMenu.AddMenuItem[data.textMenu, "90", TextDir];
[] ← GriffinMenu.AddMenuItem[data.textMenu, "180", TextDir];
[] ← GriffinMenu.AddMenuItem[data.textMenu, "270", TextDir];
GriffinMenu.BugItem[default];
data.centerMenu ← GriffinMenu.CreateMenu[data, vertical, GriffinMenuPositions.centerMenuPos, NIL];
default ← GriffinMenu.AddMenuItem [data.centerMenu, "left", SetCenter];
[] ← GriffinMenu.AddMenuItem [data.centerMenu, "centered", SetCenter];
[] ← GriffinMenu.AddMenuItem [data.centerMenu, "right", SetCenter];
GriffinMenu.BugItem[default];
data.typeMenu ← GriffinMenu.CreateMenu[data, vertical, GriffinMenuPositions.typeMenuPos, NIL];
default ← GriffinMenu.AddMenuItem [data.typeMenu, "normal", SetType];
[] ← GriffinMenu.AddMenuItem [data.typeMenu, "stack", SetType]; --not implemented
GriffinMenu.BugItem[default];
data.fontMenu ← GriffinMenu.CreateMenu[data, vertical, GriffinMenuPositions.fontMenuPos, NIL];
data.fontItem ← GriffinMenu.AddMenuItem[data.fontMenu, "Helevetica10", ChangeFont];
SetFontFromName[data, "Helvetica10"];
};
InitColorMenu:
PUBLIC
PROC [data: Data] = {
default, new: GriffinMenu.MenuItemHandle;
names: LIST OF ROPE ← GriffinColor.GetNames[]; -- gets color names
data.colorMenu ← GriffinMenu.CreateMenu[data, vertical, GriffinMenuPositions.colorMenuPos, "Areas"];
FOR l:
LIST
OF
ROPE ← names, l.rest
UNTIL l=
NIL
DO
new ← GriffinMenu.AddMenuItem[data.colorMenu, l.first, ColorType];
IF Rope.Equal[l.first, "grey", FALSE] THEN default ← new;
ENDLOOP;
GriffinMenu.BugItem[default];
data.lineColorMenu ← GriffinMenu.CreateMenu[data, vertical, GriffinMenuPositions.lineColorMenuPos, "Lines"];
FOR l:
LIST
OF
ROPE ← names, l.rest
UNTIL l=
NIL
DO
new ← GriffinMenu.AddMenuItem[data.lineColorMenu, l.first, ColorType];
IF Rope.Equal[l.first, "black", FALSE] THEN default ← new;
ENDLOOP;
GriffinMenu.BugItem[default];
};
InitShapeMenu:
PUBLIC
PROC [data: Data] = {
default: GriffinMenu.MenuItemHandle;
data.colorControlMenu ← GriffinMenu.CreateMenu[data, vertical, GriffinMenuPositions.colorControlMenuPos, NIL];
[]←GriffinMenu.AddMenuItem[data.colorControlMenu, "Outlined", ColorControl];
[]←GriffinMenu.AddMenuItem[data.colorControlMenu, "Filled", ColorControl];
default←GriffinMenu.AddMenuItem[data.colorControlMenu, "Both", ColorControl];
GriffinMenu.BugItem[default];
data.thickMenu ← GriffinMenu.CreateMenu[data, vertical, GriffinMenuPositions.thickMenuPos, NIL];
[]←GriffinMenu.AddMenuItem [data.thickMenu, "1 pt", SetThickness];
default ←GriffinMenu.AddMenuItem [data.thickMenu, "2 pt", SetThickness];
[]←GriffinMenu.AddMenuItem [data.thickMenu, "3 pt", SetThickness];
[]←GriffinMenu.AddMenuItem [data.thickMenu, "4 pt", SetThickness];
GriffinMenu.BugItem[default];
};
DisplayCaptionMenu:
PUBLIC
PROC [data: Data] = {
GriffinMenu.ShowMenu[data.textMenu];
GriffinMenu.ShowMenu[data.centerMenu];
GriffinMenu.ShowMenu[data.typeMenu];
GriffinMenu.ShowMenu[data.fontMenu];
GriffinRefresh.RestoreScreen[data];
};
UnDisplayCaptionMenu:
PUBLIC
PROC [data: Data] = {
GriffinMenu.HideMenu[data.textMenu];
GriffinMenu.HideMenu[data.centerMenu];
GriffinMenu.HideMenu[data.typeMenu];
GriffinMenu.HideMenu[data.fontMenu];
GriffinRefresh.RestoreScreen[data];
};
DisplayColorMenu:
PUBLIC
PROC [data: Data] = {
GriffinMenu.ShowMenu[data.lineColorMenu];
GriffinMenu.ShowMenu[data.colorMenu];
GriffinRefresh.RestoreScreen[data];
};
UnDisplayColorMenu:
PUBLIC
PROC [data: Data] = {
GriffinMenu.HideMenu[data.colorMenu];
GriffinMenu.HideMenu[data.lineColorMenu];
GriffinRefresh.RestoreScreen[data];
};
DisplayShapeMenu:
PUBLIC
PROC [data: Data] = {
GriffinMenu.ShowMenu[data.colorControlMenu];
GriffinMenu.ShowMenu[data.thickMenu];
GriffinRefresh.RestoreScreen[data];
};
UnDisplayShapeMenu:
PUBLIC
PROC [data: Data] = {
GriffinMenu.HideMenu[data.colorControlMenu];
GriffinMenu.HideMenu[data.thickMenu];
GriffinRefresh.RestoreScreen[data];
};
ColorControl:
PUBLIC GriffinMenu.MenuProc = {
-- PROC [item: MenuItemHandle]
string: ROPE ← GriffinMenu.MenuString[item];
data: Data ← item.menu.data;
style: GriffinStyle.StyleHandle ← data.currentStyle;
GriffinMenu.SelectOnly[item];
SELECT
TRUE
FROM
Rope.Equal[string, "Outlined"] => {
style.outlined ← TRUE;
style.filled ← FALSE;
};
Rope.Equal[string, "Filled"] => {
style.filled ← TRUE;
style.outlined ← FALSE;
};
Rope.Equal[string, "Both"] => {
style.outlined ← TRUE;
style.filled ← TRUE;
};
ENDCASE => ERROR;
};
ColorType:
PUBLIC GriffinMenu.MenuProc = {
string: ROPE ← GriffinMenu.MenuString[item];
data: Data ← item.menu.data;
color: GriffinStyle.Color ← GriffinColor.StringToColor[string];
IF GriffinMenu.WhichMenu[item]=data.colorMenu
THEN data.currentStyle.fillcolor ← color
ELSE data.currentStyle.color ← color;
GriffinMenu.SelectOnly[item];
};
TextDir:
PUBLIC GriffinMenu.MenuProc = {
string: ROPE ← GriffinMenu.MenuString[item];
data: Data ← item.menu.data;
data.currentStyle.stringRotation
←
SELECT
TRUE
FROM
Rope.Equal[string, "0"] => GriffinStyle.StringRotation [or0],
Rope.Equal[string, "90"] => GriffinStyle.StringRotation [or90],
Rope.Equal[string, "180"] => GriffinStyle.StringRotation [or180],
Rope.Equal[string, "270"] => GriffinStyle.StringRotation [or270],
ENDCASE => ERROR;
GriffinMenu.SelectOnly[item];
};
SetCenter:
PUBLIC GriffinMenu.MenuProc = {
string: ROPE ← GriffinMenu.MenuString[item];
data: Data ← item.menu.data;
data.currentStyle.anchor
←
SELECT
TRUE
FROM
Rope.Equal[string, "left"] => left,
Rope.Equal[string, "centered"] => center,
Rope.Equal[string, "right"] => right,
ENDCASE => ERROR;
GriffinMenu.SelectOnly[item];
};
SetType:
PUBLIC GriffinMenu.MenuProc = {
string: ROPE ← GriffinMenu.MenuString[item];
data: Data ← item.menu.data;
data.currentStyle.stringType
←
SELECT
TRUE
FROM
Rope.Equal[string, "normal"] => normal,
Rope.Equal[string, "stack"] => stack,
ENDCASE => ERROR;
GriffinMenu.SelectOnly[item];
};
ChangeFont: GriffinMenu.MenuProc = {
name: ROPE ← ViewerTools.GetSelectionContents[];
data: Data ← item.menu.data;
IF name=NIL OR Rope.Equal[name, ""] THEN SIGNAL GriffinUserMessage.UserMessage["Please select a name like Helvetica10B"];
SetFontFromName[data, name];
GriffinMenu.ShowMenu[data.fontMenu];
GriffinRefresh.RestoreScreen[data];
};
SetFontFromName:
PROC [data: Data, name:
ROPE] = {
style: GriffinStyle.StyleHandle ← data.currentStyle;
iFont: GriffinStyle.InternalFont ← NEW[GriffinStyle.FontDescriptor];
nchars, startSize, startFace: INT ← 0;
findSize: BOOLEAN ← TRUE;
findFace: BOOLEAN ← FALSE;
nchars ← Rope.Length[name];
FOR i:
INT
IN [0..nchars)
DO
IF findSize
THEN
IF Rope.Fetch[name, i]
IN ['0..'9]
THEN {
startSize ← i; findFace ← TRUE; findSize ← FALSE;
};
IF findFace THEN IF Rope.Fetch[name, i] NOT IN ['0..'9] THEN {startFace ← i; EXIT;};
ENDLOOP;
IF startFace=0
THEN {
iFont.face ← GriffinStyle.Regular;
startFace ← nchars
}
ELSE {
face: ROPE ← Rope.Substr[base: name, start: startFace, len: nchars-startFace];
iFont.face ←
SELECT
TRUE
FROM
Rope.Equal[face, "B", FALSE] => GriffinStyle.Bold,
Rope.Equal[face, "I", FALSE] => GriffinStyle.Italic,
Rope.Equal[face, "BI", FALSE] => GriffinStyle.BoldItalic,
Rope.Equal[face, "IB", FALSE] => GriffinStyle.BoldItalic,
Rope.Equal[face, "R", FALSE] => GriffinStyle.Regular,
ENDCASE => 10; --an arbitrary error number
IF iFont.face=10 THEN SIGNAL GriffinUserMessage.UserMessage[Rope.Cat["Invalid face code: ", face]];
};
IF startSize=0 THEN SIGNAL GriffinUserMessage.UserMessage["Include the point size in the name, ie: Helvetica10"];
iFont.name ← Rope.Substr[base: name, start: 0, len: startSize];
iFont.points ← Convert.CardFromRope[Rope.Substr[base: name, start: startSize, len: startFace-startSize]];
style.font ← GriffinStyle.FontFromInternalFont[iFont]; --catch font not found here;
GriffinMenu.SetMenuString[data.fontItem, NameFromFont[iFont]];
};
NameFromFont:
PROC [iFont: GriffinStyle.InternalFont]
RETURNS [
ROPE] = {
points: ROPE ← Convert.RopeFromCard[iFont.points];
face:
ROPE ←
SELECT iFont.face
FROM
GriffinStyle.Bold => "B",
GriffinStyle.Italic => "I",
GriffinStyle.BoldItalic => "BI",
ENDCASE => "";
RETURN[Rope.Cat[iFont.name, points, face]];
};
SetThickness:
PUBLIC GriffinMenu.MenuProc = {
string: ROPE ← GriffinMenu.MenuString[item];
data: Data ← item.menu.data;
data.currentStyle.width ←
SELECT
TRUE
FROM
Rope.Equal[string, "1 pt"] => GriffinPoint.ScrValToObjVal[1],
Rope.Equal[string, "2 pt"] => GriffinPoint.ScrValToObjVal[2],
Rope.Equal[string, "3 pt"] => GriffinPoint.ScrValToObjVal[3],
Rope.Equal[string, "4 pt"] => GriffinPoint.ScrValToObjVal[4],
ENDCASE => ERROR;
GriffinMenu.SelectOnly[item];
};
SetStyleMenus:
PUBLIC
PROC [data: Data, style: GriffinStyle.StyleHandle] = {
iFont: GriffinStyle.InternalFont ← GriffinStyle.InternalFontFromFont[style.font];
GriffinMenu.SetMenuString[data.fontItem, NameFromFont[iFont]];
BugItemByString[data.colorMenu, GriffinColor.ColorToString[style.fillcolor]];
BugItemByString[data.lineColorMenu, GriffinColor.ColorToString[style.color]];
BugItemByString[data.colorControlMenu,
SELECT
TRUE
FROM
style.filled AND style.outlined => "Both",
style.filled => "Filled",
style.outlined => "Outlined",
ENDCASE => ERROR];
BugItemByString[data.textMenu,
SELECT style.stringRotation
FROM
or0 => "0",
or90 => "90",
or180 => "180",
or270 => "270",
ENDCASE => ERROR];
BugItemByString[data.centerMenu,
SELECT style.anchor
FROM
left => "left",
center => "centered",
right => "right",
ENDCASE => ERROR];
BugItemByString[data.typeMenu,
SELECT style.stringType
FROM
normal => "normal",
stack => "stack",
ENDCASE => ERROR];
BugItemByString[data.thickMenu,
SELECT GriffinPoint.ObjValToScrVal[style.width]
FROM
1 => "1 pt",
2 => "2 pt",
3 => "3 pt",
4 => "4 pt",
ENDCASE => ERROR];
IF data.fontMenu.visible
THEN {
GriffinMenu.ShowMenu[data.fontMenu];
GriffinRefresh.RestoreScreen[data];
};
};
BugItemByString:
PROC [menu: GriffinMenu.MenuHandle, string:
ROPE] = {
menuItem: GriffinMenu.MenuItemHandle ← NARROW[menu.head];
IsThisItem: GriffinMenu.MenuProc = {
IF Rope.Equal[GriffinMenu.MenuString[item], string, FALSE] THEN menuItem ← item
};
GriffinMenu.ForAllMenuItems[menu, IsThisItem];
GriffinMenu.BugItem[menuItem]
};