code0-definition/definitions/standard/runtime_definition/array/std_array_at.json at 94b337cfe330877c39fac6142f18ac816a6d63cc · code0-tech/code0-definition · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
{
  "runtime_name": "std::array::at",
  "runtime_parameter_definitions": [
    {
      "data_type_identifier": {
        "type": {
          "GenericType": {
            "data_type_identifier": "ARRAY",
            "generic_mappers": [
              {
                "source": [
                  {
                    "type": {
                      "GenericKey": "R"
                    }
                  }
                ],
                "target": "T",
                "generic_combinations": []
              }
            ]
          }
        }
      },
      "runtime_name": "array",
      "default_value": null,
      "name": [
        {
          "code": "en-US",
          "content": "Input Array"
        }
      ],
      "description": [
        {
          "code": "en-US",
          "content": "The array from which to retrieve an element."
        }
      ],
      "documentation": [
        {
          "code": "en-US",
          "content": "An array containing elements of any type. The element at the specified index will be returned."
        }
      ]
    },
    {
      "data_type_identifier": {
        "type": {
          "DataTypeIdentifier": "NUMBER"
        }
      },
      "runtime_name": "index",
      "default_value": null,
      "name": [
        {
          "code": "en-US",
          "content": "Index"
        }
      ],
      "description": [
        {
          "code": "en-US",
          "content": "The zero-based index of the element to retrieve."
        }
      ],
      "documentation": [
        {
          "code": "en-US",
          "content": "Specifies the position of the element in the array to return. Must be within the bounds of the array."
        }
      ]
    }
  ],
  "return_type_identifier": {
    "type": {
      "GenericKey": "R"
    }
  },
  "throws_error": false,
  "generic_keys": [
    "R"
  ],
  "name": [
    {
      "code": "en-US",
      "content": "Get Array Element"
    }
  ],
  "description": [
    {
      "code": "en-US",
      "content": "Retrieves the element at a specified index from an array."
    }
  ],
  "documentation": [
    {
      "code": "en-US",
      "content": "Returns the element located at the given zero-based index within the input array."
    }
  ],
  "deprecation_message": []
}