Semantic Categories Ontology 1.0
Top-level semantic categories for cross-language code analysis queries. Groups AST, LSP, and computed properties into intuitive query-time buckets.
Classes (8)
| Class | Subclass Of | Description |
|---|---|---|
| sem:ControlFlow | — | Control flow constructs: branching (if, switch, match), loops (for, while), and flow control (break, continue, return, yield). Used to find all control flow across languages. |
| sem:DataFlow | — | Data flow constructs: assignments, augmented assignments, parameters, variable declarations. Used to track how data moves through code. |
| sem:Declaration | — | Declarations: functions, methods, classes, interfaces, variables, constants. Used to find all declarations across languages. |
| sem:Exception | — | Exception handling constructs: try blocks, catch/except clauses, throw/raise statements. Used to find error handling patterns. |
| sem:Import | — | Import/include/use statements that bring external modules or symbols into scope. Used for dependency analysis. |
| sem:Inheritance | — | Inheritance and interface implementation relationships: extends, implements, inherits from, trait bounds. Used for OOP hierarchy analysis. |
| sem:Mutation | — | State mutation constructs: assignments and augmented assignments that change variable values. Subset of DataFlow focusing on state changes. |
| sem:Type | — | Type definitions: interfaces, enums, structs, type aliases, traits, protocols. Used to find type system elements across languages. |