| // Copyright 2018 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 <sstream> |
| |
| #include <unittest/unittest.h> |
| |
| #include "test_library.h" |
| |
| namespace { |
| |
| template <class PrimitiveType> |
| bool CheckConstEq(TestLibrary& library, const std::string& name, PrimitiveType expected_value, |
| fidl::flat::Constant::Kind expected_constant_kind, |
| fidl::flat::ConstantValue::Kind expected_constant_value_kind) { |
| BEGIN_HELPER; |
| |
| auto const_decl = library.LookupConstant(name); |
| ASSERT_NOT_NULL(const_decl); |
| ASSERT_EQ(expected_constant_kind, const_decl->value->kind); |
| ASSERT_EQ(expected_constant_value_kind, const_decl->value->Value().kind); |
| auto numeric_const_value = static_cast<const fidl::flat::NumericConstantValue<PrimitiveType>&>( |
| const_decl->value->Value()); |
| EXPECT_EQ(expected_value, static_cast<PrimitiveType>(numeric_const_value)); |
| |
| END_HELPER; |
| } |
| |
| bool LiteralsTest() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const uint32 C_SIMPLE = 11259375; |
| const uint32 C_HEX_S = 0xABCDEF; |
| const uint32 C_HEX_L = 0XABCDEF; |
| const uint32 C_BINARY_S = 0b101010111100110111101111; |
| const uint32 C_BINARY_L = 0B101010111100110111101111; |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| auto check_const_eq = [](TestLibrary& library, const std::string& name, uint32_t expected_value) { |
| return CheckConstEq<uint32_t>(library, name, expected_value, |
| fidl::flat::Constant::Kind::kLiteral, |
| fidl::flat::ConstantValue::Kind::kUint32); |
| }; |
| |
| EXPECT_TRUE(check_const_eq(library, "C_SIMPLE", 11259375)); |
| EXPECT_TRUE(check_const_eq(library, "C_HEX_S", 11259375)); |
| EXPECT_TRUE(check_const_eq(library, "C_HEX_L", 11259375)); |
| EXPECT_TRUE(check_const_eq(library, "C_BINARY_S", 11259375)); |
| EXPECT_TRUE(check_const_eq(library, "C_BINARY_L", 11259375)); |
| |
| END_TEST; |
| } |
| |
| bool GoodConstTestBool() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const bool c = false; |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| END_TEST; |
| } |
| |
| bool BadConstTestBoolWithString() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const bool c = "foo"; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "\"foo\" cannot be interpreted as type bool"); |
| |
| END_TEST; |
| } |
| |
| bool BadConstTestBoolWithNumeric() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const bool c = 6; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "6 cannot be interpreted as type bool"); |
| |
| END_TEST; |
| } |
| |
| bool GoodConstTestInt32() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const int32 c = 42; |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| END_TEST; |
| } |
| |
| bool GoodConstTestInt32FromOtherConst() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const int32 b = 42; |
| const int32 c = b; |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| END_TEST; |
| } |
| |
| bool BadConstTestInt32WithString() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const int32 c = "foo"; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "\"foo\" cannot be interpreted as type int32"); |
| |
| END_TEST; |
| } |
| |
| bool BadConstTestInt32WithBool() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const int32 c = true; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "true cannot be interpreted as type int32"); |
| |
| END_TEST; |
| } |
| |
| bool GoodConstTesUint64() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const int64 a = 42; |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| END_TEST; |
| } |
| |
| bool GoodConstTestUint64FromOtherUint32() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const uint32 a = 42; |
| const uint64 b = a; |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| END_TEST; |
| } |
| |
| bool BadConstTestUint64Negative() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const uint64 a = -42; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "-42 cannot be interpreted as type uint64"); |
| |
| END_TEST; |
| } |
| |
| bool BadConstTestUint64Overflow() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const uint64 a = 18446744073709551616; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "18446744073709551616 cannot be interpreted as type uint64"); |
| |
| END_TEST; |
| } |
| |
| bool GoodConstTestFloat32() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const float32 b = 1.61803; |
| const float32 c = -36.46216; |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| END_TEST; |
| } |
| |
| bool GoodConstTestFloat32HighLimit() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const float32 hi = 3.402823e38; |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| END_TEST; |
| } |
| |
| bool GoodConstTestFloat32LowLimit() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const float32 lo = -3.40282e38; |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| END_TEST; |
| } |
| |
| bool BadConstTestFloat32HighLimit() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const float32 hi = 3.41e38; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "3.41e38 cannot be interpreted as type float32"); |
| |
| END_TEST; |
| } |
| |
| bool BadConstTestFloat32LowLimit() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const float32 b = -3.41e38; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "-3.41e38 cannot be interpreted as type float32"); |
| |
| END_TEST; |
| } |
| |
| bool GoodConstTestString() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const string:4 c = "four"; |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| END_TEST; |
| } |
| |
| bool GoodConstTestStringFromOtherConst() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const string:4 c = "four"; |
| const string:5 d = c; |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| END_TEST; |
| } |
| |
| // TODO(fxb/37314): Both declarations should have the same type. |
| bool GoodConstTestStringShouldHaveInferredBounds() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const string INFERRED = "four"; |
| const string:4 EXPLICIT = "four"; |
| |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| auto inferred_const = library.LookupConstant("INFERRED"); |
| ASSERT_NOT_NULL(inferred_const->type_ctor->type); |
| ASSERT_EQ(inferred_const->type_ctor->type->kind, fidl::flat::Type::Kind::kString); |
| auto inferred_string_type = |
| static_cast<const fidl::flat::StringType*>(inferred_const->type_ctor->type); |
| ASSERT_NOT_NULL(inferred_string_type->max_size); |
| ASSERT_EQ(static_cast<uint32_t>(*inferred_string_type->max_size), 4294967295u); |
| |
| auto explicit_const = library.LookupConstant("EXPLICIT"); |
| ASSERT_NOT_NULL(explicit_const->type_ctor->type); |
| ASSERT_EQ(explicit_const->type_ctor->type->kind, fidl::flat::Type::Kind::kString); |
| auto explicit_string_type = |
| static_cast<const fidl::flat::StringType*>(explicit_const->type_ctor->type); |
| ASSERT_NOT_NULL(explicit_string_type->max_size); |
| ASSERT_EQ(static_cast<uint32_t>(*explicit_string_type->max_size), 4u); |
| |
| END_TEST; |
| } |
| |
| bool BadConstTestStringWithNumeric() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const string c = 4; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "4 cannot be interpreted as type string"); |
| |
| END_TEST; |
| } |
| |
| bool BadConstTestStringWithBool() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const string c = true; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "true cannot be interpreted as type string"); |
| |
| END_TEST; |
| } |
| |
| bool BadConstTestStringWithStringTooLong() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const string:4 c = "hello"; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "\"hello\" (string:5) exceeds the size bound of type string:4"); |
| |
| END_TEST; |
| } |
| |
| bool GoodConstTestUsing() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| using foo = int32; |
| const foo c = 2; |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| END_TEST; |
| } |
| |
| bool BadConstTestUsingWithInconvertibleValue() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| using foo = int32; |
| const foo c = "nope"; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "\"nope\" cannot be interpreted as type int32"); |
| |
| END_TEST; |
| } |
| |
| bool BadConstTestNullableString() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const string? c = ""; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "invalid constant type string?"); |
| |
| END_TEST; |
| } |
| |
| bool BadConstTestArray() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const array<int32>:2 c = -1; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "invalid constant type array<int32>:2"); |
| |
| END_TEST; |
| } |
| |
| bool BadConstTestVector() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const vector<int32>:2 c = -1; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "invalid constant type vector<int32>:2"); |
| |
| END_TEST; |
| } |
| |
| bool BadConstTestHandleOfThread() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const handle<thread> c = -1; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "invalid constant type handle<thread>"); |
| |
| END_TEST; |
| } |
| |
| bool GoodConstEnumMemberReference() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| enum MyEnum : int32 { A = 5; }; |
| const int32 c = MyEnum.A; |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| END_TEST; |
| } |
| |
| bool GoodConstBitsMemberReference() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| bits MyBits : uint32 { A = 0x00000001; }; |
| const uint32 c = MyBits.A; |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| END_TEST; |
| } |
| |
| bool GoodEnumTypedConstEnumMemberReference() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| enum MyEnum : int32 { A = 5; }; |
| const MyEnum c = MyEnum.A; |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| END_TEST; |
| } |
| |
| bool GoodEnumTypedConstBitsMemberReference() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| bits MyBits : uint32 { A = 0x00000001; }; |
| const MyBits c = MyBits.A; |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| END_TEST; |
| } |
| |
| bool BadConstDifferentEnumMemberReference() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| enum MyEnum : int32 { VALUE = 1; }; |
| enum OtherEnum : int32 { VALUE = 5; }; |
| const MyEnum c = OtherEnum.VALUE; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "mismatched named type assignment"); |
| |
| END_TEST; |
| } |
| |
| bool BadConstDifferentBitsMemberReference() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| bits MyBits : uint32 { VALUE = 0x00000001; }; |
| bits OtherBits : uint32 { VALUE = 0x00000004; }; |
| const MyBits c = OtherBits.VALUE; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "mismatched named type assignment"); |
| |
| END_TEST; |
| } |
| |
| bool BadConstAssignPrimitiveToEnum() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| enum MyEnum : int32 { VALUE = 1; }; |
| const MyEnum c = 5; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "cannot be interpreted as type example/MyEnum"); |
| |
| END_TEST; |
| } |
| |
| bool BadConstAssignPrimitiveToBits() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| bits MyBits : uint32 { VALUE = 0x00000001; }; |
| const MyBits c = 5; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "cannot be interpreted as type example/MyBits"); |
| |
| END_TEST; |
| } |
| |
| bool GoodMaxBoundTest() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const string:MAX S = ""; |
| |
| struct Example { |
| string:MAX s; |
| vector<bool>:MAX v; |
| }; |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| END_TEST; |
| } |
| |
| bool GoodMaxBoundTestConvertToUnbounded() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const string:MAX A = "foo"; |
| const string B = A; |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| END_TEST; |
| } |
| |
| bool GoodMaxBoundTestConvertFromUnbounded() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const string A = "foo"; |
| const string:MAX B = A; |
| )FIDL"); |
| ASSERT_TRUE(library.Compile()); |
| |
| END_TEST; |
| } |
| |
| bool BadMaxBoundTestAssignToConst() { |
| BEGIN_TEST; |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const uint32 FOO = MAX; |
| )FIDL"); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "Unable to find the constant named: MAX"); |
| |
| END_TEST; |
| } |
| |
| bool BadMaxBoundTestLibraryQualified() { |
| BEGIN_TEST; |
| |
| SharedAmongstLibraries shared; |
| TestLibrary dependency("dependency.fidl", R"FIDL( |
| library dependency; |
| |
| struct Example {}; |
| )FIDL", |
| &shared); |
| ASSERT_TRUE(dependency.Compile()); |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| using dependency; |
| |
| struct Example { string:dependency.MAX s; }; |
| )FIDL"); |
| ASSERT_TRUE(library.AddDependentLibrary(std::move(dependency))); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "unable to parse size bound"); |
| |
| END_TEST; |
| } |
| |
| bool BadConstTestAssignTypeName() { |
| BEGIN_TEST; |
| |
| for (auto type_declaration : { |
| "struct Example {};", |
| "table Example {};", |
| "service Example {};", |
| "protocol Example {};", |
| "bits Example { A = 1; };", |
| "enum Example { A = 1; };", |
| "union Example { 1: bool A; };", |
| "using Example = string;", |
| }) { |
| std::ostringstream ss; |
| ss << "library example;\n"; |
| ss << type_declaration << "\n"; |
| ss << "const uint32 FOO = Example;\n"; |
| |
| TestLibrary library(ss.str()); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "is a type, but a value was expected"); |
| } |
| |
| END_TEST; |
| } |
| |
| bool GoodMultiFileConstReference() { |
| BEGIN_TEST; |
| |
| TestLibrary library("first.fidl", R"FIDL( |
| library example; |
| |
| struct Protein { |
| vector<uint64>:SMALL_SIZE amino_acids; |
| }; |
| )FIDL"); |
| |
| library.AddSource("second.fidl", R"FIDL( |
| library example; |
| |
| const uint32 SMALL_SIZE = 4; |
| )FIDL"); |
| |
| ASSERT_TRUE(library.Compile()); |
| END_TEST; |
| } |
| |
| bool UnknownEnumMemberTest() { |
| BEGIN_TEST; |
| |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kEnableHandleRights); |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| enum EnumType : int32 { |
| A = 0x00000001; |
| B = 0x80; |
| C = 0x2; |
| }; |
| |
| const EnumType dee = EnumType.D; |
| )FIDL", |
| std::move(experimental_flags)); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 2); |
| ASSERT_STR_STR(errors[0].c_str(), "Unknown enum member"); |
| ASSERT_STR_STR(errors[1].c_str(), "unable to resolve constant value"); |
| |
| END_TEST; |
| } |
| |
| bool UnknownBitsMemberTest() { |
| BEGIN_TEST; |
| |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kEnableHandleRights); |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| bits BitsType { |
| A = 2; |
| B = 4; |
| C = 8; |
| }; |
| |
| const BitsType dee = BitsType.D; |
| )FIDL", |
| std::move(experimental_flags)); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 2); |
| ASSERT_STR_STR(errors[0].c_str(), "Unknown bits member"); |
| ASSERT_STR_STR(errors[1].c_str(), "unable to resolve constant value"); |
| |
| END_TEST; |
| } |
| |
| bool OrOperatorTest() { |
| BEGIN_TEST; |
| |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kEnableHandleRights); |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| bits MyBits : uint8 { |
| A = 0x00000001; |
| B = 0x00000002; |
| C = 0x00000004; |
| D = 0x00000008; |
| }; |
| const MyBits bitsValue = MyBits.A | MyBits.B | MyBits.D; |
| const uint16 Result = MyBits.A | MyBits.B | MyBits.D; |
| )FIDL", |
| std::move(experimental_flags)); |
| ASSERT_TRUE(library.Compile()); |
| |
| EXPECT_TRUE(CheckConstEq<uint16_t>(library, "Result", 11, |
| fidl::flat::Constant::Kind::kBinaryOperator, |
| fidl::flat::ConstantValue::Kind::kUint16)); |
| |
| END_TEST; |
| } |
| |
| bool BadOrOperatorDifferentTypesTest() { |
| BEGIN_TEST; |
| |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kEnableHandleRights); |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const uint8 one = 0x0001; |
| const uint16 two_fifty_six = 0x0100; |
| const uint8 two_fifty_seven = one | two_fifty_six; |
| )FIDL", |
| std::move(experimental_flags)); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 2); |
| ASSERT_STR_STR(errors[0].c_str(), "cannot be converted to type uint8"); |
| ASSERT_STR_STR(errors[1].c_str(), "unable to resolve constant value"); |
| |
| END_TEST; |
| } |
| |
| bool GoodOrOperatorDifferentTypesTest() { |
| BEGIN_TEST; |
| |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kEnableHandleRights); |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| const uint8 one = 0x0001; |
| const uint16 two_fifty_six = 0x0100; |
| const uint16 two_fifty_seven = one | two_fifty_six; |
| )FIDL", |
| std::move(experimental_flags)); |
| ASSERT_TRUE(library.Compile()); |
| |
| EXPECT_TRUE(CheckConstEq<uint16_t>(library, "two_fifty_seven", 257, |
| fidl::flat::Constant::Kind::kBinaryOperator, |
| fidl::flat::ConstantValue::Kind::kUint16)); |
| |
| END_TEST; |
| } |
| |
| bool GoodOrOperatorParenthesesTest() { |
| BEGIN_TEST; |
| |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kEnableHandleRights); |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| bits MyBits : uint8 { |
| A = 0x00000001; |
| B = 0x00000002; |
| C = 0x00000004; |
| D = 0x00000008; |
| }; |
| const MyBits three = MyBits.A | MyBits.B; |
| const MyBits seven = three | MyBits.C; |
| const MyBits fifteen = ( three | seven ) | MyBits.D; |
| const MyBits bitsValue = MyBits.A | ( ( ( MyBits.A | MyBits.B ) | MyBits.D ) | MyBits.C ); |
| )FIDL", |
| std::move(experimental_flags)); |
| ASSERT_TRUE(library.Compile()); |
| |
| EXPECT_TRUE(CheckConstEq<uint8_t>(library, "three", 3, |
| fidl::flat::Constant::Kind::kBinaryOperator, |
| fidl::flat::ConstantValue::Kind::kUint8)); |
| EXPECT_TRUE(CheckConstEq<uint8_t>(library, "seven", 7, |
| fidl::flat::Constant::Kind::kBinaryOperator, |
| fidl::flat::ConstantValue::Kind::kUint8)); |
| EXPECT_TRUE(CheckConstEq<uint8_t>(library, "fifteen", 15, |
| fidl::flat::Constant::Kind::kBinaryOperator, |
| fidl::flat::ConstantValue::Kind::kUint8)); |
| EXPECT_TRUE(CheckConstEq<uint8_t>(library, "bitsValue", 15, |
| fidl::flat::Constant::Kind::kBinaryOperator, |
| fidl::flat::ConstantValue::Kind::kUint8)); |
| |
| END_TEST; |
| } |
| |
| bool BadOrOperatorMissingRightParenTest() { |
| BEGIN_TEST; |
| |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kEnableHandleRights); |
| |
| TestLibrary library = TestLibrary(R"FIDL( |
| library example; |
| |
| const uint16 three = 3; |
| const uint16 seven = 7; |
| const uint16 eight = 8; |
| const uint16 fifteen = ( three | seven | eight; |
| )FIDL", |
| std::move(experimental_flags)); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "unexpected token Semicolon, was expecting RightParen"); |
| |
| END_TEST; |
| } |
| |
| bool BadOrOperatorMissingLeftParenTest() { |
| BEGIN_TEST; |
| |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kEnableHandleRights); |
| |
| TestLibrary library = TestLibrary(R"FIDL( |
| library example; |
| |
| const uint16 three = 3; |
| const uint16 seven = 7; |
| const uint16 eight = 8; |
| const uint16 fifteen = three | seven | eight ); |
| )FIDL", |
| std::move(experimental_flags)); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "unexpected token RightParen, was expecting Semicolon"); |
| |
| END_TEST; |
| } |
| |
| bool BadOrOperatorMisplacedParenTest() { |
| BEGIN_TEST; |
| |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kEnableHandleRights); |
| |
| TestLibrary library = TestLibrary(R"FIDL( |
| library example; |
| |
| const uint16 three = 3; |
| const uint16 seven = 7; |
| const uint16 eight = 8; |
| const uint16 fifteen = ( three | seven | ) eight; |
| )FIDL", |
| std::move(experimental_flags)); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 1); |
| ASSERT_STR_STR(errors[0].c_str(), "found unexpected token"); |
| |
| END_TEST; |
| } |
| |
| bool IdentifierConstMismatchedTypesTest() { |
| BEGIN_TEST; |
| |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kEnableHandleRights); |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| enum OneEnum { |
| A = 1; |
| }; |
| enum AnotherEnum { |
| B = 1; |
| }; |
| const OneEnum a = OneEnum.A; |
| const AnotherEnum b = a; |
| )FIDL", |
| std::move(experimental_flags)); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 2); |
| ASSERT_STR_STR(errors[0].c_str(), |
| "cannot define a constant or default value of type " |
| "AnotherEnum using a value of type OneEnum"); |
| ASSERT_STR_STR(errors[1].c_str(), "unable to resolve constant value"); |
| |
| END_TEST; |
| } |
| |
| bool EnumBitsConstMismatchedTypesTest() { |
| BEGIN_TEST; |
| |
| fidl::ExperimentalFlags experimental_flags; |
| experimental_flags.SetFlag(fidl::ExperimentalFlags::Flag::kEnableHandleRights); |
| |
| TestLibrary library(R"FIDL( |
| library example; |
| |
| enum OneEnum { |
| A = 1; |
| }; |
| enum AnotherEnum { |
| B = 1; |
| }; |
| const OneEnum a = AnotherEnum.B; |
| )FIDL", |
| std::move(experimental_flags)); |
| ASSERT_FALSE(library.Compile()); |
| auto errors = library.errors(); |
| ASSERT_GE(errors.size(), 2); |
| ASSERT_STR_STR(errors[0].c_str(), |
| "cannot define a constant or default value of type " |
| "OneEnum using a value of type AnotherEnum"); |
| ASSERT_STR_STR(errors[1].c_str(), "unable to resolve constant value"); |
| |
| END_TEST; |
| } |
| |
| } // namespace |
| |
| BEGIN_TEST_CASE(consts_tests) |
| |
| RUN_TEST(LiteralsTest) |
| |
| RUN_TEST(GoodConstTestBool) |
| RUN_TEST(BadConstTestBoolWithString) |
| RUN_TEST(BadConstTestBoolWithNumeric) |
| |
| RUN_TEST(GoodConstTestInt32) |
| RUN_TEST(GoodConstTestInt32FromOtherConst) |
| RUN_TEST(BadConstTestInt32WithString) |
| RUN_TEST(BadConstTestInt32WithBool) |
| |
| RUN_TEST(GoodConstTesUint64) |
| RUN_TEST(GoodConstTestUint64FromOtherUint32) |
| RUN_TEST(BadConstTestUint64Negative) |
| RUN_TEST(BadConstTestUint64Overflow) |
| |
| RUN_TEST(GoodConstTestFloat32); |
| RUN_TEST(GoodConstTestFloat32HighLimit) |
| RUN_TEST(GoodConstTestFloat32LowLimit) |
| RUN_TEST(BadConstTestFloat32HighLimit) |
| RUN_TEST(BadConstTestFloat32LowLimit) |
| |
| RUN_TEST(GoodConstTestString) |
| RUN_TEST(GoodConstTestStringFromOtherConst) |
| RUN_TEST(GoodConstTestStringShouldHaveInferredBounds) |
| RUN_TEST(BadConstTestStringWithNumeric) |
| RUN_TEST(BadConstTestStringWithBool) |
| RUN_TEST(BadConstTestStringWithStringTooLong) |
| |
| RUN_TEST(GoodConstTestUsing) |
| RUN_TEST(BadConstTestUsingWithInconvertibleValue) |
| |
| RUN_TEST(BadConstTestNullableString) |
| RUN_TEST(BadConstTestArray) |
| RUN_TEST(BadConstTestVector) |
| RUN_TEST(BadConstTestHandleOfThread) |
| |
| RUN_TEST(GoodConstEnumMemberReference) |
| RUN_TEST(GoodConstBitsMemberReference) |
| RUN_TEST(GoodEnumTypedConstEnumMemberReference) |
| RUN_TEST(GoodEnumTypedConstBitsMemberReference) |
| |
| RUN_TEST(BadConstDifferentEnumMemberReference) |
| RUN_TEST(BadConstDifferentBitsMemberReference) |
| RUN_TEST(BadConstAssignPrimitiveToEnum) |
| RUN_TEST(BadConstAssignPrimitiveToBits) |
| |
| RUN_TEST(GoodMaxBoundTest) |
| RUN_TEST(GoodMaxBoundTestConvertToUnbounded) |
| RUN_TEST(GoodMaxBoundTestConvertFromUnbounded) |
| RUN_TEST(BadMaxBoundTestAssignToConst) |
| RUN_TEST(BadMaxBoundTestLibraryQualified) |
| |
| RUN_TEST(BadConstTestAssignTypeName) |
| |
| RUN_TEST(GoodMultiFileConstReference) |
| |
| RUN_TEST(UnknownEnumMemberTest) |
| RUN_TEST(UnknownBitsMemberTest) |
| |
| RUN_TEST(OrOperatorTest) |
| RUN_TEST(BadOrOperatorDifferentTypesTest) |
| RUN_TEST(GoodOrOperatorDifferentTypesTest) |
| RUN_TEST(GoodOrOperatorParenthesesTest) |
| RUN_TEST(BadOrOperatorMissingRightParenTest) |
| RUN_TEST(BadOrOperatorMissingLeftParenTest) |
| RUN_TEST(BadOrOperatorMisplacedParenTest) |
| |
| RUN_TEST(IdentifierConstMismatchedTypesTest) |
| RUN_TEST(EnumBitsConstMismatchedTypesTest) |
| |
| END_TEST_CASE(consts_tests) |