Documentation
¶
Index ¶
- func ScipDescriptorToModelDescriptor(desc *scip.Descriptor) model.Descriptor
- func ScipDescriptorsToModelDescriptors(descriptors []*scip.Descriptor) []model.Descriptor
- func ScipDiagnosticToModelDiagnostic(occ *scip.Occurrence) []*protocol.Diagnostic
- func ScipDocumentToModelDocument(doc *scip.Document) *model.Document
- func ScipOccurrenceToLocation(uri protocol.URI, occ *model.Occurrence) *protocol.Location
- func ScipOccurrenceToLocationLink(uri protocol.URI, occ *model.Occurrence, origSelection *protocol.Range) *protocol.LocationLink
- func ScipOccurrenceToModelOccurrence(occ *scip.Occurrence) *model.Occurrence
- func ScipOccurrenceToModelOccurrenceWithDiagnostics(occ *scip.Occurrence) (*model.Occurrence, []*protocol.Diagnostic)
- func ScipPackageToModelScipPackage(pkg *scip.Package) *model.ScipPackage
- func ScipRelationshipToModelRelationship(rel *scip.Relationship) *model.Relationship
- func ScipSymbolInformationToDocumentSymbol(symbolInfo *model.SymbolInformation, occ *model.Occurrence) *protocol.DocumentSymbol
- func ScipSymbolInformationToModelSymbolInformation(sym *scip.SymbolInformation) *model.SymbolInformation
- func ScipSymbolKindToDocumentSymbolKind(symbolKind scip.SymbolInformation_Kind) protocol.SymbolKind
- func ScipToProtocolPosition(pos scip.Position) protocol.Position
- func ScipToProtocolRange(rng []int32) protocol.Range
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func ScipDescriptorToModelDescriptor ¶
func ScipDescriptorToModelDescriptor(desc *scip.Descriptor) model.Descriptor
ScipDescriptorToModelDescriptor converts a SCIP descriptor to a model descriptor
func ScipDescriptorsToModelDescriptors ¶
func ScipDescriptorsToModelDescriptors(descriptors []*scip.Descriptor) []model.Descriptor
ScipDescriptorsToModelDescriptors converts a slice of SCIP descriptors to a slice of model descriptors
func ScipDiagnosticToModelDiagnostic ¶
func ScipDiagnosticToModelDiagnostic(occ *scip.Occurrence) []*protocol.Diagnostic
ScipDiagnosticToModelDiagnostic converts a SCIP diagnostic to a protocol diagnostic
func ScipDocumentToModelDocument ¶
ScipDocumentToModelDocument converts a SCIP document to a model document
func ScipOccurrenceToLocation ¶
ScipOccurrenceToLocation converts from scip.Range to protocol.Location.
func ScipOccurrenceToLocationLink ¶
func ScipOccurrenceToLocationLink(uri protocol.URI, occ *model.Occurrence, origSelection *protocol.Range) *protocol.LocationLink
ScipOccurrenceToLocationLink converts from scip.Range to protocol.LocationLink. The last argument allows the caller to define a selectionRange of the origin of the link.
func ScipOccurrenceToModelOccurrence ¶
func ScipOccurrenceToModelOccurrence(occ *scip.Occurrence) *model.Occurrence
ScipOccurrenceToModelOccurrence converts a SCIP occurrence to a model occurrence
func ScipOccurrenceToModelOccurrenceWithDiagnostics ¶
func ScipOccurrenceToModelOccurrenceWithDiagnostics(occ *scip.Occurrence) (*model.Occurrence, []*protocol.Diagnostic)
ScipOccurrenceToModelOccurrenceWithDiagnostics converts a SCIP occurrence to a model occurrence and its diagnostics
func ScipPackageToModelScipPackage ¶
func ScipPackageToModelScipPackage(pkg *scip.Package) *model.ScipPackage
ScipPackageToModelScipPackage converts a SCIP package to a model SCIP package
func ScipRelationshipToModelRelationship ¶
func ScipRelationshipToModelRelationship(rel *scip.Relationship) *model.Relationship
ScipRelationshipToModelRelationship converts a SCIP relationship to a model relationship
func ScipSymbolInformationToDocumentSymbol ¶
func ScipSymbolInformationToDocumentSymbol(symbolInfo *model.SymbolInformation, occ *model.Occurrence) *protocol.DocumentSymbol
ScipSymbolInformationToDocumentSymbol converts from scip.SymbolInformation to protocol.DocumentSymbol.
func ScipSymbolInformationToModelSymbolInformation ¶
func ScipSymbolInformationToModelSymbolInformation(sym *scip.SymbolInformation) *model.SymbolInformation
ScipSymbolInformationToModelSymbolInformation converts a SCIP symbol information to a model symbol information
func ScipSymbolKindToDocumentSymbolKind ¶
func ScipSymbolKindToDocumentSymbolKind(symbolKind scip.SymbolInformation_Kind) protocol.SymbolKind
ScipSymbolKindToDocumentSymbolKind converts from scip.SymbolInformation_Kind to protocol.SymbolKind.
func ScipToProtocolPosition ¶
ScipToProtocolPosition maps a SCIP position to an LSP position
func ScipToProtocolRange ¶
ScipToProtocolRange maps a SCIP range array to a LSP protocol Range
Types ¶
This section is empty.
Source Files