| /arkcompiler/runtime_core/verification/type/tests/ |
| D | type_system_test.cpp | 45 auto bot = typesystem.Bot(); in TEST_F() local
60 auto top_method_of3args = method(-bot >> -bot >> +top); in TEST_F()
61 auto bot_method_of3args = method(-top >> -top >> +bot); in TEST_F()
71 EXPECT_TRUE(bot <= i8); in TEST_F()
72 EXPECT_TRUE(bot <= u64); in TEST_F()
116 auto bot = typesystem.Bot(); in TEST_F() local
131 auto top_method_of3args = method(-bot >> -bot >> +top); in TEST_F()
132 auto bot_method_of3args = method(-top >> -top >> +bot); in TEST_F()
196 In current Panda type system design with Top and Bot, this issue is not in TEST_F()
|
| /arkcompiler/runtime_core/verification/models/contexts_merge/ |
| D | java_typing.als | 20 one sig Bot extends Type {} { no Bot.@subtypes }
26 let ProperType = Type - Top - Bot - NullType
32 all t: ProperType + NullType | t in Bot.~subtypes and t in Top.subtypes
|
| D | check_set_intersection_as_lub.als | 87 -- Sig java_typing/Bot scope <= 1
97 -- Sig java_typing/Type in [[java_typing/Top$0], [java_typing/Bot$0], [java_typing/Object$0], [j…
99 -- Sig java_typing/Bot == [[java_typing/Bot$0]]
|
| /arkcompiler/ets_runtime/ecmascript/compiler/ |
| D | circuit_optimizer.cpp | 43 return GetStatus() == LatticeStatus::BOT; in IsBot()
68 return ValueLattice(LatticeStatus::BOT); in Meet()
72 return ValueLattice(LatticeStatus::BOT); in Meet()
139 os << "BOT"; in Print()
544 return UpdateValueLattice(gate, ValueLattice(LatticeStatus::BOT)); in RunDependEntry()
700 value = ValueLattice(LatticeStatus::BOT); in RunDependSelector()
710 value = ValueLattice(LatticeStatus::BOT); in RunDependRelay()
717 ValueLattice value = ValueLattice(LatticeStatus::BOT); in RunDependAnd()
730 … UpdateValueLattice(gate, reachabilityLatticeMap_(gate).Implies(ValueLattice(LatticeStatus::BOT))); in RunJSBytecode()
748 ValueLattice(LatticeStatus::BOT))); in RunGetException()
[all …]
|
| D | circuit_optimizer.h | 29 BOT, enumerator
|
| /arkcompiler/runtime_core/verification/type/ |
| D | type_sort.h | 27 SortNames(const PandaString &bot, const PandaString &top) in SortNames() argument
29 operator[](bot); in SortNames()
|
| D | type_system.h | 66 6. There are special initial and final types, named as Bot and Top, and all types are implicitly re…
67 as Bot <: type <: Top
72 …TypeSystem(SortIdx bot, SortIdx top, ThreadNum threadnum = 0, TypeSystemKind kind = TypeSystemKind…
75 BotNum_ {FindNumOrCreate({bot, {}})},
357 Type Bot() const in Bot() function
|
| D | type_systems.cpp | 38 : sort_ {"Bot", "Top"}, in FullTypeSystem()
40 bot_sort_ {sort_["Bot"]},
|
| D | type_type.cpp | 143 return GetTypeSystem().Bot() == *this; in IsBot()
|
| /arkcompiler/runtime_core/verification/value/tests/ |
| D | abstract_typed_value_test.cpp | 30 SortNames sort {"Bot", "Top"}; in TEST_F()
31 TypeSystem type_system {sort["Bot"], sort["Top"]}; in TEST_F()
|
| /arkcompiler/runtime_core/verification/absint/tests/ |
| D | reg_context_test.cpp | 33 SortNames sort {"Bot", "Top"}; in TEST_F()
34 TypeSystem type_system {sort["Bot"], sort["Top"]}; in TEST_F()
|
| D | exec_context_test.cpp | 36 SortNames sort {"Bot", "Top"}; in TEST_F()
37 TypeSystem type_system {sort["Bot"], sort["Top"]}; in TEST_F()
|
| /arkcompiler/runtime_core/docs/bc_verification/ |
| D | types_n_values.md | 73 - `Bot` - is a subtype of all types
76 So for every type `Bot <: T <: Top`
|
| D | type_system.md | 9 - Bot() - subtype of all types, subtyping relation is made implicitly upon type creation.
|
| /arkcompiler/runtime_core/verification/absint/ |
| D | panda_types.h | 99 Type Bot() const in Bot() function
101 return TypeSystem_.Bot(); in Bot()
|
| D | abs_int_inl.h | 3365 LOG_VERIFIER_CALL_FORMAL_ACTUAL_BOTH_BOT_OR_TOP("Bot"); in CheckMethodArgs()
|
| /arkcompiler/runtime_core/verification/ |
| D | messages.yaml | 357 …Cannot make a call to '${name}'. Formal parameter is of type 'Bot', but actual parameter is of typ…
|
| /arkcompiler/ets_runtime/ecmascript/regexp/tests/ |
| D | regexp_test.cpp | 1800 CString source("\\bot"); in HWTEST_F_L0()
|