Every fact CodeExplorer extracts.
Inspect 29 entity kinds, 276 properties, and 36 relationships across 4 layers.
Runtime workloads, API & broker contracts, databases, SQL queries, tables, and external or cloud dependencies.
Language-agnostic AST declarations, call graph, semantic parameters, sliced call arguments, literals, and catch blocks.
Compilation units, solution projects, external package dependencies, and executable entry points.
Workspace folders, source files, and repository Git metadata.
Typed Relationship Catalog
Auto-generated at build time from C# ontology annotations. Every edge carries source line provenance or transitive call-chain evidence.
Control & Call Flow
8 relationship typesDirect calls, endpoint triggers, entrypoints, and cross-service RPC/HTTP invocations.
| Relationship | Semantics | Edge Properties | Connected Entities |
|---|---|---|---|
CALLED_BY |
Links a service, external service, or database to the function that invokes or queries it. | line |
App -> FunctionExternalService -> FunctionLibrary -> FunctionService -> FunctionWorker -> Function |
CALLS |
Links a calling function to the function it directly invokes. | line, call_count, in_loop, loop_depth, is_conditional, in_try, arg_flow |
Function -> Function |
CALLS_ENDPOINT |
Links an external API call to the target HTTP endpoint it invokes. | evidence_kind, evidence_ids, hops |
ExternalService -> Endpoint |
EXPOSED_BY |
Links an entrypoint or endpoint to the type or function that exposes it. | line |
Endpoint -> FunctionEndpoint -> Type |
HAS_ENTRYPOINT |
Links an executable ProjectNode to its binary or process EntryPointNode. | line |
Project -> EntryPoint |
IMPLEMENTS |
Links a class/struct declaration to the interface it implements. | line |
Function -> EntryPointType -> Type |
SERVICE_CALL |
Represents an HTTP, RPC, or message-based remote service invocation between services or to an external API. | evidence_kind, evidence_ids, hops |
App -> ExternalServiceApp -> ServiceCliTool -> ExternalServiceCliTool -> ServiceLibrary -> ExternalServiceLibrary -> Service +4 more |
TRIGGERS |
Links an entry point or API endpoint to the handler function it triggers. | line |
Endpoint -> FunctionEntryPoint -> File |
Data, SQL & Messaging
12 relationship typesParameter-to-argument slicing, SQL table reads/writes, database access, and broker pub/sub.
| Relationship | Semantics | Edge Properties | Connected Entities |
|---|---|---|---|
ACCESSED_BY |
Links a Layer 4 resource (Database, Table, Query, CloudService, ApiInUse) downward to the Layer 3 function or type that accesses it. | operation, evidence_kind, evidence_ids, hops |
ApiInUse -> FunctionApiInUse -> TypeCloudService -> FunctionCloudService -> TypeDatabase -> FunctionDatabase -> Type +5 more |
FLOWS_TO |
Traces semantic dataflow between call arguments and parameters across intra- and inter-procedural hops. | line, arg_index |
CallArgument -> ParameterParameter -> CallArgument |
HAS_PARAMETER |
Links a function or method to one of its semantically colored parameters. | line |
Function -> Parameter |
PASSES_ARGUMENT |
Links a calling function or scope to a semantically colored call argument. | line, arg_index |
Function -> CallArgument |
PUBLISHED_BY |
Links a topic to the function that publishes to it. | evidence_kind, evidence_ids, hops |
Topic -> Function |
PUBLISHES_TO |
Links a service or function to a message queue or topic it publishes messages or events to. | evidence_kind, evidence_ids, hops |
App -> TopicCliTool -> TopicLibrary -> TopicService -> TopicWorker -> Topic |
READS_FROM |
Links a query or workload to the table or cloud resource it reads from. | operation, evidence_kind, evidence_ids, hops |
App -> CloudServiceCliTool -> CloudServiceLibrary -> CloudServiceQuery -> TableService -> CloudServiceWorker -> CloudService |
SUBSCRIBED_BY |
Links a topic to the function that subscribes to it. | evidence_kind, evidence_ids, hops |
Topic -> Function |
SUBSCRIBES_TO |
Links a service or handler function to a message queue or topic it listens to or consumes events from. | evidence_kind, evidence_ids, hops |
App -> TopicCliTool -> TopicEndpoint -> TopicLibrary -> TopicService -> TopicWorker -> Topic |
TARGETED_BY |
Grounds a Layer 4 semantic resource (Table, Procedure, Endpoint, ExternalService, Topic, Database) downward to a Layer 3 CallArgument that targets it. | line, arg_index |
Database -> CallArgumentEndpoint -> CallArgumentExternalService -> CallArgumentProcedure -> CallArgumentTable -> CallArgumentTopic -> CallArgument |
USES_DB |
Links a project to a database catalog or instance it utilizes. | operation, evidence_kind, evidence_ids, hops |
App -> DatabaseCliTool -> DatabaseLibrary -> DatabaseService -> DatabaseWorker -> Database |
WRITES_TO |
Links a query or workload to the table or cloud resource it writes to. | operation, evidence_kind, evidence_ids, hops |
App -> CloudServiceCliTool -> CloudServiceLibrary -> CloudServiceQuery -> TableService -> CloudServiceWorker -> CloudService |
Types, Packages & Cloud
10 relationship typesInheritance, type usage, project/package dependencies, test coverage, and cloud bindings.
| Relationship | Semantics | Edge Properties | Connected Entities |
|---|---|---|---|
COORDINATES_WITH |
Links a workload to the symmetric peer mesh it coordinates with. | line |
App -> PeerMeshCliTool -> PeerMeshLibrary -> PeerMeshService -> PeerMeshWorker -> PeerMesh |
DEPENDS_ON |
Represents a dependency relationship between projects, packages, or other entities. | line |
App -> LibraryApp -> PackageCliTool -> LibraryCliTool -> PackageLibrary -> LibraryLibrary -> Package +8 more |
IMPLEMENTED_BY |
Links a library package to the project that implements or encapsulates it. | line |
App -> ProjectCliTool -> ProjectLibrary -> ProjectPackage -> ProjectService -> ProjectTestSuite -> Project +1 more |
INHERITS_FROM |
Links a class/interface to its base class or inherited interface. | line |
Type -> Type |
OF_TYPE |
Links a member variable or field to its declared type. | line |
Member -> Type |
POTENTIAL_TYPE |
Links a variable or parameter to concrete classes that implement its declared interface type. | line |
Type -> Type |
PRODUCES |
Indicates that a library project builds and produces a package. | line |
Package -> ProjectProject -> Package |
USES_API |
Links a project, file, or class to an external API library or client model. | line |
App -> ApiInUseCliTool -> ApiInUseLibrary -> ApiInUseService -> ApiInUseWorker -> ApiInUse |
USES_CLOUD |
Links a project, file, or class to a cloud service resource. | evidence_kind, evidence_ids, hops |
App -> CloudServiceCliTool -> CloudServiceLibrary -> CloudServiceService -> CloudServiceWorker -> CloudService |
USES_TYPE |
Links a calling function or type reference to the type it instantiates or references. | line |
Function -> TypeType -> Type |
Containment & Location
6 relationship typesPhysical file declarations, folder hierarchy, and resource ownership.
| Relationship | Semantics | Edge Properties | Connected Entities |
|---|---|---|---|
BELONGS_TO |
Links an entity to its parent project or container. | line |
EntryPoint -> Project |
CONTAINS |
Represents directory structure containment or syntactic scoping of elements. | line |
App -> ApiInUseApp -> EndpointCliTool -> EndpointDatabase -> ProcedureDatabase -> QueryDatabase -> Table +13 more |
DECLARED_IN |
Links a syntactic type, function, or member declaration to its physical declaring source file. | line |
CallArgument -> FileCallLiteral -> FileCatchClause -> FileEntryPoint -> FileFunction -> FileMember -> File +2 more |
HAS_MEMBER |
Links a type declaration to its declared member variables or fields. | line |
Type -> Member |
HAS_METHOD |
Links a type declaration to its declared methods or functions. | line |
Type -> Function |
LOCATED_IN |
Links a project to the physical folder or files structure where it is located. | line |
App -> FolderCliTool -> FolderLibrary -> FolderProject -> FolderService -> FolderTestSuite -> Folder +1 more |