| /arkcompiler/runtime_core/static_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/test/aottest/pgo_call_js/ |
| D | pgo_call_js.js | 54 callFoo2(bar, 1); // bot callFoo2 and bar inlined
55 callFoo2(foo, 1); // bot callFoo2 and foo inlined
|
| /arkcompiler/ets_runtime/test/aottest/pgo_call/ |
| D | pgo_call.ts | 59 callFoo2(bar, 1); // bot callFoo2 and bar inlined
61 callFoo2(foo, 1); // bot callFoo2 and foo inlined
|
| /arkcompiler/runtime_core/static_core/verification/type/ |
| D | type_type.h | 34 Top and Bot cannot be parts of intersections or unions.
64 BOT, enumerator
123 static Type Bot() in Bot() function
125 return Type {Builtin::BOT}; in Bot()
|
| D | type_type.cpp | 31 "object", "type_class", "array", "bot"};
104 /* bot */
196 ClassSubtypingFuns {nullptr, AlwaysTrue}}; /* bot */
209 …if (mtp.IsIntersection() || mtp.IsUnion() || mtp == Type {Builtin::BOT} || mtp == Type {Builtin::T… in InvariantHolds()
221 if (mtp.IsUnion() || mtp == Type {Builtin::TOP} || mtp == Type {Builtin::BOT}) { in InvariantHolds()
553 // Nothing is a subclass of both a class and a builtin (except NULL_POINTER and BOT). in IsIntersectionReasonable()
644 return Type {Builtin::BOT}; in IntersectSpans()
659 return Type {Builtin::BOT}; in TpIntersection()
666 return Type {Builtin::BOT}; in TpIntersection()
687 if (alt != Type {Type::Builtin::BOT}) { in TpIntersection()
[all …]
|
| D | type_system.h | 42 1. There are special initial and final types, named as Bot and Top, and all types are implicitly re…
43 as Bot <: type <: Top
|
| D | type_system.cpp | 100 if (type == Type::Bot() || type == Type::Top()) { in NormalizedTypeOf()
|
| /arkcompiler/runtime_core/static_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/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/static_core/verification/absint/ |
| D | abs_int_inl.h | 132 Type const bot_ {Builtin::BOT};
3072 if (formalType == Type::Bot()) {
4241 if (actualType == Type::Bot()) { in CheckMethodArgsBot()
4242 LOG_VERIFIER_CALL_FORMAL_ACTUAL_BOTH_BOT_OR_TOP("Bot"); in CheckMethodArgsBot()
4296 … != INVALID_REG && IsSubtype(formalType, refType_, GetTypeSystem()) && formalType != Type::Bot() && in CheckMethodArgsNotFit()
4304 } else if (formalType != Type::Bot() && formalType != Type::Top() && in CheckMethodArgsNotFit()
|
| /arkcompiler/runtime_core/static_core/verification/ |
| D | messages.yaml | 349 …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 | 2034 CString source("\\bot"); in HWTEST_F_L0()
|
| /arkcompiler/ets_frontend/es2panda/test/compiler/js/ |
| D | cocos_worker_test.js | 84989 …var dot, pot, mot, fot, got, yot, bot, Sot, Aot, Tot, vot, Eot, Cot, xot, wot, Rot, Iot, Mot, Bot,…
84995 … got = ph(), yot = lh(), bot = Th(Dtt), Sot = hh(), Aot = ph(), Tot = lh(), vot = Th(Dtt),
84997 Bot = Th(_it), Dot = ph(), Pot = lh(), dot(Oot = (Not = (zot = class extends uit {
85049 }), Vot = Bl(Not.prototype, "y", [ bot, Yl, Sot, Aot, Tot ], {
85070 }), Got = Bl(Not.prototype, "space", [ Bot, Yl, Dot, Pot ], {
124558 …cOt, uOt, _Ot, dOt, pOt, mOt, fOt, gOt, yOt, bOt, SOt, AOt, TOt, vOt, EOt, COt, xOt, wOt, ROt, IOt…
125244 gOt = Th(zOt), yOt = Th(Le), bOt = Th(Le), SOt = Th(Le), AOt = Th(Le), TOt = Th(Ne),
125249 Ml(this, "_effectAsset", BOt, this);
126012 }), BOt = Bl(IOt.prototype, "_effectAsset", [ mOt, Yl, gh, fOt ], {
126033 }), OOt = Bl(IOt.prototype, "_useNormalmap", [ bOt, Yl, gh ], {
[all …]
|