fix: SCIP documents may be empty. (#70)

varungandhi-src · web-flow · commit e3ff8a97ab32 · 2022-07-18T12:46:42.000+08:00
Don't crash if that's the case. See the index in #68.
diff --git a/bindings/go/scip/convert.go b/bindings/go/scip/convert.go
@@ -241,7 +241,9 @@ func (g *graph) emitDocument(index *Index, doc *Document) {
 		// reference
 		g.emitEdge("item", reader.Edge{OutV: resultIDs.ReferenceResult, InVs: []int{rangeID}, Document: documentID})
 	}
-	g.emitEdge("contains", reader.Edge{OutV: documentID, InVs: rangeIDs})
+	if len(rangeIDs) != 0 { // a document may be empty
+		g.emitEdge("contains", reader.Edge{OutV: documentID, InVs: rangeIDs})
+	}
 }
 
 // emitRelationships emits "referenceResults" and "implementationResult" based on the value of scip.SymbolInformation.Relationships

Original file line number	Diff line number	Diff line change
`@@ -241,7 +241,9 @@ func (g graph) emitDocument(index Index, doc *Document) {`
`241`	`241`	`// reference`
`242`	`242`	`g.emitEdge("item", reader.Edge{OutV: resultIDs.ReferenceResult, InVs: []int{rangeID}, Document: documentID})`
`243`	`243`	`}`
`244`		`- g.emitEdge("contains", reader.Edge{OutV: documentID, InVs: rangeIDs})`
	`244`	`+ if len(rangeIDs) != 0 { // a document may be empty`
	`245`	`+ g.emitEdge("contains", reader.Edge{OutV: documentID, InVs: rangeIDs})`
	`246`	`+ }`
`245`	`247`	`}`
`246`	`248`
`247`	`249`	`// emitRelationships emits "referenceResults" and "implementationResult" based on the value of scip.SymbolInformation.Relationships`