DIRECTORY Basics, BitOps, RoseBehavior; BitSwOps: CEDAR DEFINITIONS = BEGIN StrengthIndex: TYPE = RoseBehavior.StrengthIndex; BoolStrengths: TYPE = ARRAY BOOLEAN OF RoseBehavior.Strength; BoolSwitches: TYPE = ARRAY BOOLEAN OF StrengthenedLevel; StrengthenedLevel: TYPE = RECORD [strength: RoseBehavior.Strength, level: RoseBehavior.Level]; BitWord: TYPE = BitOps.BitWord; BitDWord: TYPE = BitOps.BitDWord; BitMWord: TYPE = BitOps.BitMWord; Switch: TYPE = RoseBehavior.SwitchVal; SwitchMWord: TYPE = LONG DESCRIPTOR FOR PACKED ARRAY CARDINAL OF Switch; Long: TYPE = BitOps.Long; ExtractBoolFSwitch, EBFS: PROC [container: SwitchMWord, containerWidth, bitPosition: CARDINAL] RETURNS [result: BOOL]; InsertBoolInSwitch, IBIS: PROC [source: BOOL, container: SwitchMWord, containerWidth, bitPosition: CARDINAL, si: StrengthIndex, how: BoolStrengths]; SpecialInsertBoolInSwitch, SIBIS: PROC [source: BOOL, container: SwitchMWord, containerWidth, bitPosition: CARDINAL, how: BoolSwitches]; ExtractBoolFSingleSwitch, EBFSS: PROC [container: Switch] RETURNS [result: BOOL]; InsertBoolInSingleSwitch, IBISS: PROC [source: BOOL, container: Switch, si: StrengthIndex, how: BoolStrengths] RETURNS [newContainer: Switch]; SpecialInsertBoolInSingleSwitch, SIBISS: PROC [source: BOOL, container: Switch, how: BoolSwitches] RETURNS [newContainer: Switch]; ExtractCardinalFSwitch, ECFS: PROC [container: SwitchMWord, containerWidth, fieldPosition, fieldWidth: CARDINAL] RETURNS [result: CARDINAL]; InsertCardinalInSwitch, ICIS: PROC [source: CARDINAL, container: SwitchMWord, containerWidth, fieldPosition, fieldWidth: CARDINAL, si: StrengthIndex, how: BoolStrengths]; SpecialInsertCardinalInSwitch, SICIS: PROC [source: CARDINAL, container: SwitchMWord, containerWidth, fieldPosition, fieldWidth: CARDINAL, how: BoolSwitches]; ExtractLongFSwitch, ELFS: PROC [container: SwitchMWord, containerWidth, fieldPosition, fieldWidth: CARDINAL] RETURNS [result: Long]; InsertLongInSwitch, ILIS: PROC [source: Long, container: SwitchMWord, containerWidth, fieldPosition, fieldWidth: CARDINAL, si: StrengthIndex, how: BoolStrengths]; SpecialInsertLongInSwitch, SILIS: PROC [source: Long, container: SwitchMWord, containerWidth, fieldPosition, fieldWidth: CARDINAL, how: BoolSwitches]; ConvertWordToSwitch, CWTS: PROC [sourceContainer: BitWord, sourceContainerWidth, sourcePosition, sourceWidth: CARDINAL, destinationContainer: SwitchMWord, destinationContainerWidth, destinationPosition, destinationWidth: CARDINAL, si: StrengthIndex, how: BoolStrengths]; SpecialConvertWordToSwitch, SCWTS: PROC [sourceContainer: BitWord, sourceContainerWidth, sourcePosition, sourceWidth: CARDINAL, destinationContainer: SwitchMWord, destinationContainerWidth, destinationPosition, destinationWidth: CARDINAL, how: BoolSwitches]; ConvertDoubleToSwitch, CDTS: PROC [sourceContainer: BitDWord, sourceContainerWidth, sourcePosition, sourceWidth: CARDINAL, destinationContainer: SwitchMWord, destinationContainerWidth, destinationPosition, destinationWidth: CARDINAL, si: StrengthIndex, how: BoolStrengths]; SpecialConvertDoubleToSwitch, SCDTS: PROC [sourceContainer: BitDWord, sourceContainerWidth, sourcePosition, sourceWidth: CARDINAL, destinationContainer: SwitchMWord, destinationContainerWidth, destinationPosition, destinationWidth: CARDINAL, how: BoolSwitches]; ConvertMultipleToSwitch, CMTS: PROC [sourceContainer: BitMWord, sourceContainerWidth, sourcePosition, sourceWidth: CARDINAL, destinationContainer: SwitchMWord, destinationContainerWidth, destinationPosition, destinationWidth: CARDINAL, si: StrengthIndex, how: BoolStrengths]; SpecialConvertMultipleToSwitch, SCMTS: PROC [sourceContainer: BitMWord, sourceContainerWidth, sourcePosition, sourceWidth: CARDINAL, destinationContainer: SwitchMWord, destinationContainerWidth, destinationPosition, destinationWidth: CARDINAL, how: BoolSwitches]; ConvertSwitchToWord, CSTW: PROC [sourceContainer: SwitchMWord, sourceContainerWidth, sourcePosition, sourceWidth: CARDINAL, destinationContainer: BitWord, destinationContainerWidth, destinationPosition, destinationWidth: CARDINAL] RETURNS [newContainer: BitWord]; ConvertSwitchToDouble, CSTD: PROC [sourceContainer: SwitchMWord, sourceContainerWidth, sourcePosition, sourceWidth: CARDINAL, destinationContainer: BitDWord, destinationContainerWidth, destinationPosition, destinationWidth: CARDINAL] RETURNS [newContainer: BitDWord]; ConvertSwitchToMultiple, CSTM: PROC [sourceContainer: SwitchMWord, sourceContainerWidth, sourcePosition, sourceWidth: CARDINAL, destinationContainer: BitMWord, destinationContainerWidth, destinationPosition, destinationWidth: CARDINAL]; MoveSwitchToSwitch, MSTS: PROC [sourceContainer: SwitchMWord, sourceContainerWidth, sourcePosition, sourceWidth: CARDINAL, destinationContainer: SwitchMWord, destinationContainerWidth, destinationPosition, destinationWidth: CARDINAL]; END. &BitSwOps.mesa Last edited by: Barth, April 12, 1984 2:19:16 pm PST Last Edited by: Spreitzer, September 17, 1985 1:10:59 pm PDT This is companion interface to BitOps that is used for dealing with MOSSIM style values. The containers The externals BOOL and CARDINAL already exist! Extraction and Insertion procedures Bools Cardinals ExtractCardinalFSingleSwitch, ECFSS: PROC [container: Switch] RETURNS [result: [0..1]]; InsertCardinalInSingleSwitch, ICISS: PROC [source: [0..1], container: Switch, si: StrengthIndex, how: BoolStrengths] RETURNS [newContainer: Switch]; SpecialInsertCardinalInSingleSwitch, SICISS: PROC [source: [0..1], container: Switch, how: BoolSwitches] RETURNS [newContainer: Switch]; Longs Moving bit fields Word as source Double as source Multiple as source Switch as source Ê}˜Icodešœ ™ K™4K™˜^K˜šœ™K˜Kšœ œ˜ Kšœ œ˜!Kšœ œ˜!Kšœœ˜&Kšœ œœ œœœœœ˜H—K˜šœ ™ K˜Kšœ ™ Kšœœ˜K˜—šœ#™#K™™K˜KšÏbœÐbkœœ7œœ œ˜vK˜Kš Ÿœ œœ œ7œ)˜”K˜Kš Ÿœ œœ œ7œ˜ˆK˜Kš Ÿœ œœœ œ˜QK˜Kš Ÿœ œœ œ<œ˜ŽK˜Kš Ÿœ œœ œ(œ˜‚K˜K˜—šœ ™ K˜KšŸœ œœEœœ œ˜ŒK˜Kš Ÿœ œœ œEœ)˜ªK˜Kš Ÿœ œœ œEœ˜žK˜KšŸœ œœœ™WK™KšŸœ œœLœ™”K™KšŸ#œ œœ8œ™ˆK˜K˜—™K˜Kš Ÿœ œœEœœ˜„K˜KšŸœ œœSœ)˜¢K˜KšŸœ œœSœ˜–K˜—K˜—K˜šœ™K˜šœ™K˜Kš Ÿœ œœOœgœ)˜ŽK˜Kš Ÿœ œœOœgœ˜‚K˜—K˜šœ™K˜Kš Ÿœ œœPœgœ)˜‘K˜Kš Ÿœ œœPœgœ˜…K˜K˜—šœ™K˜Kš Ÿœ œœPœgœ)˜“K˜Kš Ÿœ œœPœgœ˜‡K˜——˜šœ™K˜KšŸœ œœSœcœœ˜‡K˜KšŸœ œœSœdœœ˜‹K˜Kš Ÿœ œœSœdœ˜ìK˜Kš Ÿœ œœSœgœ˜êK˜——Kšœ˜J˜—…—<ß