| // 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. |
| |
| #include <zxtest/zxtest.h> |
| |
| #include "error_test.h" |
| #include "test_library.h" |
| |
| namespace { |
| |
| TEST(BitsTests, GoodBitsTestSimple) { |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| bits Fruit : uint64 { |
| ORANGE = 1; |
| APPLE = 2; |
| BANANA = 4; |
| }; |
| )FIDL"); |
| ASSERT_COMPILED_AND_CONVERT(library); |
| } |
| |
| TEST(BitsTests, BadBitsTestSigned) { |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kAllowNewSyntax); |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| type Fruit = bits : int64 { |
| ORANGE = 1; |
| APPLE = 2; |
| BANANA = 4; |
| }; |
| )FIDL", |
| experimental_flags); |
| ASSERT_ERRORED_DURING_COMPILE(library, fidl::ErrBitsTypeMustBeUnsignedIntegralPrimitive); |
| } |
| |
| TEST(BitsTests, BadBitsTestSignedOld) { |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| bits Fruit : int64 { |
| ORANGE = 1; |
| APPLE = 2; |
| BANANA = 4; |
| }; |
| )FIDL"); |
| ASSERT_ERRORED_DURING_COMPILE(library, fidl::ErrBitsTypeMustBeUnsignedIntegralPrimitive); |
| } |
| |
| TEST(BitsTests, BadBitsTestWithNonUniqueValues) { |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kAllowNewSyntax); |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| type Fruit = bits : uint64 { |
| ORANGE = 1; |
| APPLE = 1; |
| }; |
| )FIDL", |
| experimental_flags); |
| ASSERT_ERRORED_DURING_COMPILE(library, fidl::ErrDuplicateMemberValue); |
| ASSERT_SUBSTR(library.errors()[0]->msg.c_str(), "APPLE"); |
| ASSERT_SUBSTR(library.errors()[0]->msg.c_str(), "ORANGE"); |
| } |
| |
| TEST(BitsTests, BadBitsTestWithNonUniqueValuesOld) { |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| bits Fruit : uint64 { |
| ORANGE = 1; |
| APPLE = 1; |
| }; |
| )FIDL"); |
| ASSERT_ERRORED_DURING_COMPILE(library, fidl::ErrDuplicateMemberValue); |
| ASSERT_SUBSTR(library.errors()[0]->msg.c_str(), "APPLE"); |
| ASSERT_SUBSTR(library.errors()[0]->msg.c_str(), "ORANGE"); |
| } |
| |
| TEST(BitsTests, BadBitsTestWithNonUniqueValuesOutOfLine) { |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kAllowNewSyntax); |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| type Fruit = bits { |
| ORANGE = FOUR; |
| APPLE = TWO_SQUARED; |
| }; |
| |
| const FOUR uint32 = 4; |
| const TWO_SQUARED uint32 = 4; |
| )FIDL", |
| experimental_flags); |
| ASSERT_ERRORED_DURING_COMPILE(library, fidl::ErrDuplicateMemberValue); |
| ASSERT_SUBSTR(library.errors()[0]->msg.c_str(), "APPLE"); |
| ASSERT_SUBSTR(library.errors()[0]->msg.c_str(), "ORANGE"); |
| } |
| |
| TEST(BitsTests, BadBitsTestWithNonUniqueValuesOutOfLineOld) { |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| bits Fruit { |
| ORANGE = FOUR; |
| APPLE = TWO_SQUARED; |
| }; |
| |
| const uint32 FOUR = 4; |
| const uint32 TWO_SQUARED = 4; |
| )FIDL"); |
| ASSERT_ERRORED_DURING_COMPILE(library, fidl::ErrDuplicateMemberValue); |
| ASSERT_SUBSTR(library.errors()[0]->msg.c_str(), "APPLE"); |
| ASSERT_SUBSTR(library.errors()[0]->msg.c_str(), "ORANGE"); |
| } |
| |
| TEST(BitsTests, BadBitsTestUnsignedWithNegativeMember) { |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kAllowNewSyntax); |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| type Fruit = bits : uint64 { |
| ORANGE = 1; |
| APPLE = -2; |
| }; |
| )FIDL", |
| experimental_flags); |
| ASSERT_ERRORED_TWICE_DURING_COMPILE(library, fidl::ErrConstantCannotBeInterpretedAsType, |
| fidl::ErrCouldNotResolveMember); |
| ASSERT_SUBSTR(library.errors()[0]->msg.c_str(), "-2"); |
| } |
| |
| TEST(BitsTests, BadBitsTestUnsignedWithNegativeMemberOld) { |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| bits Fruit : uint64 { |
| ORANGE = 1; |
| APPLE = -2; |
| }; |
| )FIDL"); |
| ASSERT_ERRORED_TWICE_DURING_COMPILE(library, fidl::ErrConstantCannotBeInterpretedAsType, |
| fidl::ErrCouldNotResolveMember); |
| ASSERT_SUBSTR(library.errors()[0]->msg.c_str(), "-2"); |
| } |
| |
| TEST(BitsTests, BadBitsTestMemberOverflow) { |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kAllowNewSyntax); |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| type Fruit = bits : uint8 { |
| ORANGE = 1; |
| APPLE = 256; |
| }; |
| )FIDL", |
| experimental_flags); |
| ASSERT_ERRORED_TWICE_DURING_COMPILE(library, fidl::ErrConstantCannotBeInterpretedAsType, |
| fidl::ErrCouldNotResolveMember); |
| ASSERT_SUBSTR(library.errors()[0]->msg.c_str(), "256"); |
| } |
| |
| TEST(BitsTests, BadBitsTestMemberOverflowOld) { |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| bits Fruit : uint8 { |
| ORANGE = 1; |
| APPLE = 256; |
| }; |
| )FIDL"); |
| ASSERT_ERRORED_TWICE_DURING_COMPILE(library, fidl::ErrConstantCannotBeInterpretedAsType, |
| fidl::ErrCouldNotResolveMember); |
| ASSERT_SUBSTR(library.errors()[0]->msg.c_str(), "256"); |
| } |
| |
| TEST(BitsTests, BadBitsTestDuplicateMember) { |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kAllowNewSyntax); |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| type Fruit = bits : uint64 { |
| ORANGE = 1; |
| APPLE = 2; |
| ORANGE = 4; |
| }; |
| )FIDL", |
| experimental_flags); |
| ASSERT_ERRORED_DURING_COMPILE(library, fidl::ErrDuplicateMemberName); |
| ASSERT_SUBSTR(library.errors()[0]->msg.c_str(), "ORANGE"); |
| } |
| |
| TEST(BitsTests, BadBitsTestDuplicateMemberOld) { |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| bits Fruit : uint64 { |
| ORANGE = 1; |
| APPLE = 2; |
| ORANGE = 4; |
| }; |
| )FIDL"); |
| ASSERT_ERRORED_DURING_COMPILE(library, fidl::ErrDuplicateMemberName); |
| ASSERT_SUBSTR(library.errors()[0]->msg.c_str(), "ORANGE"); |
| } |
| |
| TEST(BitsTests, BadBitsTestNoMembers) { |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kAllowNewSyntax); |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| type B = bits {}; |
| )FIDL", |
| experimental_flags); |
| ASSERT_ERRORED_DURING_COMPILE(library, fidl::ErrMustHaveOneMember); |
| } |
| |
| TEST(BitsTests, BadBitsTestNoMembersOld) { |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| bits B {}; |
| )FIDL"); |
| ASSERT_ERRORED_DURING_COMPILE(library, fidl::ErrMustHaveOneMember); |
| } |
| |
| TEST(BitsTests, GoodBitsTestKeywordNames) { |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| bits Fruit : uint64 { |
| library = 1; |
| bits = 2; |
| uint64 = 4; |
| }; |
| )FIDL"); |
| ASSERT_COMPILED_AND_CONVERT(library); |
| } |
| |
| TEST(BitsTests, BadBitsTestNonPowerOfTwo) { |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kAllowNewSyntax); |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| type non_power_of_two = bits : uint64 { |
| three = 3; |
| }; |
| )FIDL", |
| experimental_flags); |
| ASSERT_ERRORED_DURING_COMPILE(library, fidl::ErrBitsMemberMustBePowerOfTwo); |
| } |
| |
| TEST(BitsTests, BadBitsTestNonPowerOfTwoOld) { |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| bits non_power_of_two : uint64 { |
| three = 3; |
| }; |
| )FIDL"); |
| ASSERT_ERRORED_DURING_COMPILE(library, fidl::ErrBitsMemberMustBePowerOfTwo); |
| } |
| |
| TEST(BitsTests, GoodBitsTestMask) { |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| bits Life { |
| A = 0b000010; |
| B = 0b001000; |
| C = 0b100000; |
| }; |
| )FIDL"); |
| ASSERT_COMPILED_AND_CONVERT(library); |
| |
| auto bits = library.LookupBits("Life"); |
| ASSERT_NOT_NULL(bits); |
| EXPECT_EQ(bits->mask, 42); |
| } |
| |
| TEST(BitsTests, BadBitsShantBeNullable) { |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kAllowNewSyntax); |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| type NotNullable = bits { |
| MEMBER = 1; |
| }; |
| |
| type Struct = struct { |
| not_nullable NotNullable:optional; |
| }; |
| )FIDL", |
| experimental_flags); |
| ASSERT_ERRORED_DURING_COMPILE(library, fidl::ErrCannotBeNullable); |
| } |
| |
| TEST(BitsTests, BadBitsShantBeNullableOld) { |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| bits NotNullable { |
| MEMBER = 1; |
| }; |
| |
| struct Struct { |
| NotNullable? not_nullable; |
| }; |
| )FIDL"); |
| ASSERT_ERRORED_DURING_COMPILE(library, fidl::ErrCannotBeNullable); |
| ASSERT_SUBSTR(library.errors()[0]->msg.c_str(), "NotNullable"); |
| } |
| |
| TEST(BitsTests, BadBitsMultipleConstraints) { |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kAllowNewSyntax); |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| type NotNullable = bits { |
| MEMBER = 1; |
| }; |
| |
| type Struct = struct { |
| not_nullable NotNullable:<optional, foo, bar>; |
| }; |
| )FIDL", |
| experimental_flags); |
| ASSERT_ERRORED_DURING_COMPILE(library, fidl::ErrTooManyConstraints); |
| } |
| |
| } // namespace |