| /arkcompiler/ets_frontend/ets2panda/checker/ |
| D | ETSchecker.cpp | 126 compiler::Signatures::BUILTIN_OBJECT_CLASS, 127 compiler::Signatures::BUILTIN_STRING_CLASS, 128 compiler::Signatures::BUILTIN_BIGINT_CLASS, 129 compiler::Signatures::BUILTIN_EXCEPTION_CLASS, 130 compiler::Signatures::BUILTIN_ERROR_CLASS, 131 compiler::Signatures::BUILTIN_TYPE_CLASS, 132 compiler::Signatures::BUILTIN_PROMISE_CLASS, 133 compiler::Signatures::BUILTIN_BOOLEAN_CLASS, 134 compiler::Signatures::BUILTIN_BYTE_CLASS, 135 compiler::Signatures::BUILTIN_CHAR_CLASS, [all …]
|
| /arkcompiler/ets_frontend/ets2panda/compiler/scripts/ |
| D | signatures.rb | 19 module Signatures module 21 SIGNATURES = Hash.new() constant 36 Signatures::DEFINES[define.ref] = define 45 Signatures::PRIMITIVES[primitive.ref] = primitive.name 50 Signatures::TYPEDESCRIPTORS[typedescriptor.ref] = typedescriptor.name 56 Signatures::BUILTINS[builtin.ref] = [sig, builtin.name] 59 data.signatures.each do |signature| 69 Signatures::SIGNATURES[signature.ref] = sig 73 Signatures::DYNAMIC[lang.name] = OpenStruct.new(lang) 80 Signatures.wrap_data(data)
|
| /arkcompiler/ets_frontend/ets2panda/compiler/templates/ |
| D | signatures.h.erb | 28 class Signatures { 30 explicit Signatures() = delete; 33 % Signatures::DEFINES.each do |ref, define| 42 % Signatures::PRIMITIVES.each do |ref, name| 47 % Signatures::TYPEDESCRIPTORS.each do |ref, name| 52 % Signatures::BUILTINS.each do |ref, desc| 57 % Signatures::BUILTINS.each do |ref, desc| 61 // Builtin signatures 62 % Signatures::SIGNATURES.each do |ref, name| 70 % Signatures::DYNAMIC.each do |lang, data| [all …]
|
| /arkcompiler/ets_frontend/ets2panda/compiler/lowering/ets/ |
| D | typeFromLowering.cpp | 46 return std::string(compiler::Signatures::BOOLEANTYPE_VAL); in PrimitiveTypeToString() 48 return std::string(compiler::Signatures::BYTETYPE_VAL); in PrimitiveTypeToString() 50 return std::string(compiler::Signatures::CHARTYPE_VAL); in PrimitiveTypeToString() 52 return std::string(compiler::Signatures::SHORTTYPE_VAL); in PrimitiveTypeToString() 54 return std::string(compiler::Signatures::INTTYPE_VAL); in PrimitiveTypeToString() 56 return std::string(compiler::Signatures::LONGTYPE_VAL); in PrimitiveTypeToString() 58 return std::string(compiler::Signatures::FLOATTYPE_VAL); in PrimitiveTypeToString() 60 return std::string(compiler::Signatures::DOUBLETYPE_VAL); in PrimitiveTypeToString() 62 return std::string(compiler::Signatures::VOIDTYPE_VAL); in PrimitiveTypeToString() 71 return std::string(compiler::Signatures::UNDEFINEDTYPE_REF); in HandleSpecialTypes() [all …]
|
| D | boxedTypeLowering.cpp | 20 #include "generated/signatures.h" 33 {ir::BoxingUnboxingFlags::BOX_TO_BOOLEAN, compiler::Signatures::BUILTIN_BOOLEAN_CLASS}, in BoxNumberLiteralArguments() 34 {ir::BoxingUnboxingFlags::BOX_TO_BYTE, compiler::Signatures::BUILTIN_BYTE_CLASS}, in BoxNumberLiteralArguments() 35 {ir::BoxingUnboxingFlags::BOX_TO_SHORT, compiler::Signatures::BUILTIN_SHORT_CLASS}, in BoxNumberLiteralArguments() 36 {ir::BoxingUnboxingFlags::BOX_TO_CHAR, compiler::Signatures::BUILTIN_CHAR_CLASS}, in BoxNumberLiteralArguments() 37 {ir::BoxingUnboxingFlags::BOX_TO_INT, compiler::Signatures::BUILTIN_INT_CLASS}, in BoxNumberLiteralArguments() 38 {ir::BoxingUnboxingFlags::BOX_TO_LONG, compiler::Signatures::BUILTIN_LONG_CLASS}, in BoxNumberLiteralArguments() 39 {ir::BoxingUnboxingFlags::BOX_TO_FLOAT, compiler::Signatures::BUILTIN_FLOAT_CLASS}, in BoxNumberLiteralArguments() 40 {ir::BoxingUnboxingFlags::BOX_TO_DOUBLE, compiler::Signatures::BUILTIN_DOUBLE_CLASS}, in BoxNumberLiteralArguments()
|
| /arkcompiler/ets_frontend/ets2panda/linter/docs/rules/ |
| D | recipe27.md | 1 # Construct signatures are not supported in interfaces 3 Rule ``arkts-no-ctor-signatures-iface`` 7 ArkTS does not support construct signatures. Use methods instead. 42 …15: Use ``class`` instead of a type with constructor signature (``arkts-no-ctor-signatures-type``)
|
| D | recipe17.md | 1 # Indexed signatures are not supported 3 Rule ``arkts-no-indexed-signatures`` 7 ArkTS does not allow indexed signatures. Use arrays instead.
|
| D | recipe15.md | 3 Rule ``arkts-no-ctor-signatures-type`` 7 ArkTS does not support constructor signatures in object types. Use classes 48 - Recipe 014: Use ``class`` instead of a type with call signature (``arkts-no-call-signatures``)
|
| D | recipe14.md | 3 Rule ``arkts-no-call-signatures`` 7 ArkTS does not support call signatures in object types. Use classes instead. 51 …15: Use ``class`` instead of a type with constructor signature (``arkts-no-ctor-signatures-type``)
|
| /arkcompiler/ets_frontend/ets2panda/linter/test/main/ |
| D | stdlib_array.ets.json | 24 "rule": "Indexed signatures are not supported (arkts-no-indexed-signatures)", 44 "rule": "Indexed signatures are not supported (arkts-no-indexed-signatures)", 64 "rule": "Indexed signatures are not supported (arkts-no-indexed-signatures)", 84 "rule": "Indexed signatures are not supported (arkts-no-indexed-signatures)",
|
| D | dynamic_ctor_call.ets.json | 34 "rule": "Constructor function type is not supported (arkts-no-ctor-signatures-funcs)", 44 "rule": "Constructor function type is not supported (arkts-no-ctor-signatures-funcs)", 54 … "rule": "Construct signatures are not supported in interfaces (arkts-no-ctor-signatures-iface)", 74 …ule": "Use \"class\" instead of a type with constructor signature (arkts-no-ctor-signatures-type)",
|
| D | type_literals.ets.migrate.json | 24 … "rule": "Use \"class\" instead of a type with call signature (arkts-no-call-signatures)", 34 … "rule": "Construct signatures are not supported in interfaces (arkts-no-ctor-signatures-iface)", 44 "rule": "Indexed signatures are not supported (arkts-no-indexed-signatures)", 64 … "rule": "Use \"class\" instead of a type with call signature (arkts-no-call-signatures)", 74 … "rule": "Construct signatures are not supported in interfaces (arkts-no-ctor-signatures-iface)", 84 "rule": "Indexed signatures are not supported (arkts-no-indexed-signatures)",
|
| D | constructor_types.ets.json | 24 "rule": "Constructor function type is not supported (arkts-no-ctor-signatures-funcs)", 74 "rule": "Constructor function type is not supported (arkts-no-ctor-signatures-funcs)", 104 … "rule": "Construct signatures are not supported in interfaces (arkts-no-ctor-signatures-iface)", 124 …ule": "Use \"class\" instead of a type with constructor signature (arkts-no-ctor-signatures-type)", 134 "rule": "Constructor function type is not supported (arkts-no-ctor-signatures-funcs)", 144 "rule": "Constructor function type is not supported (arkts-no-ctor-signatures-funcs)",
|
| D | stdlib_array.ets.arkts2.json | 24 "rule": "Indexed signatures are not supported (arkts-no-indexed-signatures)", 44 "rule": "Indexed signatures are not supported (arkts-no-indexed-signatures)", 64 "rule": "Indexed signatures are not supported (arkts-no-indexed-signatures)", 84 "rule": "Indexed signatures are not supported (arkts-no-indexed-signatures)",
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/17.experimental_features/08.function_method_and_constructor_overloading/04.declaration_distinguishable_by_signatures/ |
| D | dist.ets | 19 Declarations with the same name are distinguishable by signatures if: 20 - They are functions with the same name, but their signatures are not override-equivalent. 21 - They are methods with the same name, but their signatures are not override-equivalent. 22 - They are constructors of the same class, but their signatures are not override-equivalent.
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/15.semantic_rules/07.overloading_and_overriding/04.overloading_and_overriding_in_classes/ |
| D | class_method_over_n3.ets | 20 …If signatures are override-compatible (see Override-Compatible Signatures), then overriding is use… 24 …If signatures are overload-equivalent (see Overload-Equivalent Signatures), then the static method…
|
| /arkcompiler/ets_frontend/ets2panda/compiler/core/ |
| D | ETSemitter.cpp | 136 func.returnType = pandasm::Type(Signatures::PRIMITIVE_VOID, 0); in GenScriptFunction() 163 func.metadata->SetAttribute(Signatures::EXTERNAL); in GenFunctionSignature() 177 variableDebug.signature = Signatures::ANY; in GenVariableSignature() 178 variableDebug.signatureType = Signatures::ANY; in GenVariableSignature() 191 bool isInitMethod = fn->Id()->Name().Is(compiler::Signatures::INIT_METHOD); in GenSourceFileDebugInfo() 210 func.metadata->SetAttribute(Signatures::CONSTRUCTOR); in GenExternalFunction() 212 func.metadata->SetAttribute(Signatures::EXTERNAL); in GenExternalFunction() 272 if ((*it)->InternalName().Is(Signatures::ETS_GLOBAL)) { in FilterForSimultaneous() 278 …Signatures::UNUSED_ETSGLOBAL_CTOR, Signatures::UNUSED_ETSGLOBAL_INIT, Signatures::UNUSED_ETSGLOBAL… in FilterForSimultaneous() 313 for (auto *signature : globalRecordTable->Signatures()) { in GenAnnotation() [all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/15.semantic_rules/07.overloading_and_overriding/01.overload-equivalent_signatures/ |
| D | neg.ets | 19 …or occurs if a package declares two functions with overload-equivalent signatures, a class declares 20 …two methods with overload-equivalent signatures or two constructors with overload-equivalent signa…
|
| D | pos.ets | 19 …or occurs if a package declares two functions with overload-equivalent signatures, a class declares 20 …two methods with overload-equivalent signatures or two constructors with overload-equivalent signa…
|
| /arkcompiler/ets_frontend/es2panda/typescript/types/ |
| D | interfaceType.h | 92 ArenaVector<Signature *> signatures(allocator_->Adapter()); in CallSignatures() 93 CollectSignatures(&signatures, true); in CallSignatures() 94 return signatures; in CallSignatures() 99 ArenaVector<Signature *> signatures(allocator_->Adapter()); in ConstructSignatures() 100 CollectSignatures(&signatures, false); in ConstructSignatures() 101 return signatures; in ConstructSignatures()
|
| /arkcompiler/runtime_core/static_core/verification/models/typesystem/ |
| D | ark_typesystem.als | 39 // indirection here, access to signatures via params atoms 43 // all signatures are different for different params 83 // todo: all params are in signatures 84 // todo: all signatures are used by sorts 106 // check signatures subtyping 108 // two signatures are in subtyping relation if 136 // of same sort + arity and signatures in corresponding relation 157 // relations between params and signatures
|
| /arkcompiler/ets_frontend/ets2panda/lsp/src/ |
| D | signature_help_items.cpp | 24 SignatureHelpItems CreateSignatureHelpItems(std::vector<checker::Signature *> &signatures, in CreateSignatureHelpItems() argument 34 for (size_t i = itemsSeen; i < signatures.size(); i++) { in CreateSignatureHelpItems() 35 auto ¤tSignature = signatures[i]; in CreateSignatureHelpItems() 45 for (const auto &helpItem : GetSignatureHelpItem(signatures)) { in CreateSignatureHelpItems() 54 const auto selectedSignature = signatures[selectedItemIndex]; in CreateSignatureHelpItems() 68 …vector<SignatureHelpItem> GetSignatureHelpItem(const std::vector<checker::Signature *> &signatures) in GetSignatureHelpItem() argument 71 if (signatures.empty()) { in GetSignatureHelpItem() 74 for (auto *signature : signatures) { in GetSignatureHelpItem()
|
| /arkcompiler/runtime_core/static_core/plugins/ets/doc/interop-cookbook/ |
| D | 02_limitations.rst | 62 |IO_DECL_RULE| Call signatures cannot be used in |LANG| interface declarations 65 |LANG| does not support call signatures for interfaces, which means that they 68 |IO_SEE_CB| ``arkts-no-call-signatures`` 101 |IO_DECL_RULE| Constructor signatures cannot be used in |LANG| interface declarations 104 |LANG| does not support constructor signatures for interfaces, which means that they 107 |IO_SEE_CB| ``arkts-no-ctor-signatures-type`` 108 |IO_SEE_CB| ``arkts-no-ctor-signatures-iface`` FIXME: generalize? 109 |IO_SEE_CB| ``arkts-no-ctor-signatures-funcs`` FIXME: generalize? 142 |IO_DECL_RULE| Index signatures cannot be used in |LANG| interface declarations 145 |LANG| does not support index signatures for interfaces, which means that they [all …]
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ts/ |
| D | interfaceType.h | 92 ArenaVector<Signature *> signatures(allocator_->Adapter()); in CallSignatures() 93 CollectSignatures(&signatures, true); in CallSignatures() 94 return signatures; in CallSignatures() 99 ArenaVector<Signature *> signatures(allocator_->Adapter()); in ConstructSignatures() 100 CollectSignatures(&signatures, false); in ConstructSignatures() 101 return signatures; in ConstructSignatures()
|
| /arkcompiler/ets_frontend/ets2panda/ast_verifier/invariants/ |
| D | identifierHasVariable.cpp | 76 return name.Is(Signatures::PARTIAL_TYPE_NAME) || name.Is(Signatures::REQUIRED_TYPE_NAME) || in IsBuiltinType() 77 … name.Is(Signatures::READONLY_TYPE_NAME) || name.Is(Signatures::FIXED_ARRAY_TYPE_NAME) || in IsBuiltinType() 78 name.Is(compiler::Signatures::ANY_TYPE_NAME); in IsBuiltinType()
|