Dotnet

To index Dotnet we use SourceGraph's SCIP indexer for Dotnet. SCIP is a format for tools to share information about code.

Prerequisites

You will need:

• scip-dotnet, installable with dotnet tool install --global scip-dotnet
• scip-to-glean, the SCIP-to-Glean converter
• A Dotnet runtime environment

Run the indexer

Ensure that you have built and installed Glean and the glean executable is on your PATH.

You can index a Dotnet repository with:

glean index dotnet-scip DIR --db-root DB --db NAME/INSTANCE

where

• DB is the directory you want to store your Glean DBs
• DIR is the root directory containing the Dotnet project
• NAME/INSTANCE is the name of the repository to create

In the shell

Dotnet source can also be indexed directly from the Glean shell:

:index dotnet-scip DIR

The shell will pick a DB name and hash for you based on DIR.

Schema

The schema is in glean/schema/source/scip.angle