Diagnostic and cause
СсылкаUnknown member or field
- Семейство
- topaz
- Этап
- check
- Код
TPZ5006
Причина и условия
A member call must name a member provided by its receiver type. A string call to lenght is rejected with TPZ5006 at the member name; byteLength is an available zero-argument string method.
Связанное правило · A member call requires a member on its receiver →Действия
Check the receiver type and member spelling. Use a declared member or add the required field or method to your type.
Compiler phase: check/runtime.
Compiler explanation: A member access names a field or method that does not exist on the receiver type.
Message templates. The marker ⟨value⟩ stands for text computed for the reported program.
- ⟨value⟩ has no field
⟨value⟩Source
Observed for the candidate in Topaz 5.21.3. Execution
- error[TPZ5006]:
stringhas no member namedlenght
A member call must name a member provided by its receiver type. A string call to lenght is rejected with TPZ5006 at the member name; byteLength is an available zero-argument string method.
A member call requires a member on its receiver
A member call must name a member provided by its receiver type. A string call to lenght is rejected with TPZ5006 at the member name; byteLength is an available zero-argument string method.
Response
СсылкаCheck the receiver type and member spelling. Use a declared member or add the required field or method to your type.
Reproduction and verification
СсылкаRejected program
Ссылкаlet text = "Ada"text.lenght()
Нет стандартного вывода.Ожидаемый результат
Ожидаемый результат
Этап отклонения check. Ненулевой код завершения.
diagnostic-tpz5006 at
example.tpz:2:6
Repaired program
Ссылкаlet text = "Ada"text.byteLength()
Ожидаемый результат
Ожидаемый результат
Проверка принимает программу. Код завершения 0.