harc/ohm
Ohm
Ohm ist ein Toolkit für den Compilerbau und eine Parser-Kombinator-Bibliothek zum Erstellen von Parsern, Interpretern und Compilern. Es bietet eine formale Grammatiksprache zur Spezifikation der strukturellen Regeln von Datenformaten, um ein präzises Parsen von Eingabe-Strings zu gewährleisten.
Das Projekt fungiert als Debugging-Tool für das Parsen und als Visualisierungstool für die Programmausführung. Es generiert Text-Traces und grafische Visualisierungen, um die schrittweise Logik während des Parsens aufzuzeigen, und rendert Laufzeitzustandsänderungen sowie Hierarchien von Methodenaufrufen.
Das Toolkit deckt die Entwicklung benutzerdefinierter Parser sowie die Konstruktion von Compilern und Interpretern ab. Es umfasst Funktionen für die Visualisierung von Programmiersprachen, das Debugging von Algorithmus-Ausführungen und die Definition formaler Grammatiken.
Features
- Parsing and Grammars - Provides a grammar-based parsing engine that matches input strings against formal rules to derive structured text representations.
- Compiler and Interpreter Construction - Serves as a comprehensive toolkit for building custom compilers and interpreters.
- Compiler Construction - Provides a specialized toolkit for constructing compilers, interpreters, and static analysis tools.
- Execution Tracing - Records every state change and method call during runtime to create a chronological history of the computation.
- Parsing Debugging Toolkits - Generates text traces or graphical visualizations to show the step-by-step logic used when matching input.
- Formal Grammar Languages - Implements a formal grammar language for specifying precise structural rules of data formats.
- Formal Grammar Specifications - Allows users to specify the structure of a language or data format using a dedicated syntax to ensure precise parsing.
- Runtime State Visualizers - Displays real-time values and state changes next to the corresponding lines of code to simplify the tracking of program state.
- Call-Stack Visualizers - Render a global icicle plot of all method calls to visualize the structural shape and sequence of a computation.
- Parser Combinators - Implements a parser combinator library for building complex parsers by composing smaller, reusable parsing functions.
- Parsing Visualizers - Generates step-by-step traces and graphical visualizations to show the logic used when matching input against a grammar.
- String Parsing - Matches text inputs against a defined grammar to determine if the data conforms to the expected format.
- Custom Parser Development - Enables the definition of formal grammars to create structured representations of text input.
- Execution Tracing - Records every state change and method call during runtime to create a searchable history of the computation.
- Iteration Visualizers - Displays repeated loop executions side-by-side to track how variable values evolve across multiple iterations.
- Runtime-to-Source Synchronizers - Links specific runtime execution timestamps to the corresponding line numbers in the original source code.
- Variable State Summarizers - Filters out transient local state to display only the final modified values of persistent variables after execution.
- Execution-to-Code Linking - Synchronize highlighting between source code and execution visualizations to navigate quickly between call sites and runtime behavior.
- Algorithm Execution Debugging - Provides visual plots of method calls and state changes to diagnose complex algorithmic logic errors.
- Call-Stack Visualizations - Visualizes the structural depth of function calls by mapping the execution hierarchy as a series of nested rectangles.
- Programming Language Visualizations - Renders execution flows and state changes through graphical plots to visualize program behavior at runtime.
- Call Stack Visualizers - Renders the hierarchy of function calls as nested rectangles to visualize structural execution depth.
- Program Execution Visualization - Renders runtime state changes and method call hierarchies to visualize complex code execution paths.
- Language Tooling - Library for building parsers and compilers.
