Json.Node.get_int Reference Manual
Json.Node.get_int:
Description:
public
int
get_int ()
created by
valadoc