tools/banjo/banjo/test/codegen_tests.rs

// Copyright 2019 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.

#![cfg(test)]

use super::codegen_test;

mod c {
    use super::*;

    codegen_test!(alignment, CBackend, ["banjo/alignment.test.banjo"], "c/alignment.h");
    codegen_test!(attributes, CBackend, ["banjo/attributes.test.banjo"], "c/attributes.h");
    codegen_test!(empty, CBackend, ["banjo/empty.test.banjo"], "c/empty.h");
    codegen_test!(enums, CBackend, ["banjo/enums.test.banjo"], "c/enums.h");
    codegen_test!(example_0, CBackend, ["banjo/example-0.test.banjo"], "c/example-0.h");
    codegen_test!(example_1, CBackend, ["banjo/example-1.test.banjo"], "c/example-1.h");
    codegen_test!(example_2, CBackend, ["banjo/example-2.test.banjo"], "c/example-2.h");
    codegen_test!(example_3, CBackend, ["banjo/example-3.test.banjo"], "c/example-3.h");
    codegen_test!(example_4, CBackend, ["banjo/example-4.test.banjo"], "c/example-4.h");
    codegen_test!(example_6, CBackend, ["banjo/example-6.test.banjo"], "c/example-6.h");
    codegen_test!(example_7, CBackend, ["banjo/example-7.test.banjo"], "c/example-7.h");
    codegen_test!(example_8, CBackend, ["banjo/example-8.test.banjo"], "c/example-8.h");
    codegen_test!(example_9, CBackend, ["banjo/example-9.test.banjo"], "c/example-9.h");
    codegen_test!(point, CBackend, ["banjo/point.test.banjo"], "c/point.h");
    codegen_test!(table, CBackend, ["banjo/tables.test.banjo"], "c/tables.h");
    codegen_test!(simple, CBackend, ["../zx.banjo", "banjo/simple.test.banjo"], "c/simple.h");
    codegen_test!(view, CBackend, ["banjo/point.test.banjo", "banjo/view.test.banjo"], "c/view.h");
    codegen_test!(types, CBackend, ["banjo/types.test.banjo"], "c/types.h");
    codegen_test!(
        protocol_primitive,
        CBackend,
        ["../zx.banjo", "banjo/protocol-primitive.test.banjo"],
        "c/protocol-primitive.h"
    );
    codegen_test!(
        protocol_base,
        CBackend,
        ["../zx.banjo", "banjo/protocol-base.test.banjo"],
        "c/protocol-base.h"
    );
    codegen_test!(
        protocol_handle,
        CBackend,
        ["../zx.banjo", "banjo/protocol-handle.test.banjo"],
        "c/protocol-handle.h"
    );
    codegen_test!(
        protocol_array,
        CBackend,
        ["../zx.banjo", "banjo/protocol-array.test.banjo"],
        "c/protocol-array.h"
    );
    codegen_test!(
        protocol_vector,
        CBackend,
        ["../zx.banjo", "banjo/protocol-vector.test.banjo"],
        "c/protocol-vector.h"
    );
    codegen_test!(
        protocol_other_types,
        CBackend,
        ["../zx.banjo", "banjo/protocol-other-types.test.banjo"],
        "c/protocol-other-types.h"
    );
    codegen_test!(
        interface,
        CBackend,
        ["../zx.banjo", "banjo/interface.test.banjo"],
        "c/interface.h"
    );
    codegen_test!(callback, CBackend, ["../zx.banjo", "banjo/callback.test.banjo"], "c/callback.h");
}

mod cpp {
    use super::*;
    use banjo_lib::backends::CppSubtype;

    codegen_test!(empty, CppBackend, ["banjo/empty.test.banjo"], "cpp/empty.h", CppSubtype::Base);
    codegen_test!(
        example_4,
        CppBackend,
        ["banjo/example-4.test.banjo"],
        "cpp/example-4.h",
        CppSubtype::Base
    );
    codegen_test!(
        example_6,
        CppBackend,
        ["banjo/example-6.test.banjo"],
        "cpp/example-6.h",
        CppSubtype::Base
    );
    codegen_test!(
        example_7,
        CppBackend,
        ["banjo/example-7.test.banjo"],
        "cpp/example-7.h",
        CppSubtype::Base
    );
    codegen_test!(
        example_9,
        CppBackend,
        ["banjo/example-9.test.banjo"],
        "cpp/example-9.h",
        CppSubtype::Base
    );
    codegen_test!(
        simple,
        CppBackend,
        ["../zx.banjo", "banjo/simple.test.banjo"],
        "cpp/simple.h",
        CppSubtype::Base
    );
    codegen_test!(
        view,
        CppBackend,
        ["banjo/point.test.banjo", "banjo/view.test.banjo"],
        "cpp/view.h",
        CppSubtype::Base
    );
    codegen_test!(
        protocol_primitive,
        CppBackend,
        ["../zx.banjo", "banjo/protocol-primitive.test.banjo"],
        "cpp/protocol-primitive.h",
        CppSubtype::Base
    );
    codegen_test!(
        protocol_base,
        CppBackend,
        ["../zx.banjo", "banjo/protocol-base.test.banjo"],
        "cpp/protocol-base.h",
        CppSubtype::Base
    );
    codegen_test!(
        protocol_handle,
        CppBackend,
        ["../zx.banjo", "banjo/protocol-handle.test.banjo"],
        "cpp/protocol-handle.h",
        CppSubtype::Base
    );
    codegen_test!(
        protocol_array,
        CppBackend,
        ["../zx.banjo", "banjo/protocol-array.test.banjo"],
        "cpp/protocol-array.h",
        CppSubtype::Base
    );
    codegen_test!(
        protocol_vector,
        CppBackend,
        ["../zx.banjo", "banjo/protocol-vector.test.banjo"],
        "cpp/protocol-vector.h",
        CppSubtype::Base
    );
    codegen_test!(
        protocol_other_types,
        CppBackend,
        ["../zx.banjo", "banjo/protocol-other-types.test.banjo"],
        "cpp/protocol-other-types.h",
        CppSubtype::Base
    );
    codegen_test!(
        interface,
        CppBackend,
        ["../zx.banjo", "banjo/interface.test.banjo"],
        "cpp/interface.h",
        CppSubtype::Base
    );
    codegen_test!(
        callback,
        CppBackend,
        ["../zx.banjo", "banjo/callback.test.banjo"],
        "cpp/callback.h",
        CppSubtype::Base
    );

    codegen_test!(
        internal_empty,
        CppBackend,
        ["banjo/empty.test.banjo"],
        "cpp/empty-internal.h",
        CppSubtype::Internal
    );
    codegen_test!(
        internal_example_4,
        CppBackend,
        ["banjo/example-4.test.banjo"],
        "cpp/example-4-internal.h",
        CppSubtype::Internal
    );
    codegen_test!(
        internal_example_6,
        CppBackend,
        ["banjo/example-6.test.banjo"],
        "cpp/example-6-internal.h",
        CppSubtype::Internal
    );
    codegen_test!(
        internal_example_7,
        CppBackend,
        ["banjo/example-7.test.banjo"],
        "cpp/example-7-internal.h",
        CppSubtype::Internal
    );
    codegen_test!(
        internal_example_9,
        CppBackend,
        ["banjo/example-9.test.banjo"],
        "cpp/example-9-internal.h",
        CppSubtype::Internal
    );
    codegen_test!(
        internal_simple,
        CppBackend,
        ["../zx.banjo", "banjo/simple.test.banjo"],
        "cpp/simple-internal.h",
        CppSubtype::Internal
    );
    codegen_test!(
        internal_view,
        CppBackend,
        ["banjo/point.test.banjo", "banjo/view.test.banjo"],
        "cpp/view-internal.h",
        CppSubtype::Internal
    );
    codegen_test!(
        internal_protocol_primitive,
        CppBackend,
        ["../zx.banjo", "banjo/protocol-primitive.test.banjo"],
        "cpp/protocol-primitive-internal.h",
        CppSubtype::Internal
    );
    codegen_test!(
        internal_protocol_base,
        CppBackend,
        ["../zx.banjo", "banjo/protocol-base.test.banjo"],
        "cpp/protocol-base-internal.h",
        CppSubtype::Internal
    );
    codegen_test!(
        internal_protocol_handle,
        CppBackend,
        ["../zx.banjo", "banjo/protocol-handle.test.banjo"],
        "cpp/protocol-handle-internal.h",
        CppSubtype::Internal
    );
    codegen_test!(
        internal_protocol_array,
        CppBackend,
        ["../zx.banjo", "banjo/protocol-array.test.banjo"],
        "cpp/protocol-array-internal.h",
        CppSubtype::Internal
    );
    codegen_test!(
        internal_protocol_vector,
        CppBackend,
        ["../zx.banjo", "banjo/protocol-vector.test.banjo"],
        "cpp/protocol-vector-internal.h",
        CppSubtype::Internal
    );
    codegen_test!(
        internal_protocol_other_types,
        CppBackend,
        ["../zx.banjo", "banjo/protocol-other-types.test.banjo"],
        "cpp/protocol-other-types-internal.h",
        CppSubtype::Internal
    );
    codegen_test!(
        internal_interface,
        CppBackend,
        ["../zx.banjo", "banjo/interface.test.banjo"],
        "cpp/interface-internal.h",
        CppSubtype::Internal
    );
    codegen_test!(
        internal_callback,
        CppBackend,
        ["../zx.banjo", "banjo/callback.test.banjo"],
        "cpp/callback-internal.h",
        CppSubtype::Internal
    );

    codegen_test!(
        mock_pass_callback,
        CppBackend,
        ["../zx.banjo", "banjo/pass-callback.test.banjo"],
        "cpp/mock-pass-callback.h",
        CppSubtype::Mock
    );
    codegen_test!(
        mock_protocol_array,
        CppBackend,
        ["../zx.banjo", "banjo/protocol-array.test.banjo"],
        "cpp/mock-protocol-array.h",
        CppSubtype::Mock
    );
    codegen_test!(
        mock_protocol_base,
        CppBackend,
        ["../zx.banjo", "banjo/protocol-base.test.banjo"],
        "cpp/mock-protocol-base.h",
        CppSubtype::Mock
    );
    codegen_test!(
        mock_protocol_handle,
        CppBackend,
        ["../zx.banjo", "banjo/protocol-handle.test.banjo"],
        "cpp/mock-protocol-handle.h",
        CppSubtype::Mock
    );
    codegen_test!(
        mock_protocol_other_types,
        CppBackend,
        ["../zx.banjo", "banjo/protocol-other-types.test.banjo"],
        "cpp/mock-protocol-other-types.h",
        CppSubtype::Mock
    );
    codegen_test!(
        mock_protocol_primitive,
        CppBackend,
        ["../zx.banjo", "banjo/protocol-primitive.test.banjo"],
        "cpp/mock-protocol-primitive.h",
        CppSubtype::Mock
    );
    codegen_test!(
        mock_protocol_vector,
        CppBackend,
        ["../zx.banjo", "banjo/protocol-vector.test.banjo"],
        "cpp/mock-protocol-vector.h",
        CppSubtype::Mock
    );
}

mod abigen {
    use super::*;

    // Note that .abigen.out is used to avoid unnecessarily requiring an "API
    // Review" bit on Gerrit.

    codegen_test!(empty, AbigenBackend, ["banjo/empty.test.banjo"], "abigen/empty.abigen.out");

    codegen_test!(
        abigen_protocol_basic,
        AbigenBackend,
        ["banjo/abigen-protocol-basic.test.banjo"],
        "abigen/abigen-protocol-basic.abigen.out"
    );

    codegen_test!(
        abigen_protocol_markup,
        AbigenBackend,
        ["banjo/abigen-protocol-markup.test.banjo"],
        "abigen/abigen-protocol-markup.abigen.out"
    );
}

mod fidlcat {
    use super::*;

    // Note that .fidlcat.out is used to avoid unnecessarily requiring an "API
    // Review" bit on Gerrit.

    codegen_test!(empty, FidlcatBackend, ["banjo/empty.test.banjo"], "fidlcat/empty.fidlcat.out");
    codegen_test!(
        simple,
        FidlcatBackend,
        ["../zx.banjo", "banjo/api.test.banjo"],
        "fidlcat/api.fidlcat.out"
    );
}

mod kernel {
    use super::*;
    use banjo_lib::backends::KernelSubtype;

    codegen_test!(
        trace_empty,
        KernelBackend,
        ["banjo/empty.test.banjo"],
        "kernel/trace-empty.inc",
        KernelSubtype::Trace
    );

    codegen_test!(
        trace_basic,
        KernelBackend,
        ["banjo/abigen-protocol-basic.test.banjo"],
        "kernel/trace-basic.inc",
        KernelSubtype::Trace
    );

    codegen_test!(
        numbers_empty,
        KernelBackend,
        ["banjo/empty.test.banjo"],
        "kernel/numbers-empty.h",
        KernelSubtype::Numbers
    );

    codegen_test!(
        numbers_basic,
        KernelBackend,
        ["banjo/abigen-protocol-basic.test.banjo"],
        "kernel/numbers-basic.h",
        KernelSubtype::Numbers
    );
}

mod syzkaller {
    use super::*;

    codegen_test!(empty, SyzkallerBackend, ["banjo/empty.test.banjo"], "syzkaller/empty.txt");

    codegen_test!(
        syzkaller_protocol_basic,
        SyzkallerBackend,
        ["banjo/syzkaller-protocol-basic.test.banjo"],
        "syzkaller/syzkaller-protocol-basic.txt"
    );

    codegen_test!(
        syzkaller_protocol_zx,
        SyzkallerBackend,
        ["../zx.banjo", "banjo/syzkaller-protocol-zx.test.banjo"],
        "syzkaller/syzkaller-protocol-zx.txt"
    );

    codegen_test!(
        syzkaller_protocol_string,
        SyzkallerBackend,
        ["../zx.banjo", "banjo/syzkaller-protocol-string.test.banjo"],
        "syzkaller/syzkaller-protocol-string.txt"
    );

    codegen_test!(
        syzkaller_protocol_array,
        SyzkallerBackend,
        ["../zx.banjo", "banjo/syzkaller-protocol-array.test.banjo"],
        "syzkaller/syzkaller-protocol-array.txt"
    );

    codegen_test!(
        syzkaller_protocol_multiple_returns,
        SyzkallerBackend,
        ["../zx.banjo", "banjo/syzkaller-protocol-multiple-returns.test.banjo"],
        "syzkaller/syzkaller-protocol-multiple-returns.txt"
    );

    codegen_test!(
        syzkaller_protocol_resource,
        SyzkallerBackend,
        ["../zx.banjo", "banjo/syzkaller-protocol-resource.test.banjo"],
        "syzkaller/syzkaller-protocol-resource.txt"
    );

    codegen_test!(
        syzkaller_struct,
        SyzkallerBackend,
        ["../zx.banjo", "banjo/syzkaller-struct.test.banjo"],
        "syzkaller/syzkaller-struct.txt"
    );

    codegen_test!(
        syzkaller_union,
        SyzkallerBackend,
        ["../zx.banjo", "banjo/syzkaller-union.test.banjo"],
        "syzkaller/syzkaller-union.txt"
    );

    codegen_test!(
        syzkaller_flag,
        SyzkallerBackend,
        ["../zx.banjo", "banjo/syzkaller-flag.test.banjo"],
        "syzkaller/syzkaller-flag.txt"
    );

    codegen_test!(
        syzkaller_syscalls,
        SyzkallerBackend,
        ["../zx.banjo", "banjo/syzkaller-syscalls.test.banjo"],
        "syzkaller/syzkaller-syscalls.txt"
    );

    codegen_test!(
        syzkaller_protocol_specialized_syscalls,
        SyzkallerBackend,
        ["../zx.banjo", "banjo/syzkaller-protocol-specialized-syscalls.test.banjo"],
        "syzkaller/syzkaller-protocol-specialized-syscalls.txt"
    );
}