Json.Parser.array_element Reference Manual
Json.Parser.array_element:
Description:
public
signal
void
array_element (
Json.Array
array,
int
index_)
created by
valadoc