| /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 | 27 class Signatures {
29 explicit Signatures() = delete;
32 % Signatures::DEFINES.each do |ref, define|
41 % Signatures::PRIMITIVES.each do |ref, name|
46 % Signatures::TYPEDESCRIPTORS.each do |ref, name|
51 % Signatures::BUILTINS.each do |ref, desc|
56 % Signatures::BUILTINS.each do |ref, desc|
60 // Builtin signatures
61 % Signatures::SIGNATURES.each do |ref, name|
69 % Signatures::DYNAMIC.each do |lang, data|
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| D | boxingConverter.cpp | 29 return compiler::Signatures::BUILTIN_BOOLEAN_CLASS; in ETSTypeFromSource()
32 return compiler::Signatures::BUILTIN_BYTE_CLASS; in ETSTypeFromSource()
35 return compiler::Signatures::BUILTIN_SHORT_CLASS; in ETSTypeFromSource()
38 return compiler::Signatures::BUILTIN_CHAR_CLASS; in ETSTypeFromSource()
41 return compiler::Signatures::BUILTIN_INT_CLASS; in ETSTypeFromSource()
44 return compiler::Signatures::BUILTIN_LONG_CLASS; in ETSTypeFromSource()
47 return compiler::Signatures::BUILTIN_FLOAT_CLASS; in ETSTypeFromSource()
50 return compiler::Signatures::BUILTIN_DOUBLE_CLASS; in ETSTypeFromSource()
|
| D | typeCreation.cpp | 28 #include "generated/signatures.h"
316 ETSFunctionType *ETSChecker::CreateETSFunctionType(ArenaVector<Signature *> &signatures) in CreateETSFunctionType() argument
318 …auto *funcType = Allocator()->New<ETSFunctionType>(signatures[0]->Function()->Id()->Name(), Alloca… in CreateETSFunctionType()
320 for (auto *it : signatures) { in CreateETSFunctionType()
381 {compiler::Signatures::BUILTIN_BIGINT_CLASS, GlobalTypeId::ETS_BIG_INT_BUILTIN}, in GetNameToTypeIdMap()
382 {compiler::Signatures::BUILTIN_STRING_CLASS, GlobalTypeId::ETS_STRING_BUILTIN}, in GetNameToTypeIdMap()
383 {compiler::Signatures::BUILTIN_OBJECT_CLASS, GlobalTypeId::ETS_OBJECT_BUILTIN}, in GetNameToTypeIdMap()
384 {compiler::Signatures::BUILTIN_EXCEPTION_CLASS, GlobalTypeId::ETS_EXCEPTION_BUILTIN}, in GetNameToTypeIdMap()
385 {compiler::Signatures::BUILTIN_ERROR_CLASS, GlobalTypeId::ETS_ERROR_BUILTIN}, in GetNameToTypeIdMap()
386 {compiler::Signatures::BUILTIN_TYPE_CLASS, GlobalTypeId::ETS_TYPE_BUILTIN}, in GetNameToTypeIdMap()
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/compiler/core/ |
| D | ETSemitter.cpp | 122 func.returnType = pandasm::Type(Signatures::PRIMITIVE_VOID, 0); in GenScriptFunction()
145 func.metadata->SetAttribute(Signatures::EXTERNAL); in GenFunctionSignature()
159 variableDebug.signature = Signatures::ANY; in GenVariableSignature()
160 variableDebug.signatureType = Signatures::ANY; in GenVariableSignature()
178 func.returnType = pandasm::Type(Signatures::PRIMITIVE_VOID, 0); in GenExternalFunction()
180 func.metadata->SetAttribute(Signatures::CONSTRUCTOR); in GenExternalFunction()
182 func.metadata->SetAttribute(Signatures::EXTERNAL); in GenExternalFunction()
197 func.metadata->SetAttribute(Signatures::CONSTRUCTOR); in GenExternalFunction()
199 func.metadata->SetAttribute(Signatures::EXTERNAL); in GenExternalFunction()
219 for (auto *signature : globalRecordTable->Signatures()) { in GenAnnotation()
[all …]
|
| D | ETSGen.cpp | 18 #include "generated/signatures.h"
250 ss << VarBinder()->Program()->ModuleName() << compiler::Signatures::METHOD_SEPARATOR; in FormDynamicModulePropReference()
253 ss << compiler::Signatures::DYNAMIC_MODULE_CLASS << compiler::Signatures::METHOD_SEPARATOR in FormDynamicModulePropReference()
367 fullName.append(".").append(Signatures::ETS_GLOBAL); in FormClassPropReference()
483 methodName = Signatures::Dynamic::SetPropertyBooleanBuiltin(lang); in StorePropertyDynamic()
485 methodName = Signatures::Dynamic::SetPropertyByteBuiltin(lang); in StorePropertyDynamic()
487 methodName = Signatures::Dynamic::SetPropertyCharBuiltin(lang); in StorePropertyDynamic()
489 methodName = Signatures::Dynamic::SetPropertyShortBuiltin(lang); in StorePropertyDynamic()
491 methodName = Signatures::Dynamic::SetPropertyIntBuiltin(lang); in StorePropertyDynamic()
493 methodName = Signatures::Dynamic::SetPropertyLongBuiltin(lang); in StorePropertyDynamic()
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/checker/ |
| D | ETSchecker.cpp | 72 compiler::Signatures::BUILTIN_BOOLEAN_CLASS, compiler::Signatures::BUILTIN_BYTE_CLASS,
73 compiler::Signatures::BUILTIN_CHAR_CLASS, compiler::Signatures::BUILTIN_SHORT_CLASS,
74 compiler::Signatures::BUILTIN_INT_CLASS, compiler::Signatures::BUILTIN_LONG_CLASS,
75 compiler::Signatures::BUILTIN_FLOAT_CLASS, compiler::Signatures::BUILTIN_DOUBLE_CLASS,
76 compiler::Signatures::BUILTIN_FUNCTION0_CLASS, compiler::Signatures::BUILTIN_FUNCTION1_CLASS,
77 compiler::Signatures::BUILTIN_FUNCTION2_CLASS, compiler::Signatures::BUILTIN_FUNCTION3_CLASS,
78 compiler::Signatures::BUILTIN_FUNCTION4_CLASS, compiler::Signatures::BUILTIN_FUNCTION5_CLASS,
79 compiler::Signatures::BUILTIN_FUNCTION6_CLASS, compiler::Signatures::BUILTIN_FUNCTION7_CLASS,
80 compiler::Signatures::BUILTIN_FUNCTION8_CLASS, compiler::Signatures::BUILTIN_FUNCTION9_CLASS,
81 compiler::Signatures::BUILTIN_FUNCTION10_CLASS, compiler::Signatures::BUILTIN_FUNCTION11_CLASS,
[all …]
|
| /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/runtime_core/static_core/plugins/ets/tests/ets-templates/17.experimental_features/07.function_and_method_overloading/04.declaration_distinguishable_by_signatures/ |
| D | dist.sts | 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/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/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/plugins/ets/tests/ets-templates/15.semantic_rules/07.overloading_and_overriding/02.override-compatible_signatures/ |
| D | neg.sts | 19 …or occurs if a package declares two functions with override-equivalent signatures, a class declares
20 …two methods with override-equivalent signatures or two constructors with override-equivalent signa…
|
| D | pos.sts | 19 …or occurs if a package declares two functions with override-equivalent signatures, a class declares
20 …two methods with override-equivalent signatures or two constructors with override-equivalent signa…
|
| /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/checker/types/ets/ |
| D | etsStringType.h | 28 SetAssemblerName(compiler::Signatures::BUILTIN_STRING); in ETSStringType()
36 SetAssemblerName(compiler::Signatures::BUILTIN_STRING); in ETSStringType()
46 SetAssemblerName(compiler::Signatures::BUILTIN_STRING); in ETSStringType()
63 ss << compiler::Signatures::BUILTIN_STRING; in ToAssemblerType()
|
| D | etsBigIntType.h | 29 SetAssemblerName(compiler::Signatures::BUILTIN_BIGINT); in ETSBigIntType()
43 SetAssemblerName(compiler::Signatures::BUILTIN_BIGINT); in ETSBigIntType()
57 ss << compiler::Signatures::BUILTIN_BIGINT; in ToAssemblerType()
|
| D | etsNullishTypes.cpp | 62 ss << compiler::Signatures::BUILTIN_OBJECT; in ToAssemblerType()
67 ETSObjectType::DebugInfoTypeFromName(ss, compiler::Signatures::BUILTIN_OBJECT); in ToDebugInfoType()
113 ss << compiler::Signatures::BUILTIN_OBJECT; in ToAssemblerType()
118 ETSObjectType::DebugInfoTypeFromName(ss, compiler::Signatures::BUILTIN_OBJECT); in ToDebugInfoType()
|
| /arkcompiler/ets_frontend/ets2panda/linter/test_rules/ |
| D | rule27.ts.json | 22 … "rule": "Construct signatures are not supported in interfaces (arkts-no-ctor-signatures-iface)"
|
| D | rule17.ts.json | 22 "rule": "Indexed signatures are not supported (arkts-no-indexed-signatures)"
|
| /arkcompiler/ets_runtime/test/aottest/class_method_signature/ |
| D | expect_output.txt | 30 test multi-signatures but one body
32 test multi-signatures but no body
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/09.classes/09.constructor_declaration/ |
| D | constructor_declaration_with_same_signature.sts | 17 desc: Class constructors declaration with same signatures.
18 assert: It is a compile-time error to declare two constructors whose signatures have the same erasu…
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/04.names_declarations_and_scopes/08.function_declarations/09.function_overload_signatures/ |
| D | overload_neg.sts | 20 different ways by writing overload signatures, i.e., by writing several
21 function headers that have the same name but different signatures
|