jsonWriter.writeProperty("extendedName", result.extendedName);
jsonWriter.writeProperty("isIntrinsic", result.isLanguageIntrinsic);
if(result.modulePath != null) {
jsonWriter.writeProperty("modulePath", result.modulePath.toString());
}
SourceRange sourceRange = result.sourceRange;
if(sourceRange != null) {
jsonWriter.writeProperty("offset", sourceRange.getOffset());
jsonWriter.writeProperty("length", sourceRange.getLength());
}
jsonWriter.endObject();
}