
DIRECTORY CardTab, KeyMapping, KeyMappingPrivate, KeyMappingTypes, KeyTypes;

KeyMappingImpl: CEDAR MONITOR
IMPORTS CardTab
EXPORTS KeyMapping, KeyMappingTypes ~
BEGIN OPEN KeyMapping;

MappingRep: PUBLIC TYPE = KeyMappingPrivate.MappingRep;

CountKeySyms: PUBLIC PROC [mapping: Mapping, keyCode: KeyCode] RETURNS [count: NAT м 0] = {
IF mapping#NIL AND keyCode<=mapping.maxCode THEN { 
keySyms: KeySyms ~ mapping.keyTable[keyCode];
IF keySyms#NIL THEN RETURN [keySyms.n]
};
};
GetKeySym: PUBLIC PROC [mapping: Mapping, keyCode: KeyCode, i: NAT] RETURNS [keySym: KeySym м [0]] = {
IF mapping#NIL AND keyCode<=mapping.maxCode THEN { 
keySyms: KeySyms ~ mapping.keyTable[keyCode];
IF keySyms#NIL AND i<keySyms.n THEN RETURN [keySyms[i]]
};
};
noKeySyms: KeySyms ~ NEW[KeySymsRep[0]];

GetKeySyms: PUBLIC PROC [mapping: Mapping, keyCode: KeyCode] RETURNS [keySyms: KeySyms] = {
IF mapping#NIL AND keyCode<=mapping.maxCode THEN {
keySyms м mapping.keyTable[keyCode];
IF keySyms#NIL THEN RETURN [keySyms]
};
RETURN [noKeySyms] 
};
noKeyCodes: KeyCodes ~ NEW[KeyCodesRep[0]];

KeyCodesFromKeySym: PUBLIC PROC [mapping: Mapping, keySym: KeySym] RETURNS [keyCodes: KeyCodes] = {
val: CardTab.Val;
found: BOOL м FALSE;
IF mapping#NIL THEN {
IF mapping.inverseKeyTable=NIL THEN ComputeInverse[mapping];
[found, val] м CardTab.Fetch[mapping.inverseKeyTable, keySym];
IF found THEN RETURN [ NARROW[val] ];
};
RETURN [noKeyCodes];
};

WalkKeySyms: PUBLIC PROC [mapping: Mapping, walkProc: WalkKeySymsProc] RETURNS [aborted: BOOL м FALSE] = {
ForEachKeySym: CardTab.EachPairAction = {
keySym: KeySym ~ LOOPHOLE[key];
IF walkProc[keySym] THEN RETURN[TRUE];
};
IF mapping#NIL THEN {
IF mapping.inverseKeyTable=NIL THEN ComputeInverse[mapping];
aborted м CardTab.Pairs[mapping.inverseKeyTable, ForEachKeySym];
};
};

NewMapping: PUBLIC PROC [keyTable: KeyTable, maxCode: KeyCode м KeyCode.LAST] RETURNS [mapping: Mapping] = {
mapping м NEW[MappingRep м [
maxCode: maxCode,
keyTable: keyTable,
inverseKeyTable: NIL
]];
};

ComputeInverse: PROC [mapping: Mapping] = {
inverse: CardTab.Ref ~ CardTab.Create[ORD[mapping.maxCode]*2+1];
firstSym, thisSym: KeySym;
AddKeySym: PROC [keySym: KeySym, keyCode: KeyCode, index: NAT] = {
keyVal: REF;
found: BOOL м FALSE;
Update: CardTab.UpdateAction = {
keys: REF KeyCodesRep;
IF found 
THEN {
oldKeys: REF KeyCodesRep ~ NARROW[val];
oldCount: NAT ~ oldKeys.n;
keys м NEW[KeyCodesRep[oldCount+1]];
FOR i: NAT IN [0..oldCount) DO
keys[i] м oldKeys[i];
ENDLOOP;
keys[oldCount] м [keyCode, index];
}
ELSE {
keys м NEW[KeyCodesRep[1]];
keys[0] м [keyCode, index];
};
new м keys;
op м store;
};
CardTab.Update[inverse, LOOPHOLE[keySym], Update];
};
keyTable: KeyTable ~ mapping.keyTable;
FOR i: KeyCode IN [keycode0..mapping.maxCode] DO
keySyms: KeySyms ~ keyTable[i];
IF keySyms#NIL AND keySyms.n>0 THEN {
firstSym м keySyms[0];
AddKeySym[firstSym, i, 0];
FOR j: NAT IN [0..keySyms.n) DO 
thisSym м keySyms[j];
IF thisSym # firstSym THEN AddKeySym[thisSym, i, j];
ENDLOOP;
};
ENDLOOP;
mapping.inverseKeyTable м inverse;
};

END.


    р  
KeyMappingImpl.mesa
Copyright ╙ 1992 by Xerox Corporation.  All rights reserved.
Christian Jacobi, February 13, 1992 11:37 am PST
Christian Jacobi, February 19, 1992 9:49 am PST


--idempotent; locking not required
Э╩и  ХNewlineDelimiter
Ц(cedarcode) styleЩ ЩIcodeЪЬ
╧eЬ1Щ<KЩ0KЩ/ЧKШ Ъ╧k	ЬCШLKШ ЧЪ╧nЬЮЬЮШKЪЮЬШKЪЮЬШ%ЧKЪЮЬЮЬШKШ KЪЬЮЬЮЬ Ш7KШ Ъ
ЯЬЮЬЮЬ&ЮЬ	ЮЬ	Ш[ЪЮЬ	ЮЬЮЬЮЬШ3KЪЬ-Ш-KЪЮЬ	ЮЬЮЬЮЬШ&KШЧKШKЩ ЧЪ
Я	ЬЮЬЮЬ)ЮЬЮЬШfЪЮЬ	ЮЬЮЬЮЬШ3KЪЬ-Ш-KЪ
ЮЬ	ЮЬЮЬЮЬЮЬШ7KШЧKШKЩ ЧKЪЬЮЬШ(KШ ЪЯ
ЬЮЬЮЬ&ЮЬШ[ЪЮЬ	ЮЬЮЬЮЬШ2KШ$KЪЮЬ	ЮЬЮЬЮЬ
Ш$KШЧKЪЮЬШKШKЩ ЧKЪЬЮЬШ+KШ ЪЯЬЮЬЮЬ$ЮЬШcKЪЬШKЪЬЮЬЮЬШЪЮЬ	ЮЬЮЬШKЪЮЬЮЬЮЬШ<KШ>KЪЮЬЮЬЮЬЮЬШ%KШЧKЪЮЬШKШЧKШ ЪЯЬЮЬЮЬ/ЮЬЮЬЮЬШjЪЯЬШ)KЪЬЮЬШKЪЮЬЮЬЮЬЮЬШ&KШЧЪЮЬ	ЮЬЮЬШKЪЮЬЮЬЮЬШ<KШ@KШЧKШЧKШ ЪЯ
ЬЮЬ1ЮЬЮЬШlЪЬ
ЮЬШKШKЪЬШKЪЬЮШKЪЬШЧKЪЬШЧKШ ЪЯЬЮЬШ+KЪЬ&ЮЬШ@KЪЬШЪЯ	ЬЮЬ+ЮЬШBKЪЬЮЬШKЪЬЮЬЮЬШЪЯЬШ KЪЬЮЬШЪЮЬШ	ЪЮЬШKЪЬ	ЮЬЮЬШ'KЪЬ
ЮЬШKЪЬЮЬШ$ЪЮЬЮЬЮЬЮШKШKЪЮЬШЧKШ"KЪЬШЧЪЮЬШKЪЬЮЬШKШKЪЬШЧЧKШKШKЪЬШЧKЪЬЮЬШ2KШЧKЪЬ&Ш&ЪЮЬЮЬЮШ0KЪЬШЪЮЬ	ЮЬЮЬЮЬШ%KШKЪЬШЪЮЬЮЬЮЬЮЬШ KШKЪЮЬЮЬШ4KЪЮЬШЧKШЧKЪЮЬШЧKЩ KЪЬ"Щ"KШ"KЪЬШЧKШ KЪЮЬШKШ KШ Ч ЕЧ    ъ  r  