}
public FuncRef getFunction() {
return new FuncRef((JsonObject) json.get("function"));
}
public int getIndex() {
<BUG>return json.get("index").getAsInt();
}</BUG>
public SourceLocation getLocation() {
return new SourceLocation((JsonObject) json.get("location"));
}

}
public CodeRef getCode() {
return new CodeRef((JsonObject) json.get("code"));
}
public FuncRef getFunction() {
return new FuncRef((JsonObject) json.get("function"));
}
public int getIndex() {
return json.get("index") == null ? -1 : json.get("index").getAsInt();
}
public SourceLocation getLocation() {
return new SourceLocation((JsonObject) json.get("location"));
}
