src/tests/fidl/conformance_suite/bits_flexible.gidl

// Copyright 2020 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

success("FlexibleBitsUint8KnownValue") {
    value = FlexibleBitsUint8Struct{
        b: 1,
    },
    bytes = {
        v2 = [
            0x01, padding:7,
        ],
    },
}

success("FlexibleBitsUint8CombinedValue") {
    value = FlexibleBitsUint8Struct{
        b: 3,
    },
    bytes = {
        v2 = [
            0x03, padding:7,
        ],
    },
}

success("FlexibleBitsUint16KnownValue") {
    value = FlexibleBitsUint16Struct{
        b: 1,
    },
    bytes = {
        v2 = [
            0x01, 0x00, padding:6,
        ],
    },
}

success("FlexibleBitsUint16CombinedValue") {
    value = FlexibleBitsUint16Struct{
        b: 3,
    },
    bytes = {
        v2 = [
            0x03, 0x00, padding:6,
        ],
    },
}

success("FlexibleBitsUint32KnownValue") {
    value = FlexibleBitsUint32Struct{
        b: 1,
    },
    bytes = {
        v2 = [
            0x01, 0x00, 0x00, 0x00, padding:4,
        ],
    },
}

success("FlexibleBitsUint32CombinedValue") {
    value = FlexibleBitsUint32Struct{
        b: 3,
    },
    bytes = {
        v2 = [
            0x03, 0x00, 0x00, 0x00, padding:4,
        ],
    },
}

success("FlexibleBitsUint64KnownValue") {
    value = FlexibleBitsUint64Struct{
        b: 1,
    },
    bytes = {
        v2 = [
            0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
        ],
    },
}

success("FlexibleBitsUint64CombinedValue") {
    value = FlexibleBitsUint64Struct{
        b: 3,
    },
    bytes = {
        v2 = [
            0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
        ],
    },
}

success("FlexibleBitsUint8UnknownValue") {
    value = FlexibleBitsUint8Struct{
        b: 0xff,
    },
    bytes = {
        v2 = [
            0xff, padding:7,
        ],
    },
}

success("FlexibleBitsUint16UnknownValue") {
    value = FlexibleBitsUint16Struct{
        b: 0x1234,
    },
    bytes = {
        v2 = [
            num(0x1234):2, padding:6,
        ],
    },
}

success("FlexibleBitsUint32UnknownValue") {
    value = FlexibleBitsUint32Struct{
        b: 0x12345678,
    },
    bytes = {
        v2 = [
            num(0x12345678):4, padding:4,
        ],
    },
}

success("FlexibleBitsUint64UnknownValue") {
    value = FlexibleBitsUint64Struct{
        b: 0x0102030405060708,
    },
    bytes = {
        v2 = [
            num(0x0102030405060708):8,
        ],
    },
}

decode_success("EmptyFlexibleBitsDecodeUnknownValue") {
    value = EmptyBitsStruct{
        b: 0xff,
    },
    bytes = {
        v2 = [
            0xff, padding:7,
        ],
    },
}

decode_success("EmptyFlexibleBitsDecodeZero") {
    value = EmptyBitsStruct{
        b: 0,
    },
    bytes = {
        v2 = [
            repeat(0):8,
        ],
    },
}