getInt method

int getInt(String key)

Implementation

int getInt(String key) {
  return args[key] as int;
}