private byte[] CRC(bt msg, bool badcrc) { byte data_s; data_s = 4; int len; ushort crc; //////////////////////////////////// //CRC len = 3 + data_s; crc = 0xFFFF; buffer_out = StructureToByteArray(msg); for (int pos = 0; pos < len; pos++) { crc ^= buffer_out[pos]; // XOR byte into least sig. byte of crc for (int i = 8; i != 0; i--) { // Loop over each bit if ((crc & 0x0001) != 0) { // If the LSB is set crc >>= 1; // Shift right and XOR 0xA001 crc ^= 0xA001; } else // Else LSB is not set checkBoxBadCRC1 { crc >>= 1; // Just shift right } } } if (badcrc) { inject_failure1 = true; } if (!badcrc) { inject_failure1 = false; } if (!inject_failure1) { buffer_out[len + 0] = (byte)(crc & 0xFF); buffer_out[len + 1] = (byte)((crc >> 8) & 0xFF); len = len + 2; } else { buffer_out[len + 0] = 0; buffer_out[len + 1] = 0; len = len + 2; } /////////// end of CRC /////////////// return(buffer_out); }
byte[] StructureToByteArray(bt obj) { int len = Marshal.SizeOf(obj); byte[] arr = new byte[len]; IntPtr ptr = Marshal.AllocHGlobal(len); Marshal.StructureToPtr(obj, ptr, true); Marshal.Copy(ptr, arr, 0, len); Marshal.FreeHGlobal(ptr); return(arr); }
: dsl is BankingFree <A> .BankTransactions bt?GetBankTransactions(bt, bank) : dsl is BankingFree <A> .Accounts ac?Accounts(ac, bank)