}
public FuncRef getHandler() {
return json.get("handler") == null ? null : new FuncRef((JsonObject) json.get("handler"));
}
public int getIndex() {
<BUG>return json.get("index").getAsInt();
}</BUG>
public SourceLocation getLocation() {
return json.get("location") == null ? null : new SourceLocation((JsonObject) json.get("location"));
}

}
public FuncRef getHandler() {
return json.get("handler") == null ? null : new FuncRef((JsonObject) json.get("handler"));
}
public int getIndex() {
return json.get("index") == null ? -1 : json.get("index").getAsInt();
}
public SourceLocation getLocation() {
return json.get("location") == null ? null : new SourceLocation((JsonObject) json.get("location"));
}
