Ibex API Reference

Alphabetic Index

File Listing

README

Namespace Listing A-Z

AST (Ibex::Frontend)
ASTData (Ibex::Runtime)
ASTRuleDefaults (Ibex::Frontend)
Action (Ibex::BisonImport)
Action (Ibex::IR)
ActionCorrespondence (Ibex::Verify)
ActionImpact (Ibex::Impact)
ActionLocations (Ibex::Codegen)
ActionMethodSource (Ibex::Codegen)
ActionScanner (Ibex::Frontend)
ActionSource (Ibex::Codegen)
Alternative (Ibex::Frontend::AST)
Ambiguity (Ibex::Codegen)
Analysis (Ibex)
AnalysisGrammar (Ibex::Configuration)
Annotation (Ibex::LALR::IELR)
Annotator (Ibex::LALR::IELR)
Artifact (Ibex)
ArtifactSet (Ibex)
Automaton (Ibex::IR)
AutomatonDocument (Ibex::IR::Validator)
AutomatonImpact (Ibex::Impact)
AutomatonItem (Ibex::IR)
AutomatonState (Ibex::IR)

Base (Ibex::IR::Validator)
Baseline (Ibex::Impact)
BisonImport (Ibex)
Bits (Ibex::LALR::IELR)
Blender (Ibex::Runtime::CST)
BootstrapParser (Ibex::Frontend)
BootstrapParserDeclarations (Ibex::Frontend)
BootstrapParserParameters (Ibex::Frontend)
BootstrapParserRules (Ibex::Frontend)
BoundedSubprocess (Ibex)
BudgetExceeded (Ibex::Fix)
BudgetExceeded (Ibex::Fuzz)
BudgetExceeded (Ibex::Equiv)
BudgetExceeded (Ibex::BisonImport)
BudgetExceeded (Ibex::Equiv::Machine)
BudgetExceeded (Ibex::Verify)
Build (Ibex::CLIWatch)
BuildMetrics (Ibex::LALR)
Builder (Ibex::Frontend::DSL)
Builder (Ibex::LALR)
Builder (Ibex::TableArtifact)
Builder (Ibex::VerificationReport)

CLI (Ibex)
CLIAdapter (Ibex::Configuration)
CLIAmbiguity (Ibex)
CLIAnalysis (Ibex)
CLIBisonImport (Ibex)
CLIConfig (Ibex)
CLICounterexampleOptions (Ibex)
CLICoverage (Ibex)
CLIDebug (Ibex)
CLIDiagnostics (Ibex)
CLIDocumentation (Ibex)
CLIEquiv (Ibex)
CLIErrorMessages (Ibex)
CLIExplain (Ibex)
CLIFix (Ibex)
CLIFormatting (Ibex)
CLIFuzz (Ibex)
CLIFuzzRegressions (Ibex)
CLIGenerationArtifacts (Ibex)
CLIGenerationErrorMessages (Ibex)
CLIGrammarTests (Ibex)
CLIIRTools (Ibex)
CLIImpact (Ibex)
CLILSP (Ibex)
CLIOutputs (Ibex)
CLIRaccMigration (Ibex)
CLIReduce (Ibex)
CLIReduceReporting (Ibex)
CLISamples (Ibex)
CLIVerify (Ibex)
CLIWatch (Ibex)
CST (Ibex::Runtime)
CST (Ibex::Frontend)
CSTMetadata (Ibex::Codegen)
CSTProjection (Ibex::TableArtifact)
Cache (Ibex::Codegen::GeneratedActionABI)
CancellationToken (Ibex::Runtime)
Candidate (Ibex::Runtime::CST::Blender)
CanonicalIR (Ibex::VerificationReport)
CanonicalMachine (Ibex::Verify::LanguageWitness)
Checker (Ibex::RaccMigration)
Codegen (Ibex)
Collection (Ibex::Verify::ReferenceCollection)
Collector (Ibex::Coverage)
Command (Ibex::CLI)
Compact (Ibex::Tables)
CompactActions (Ibex::Tables)
CompactProductions (Ibex::Tables)
Configuration (Ibex::Equiv::Machine)
Configuration (Ibex::LALR::ConflictSearch)
Configuration (Ibex::Runtime::RepairSearch)
Configuration (Ibex)
Conflict (Ibex::Configuration)
ConflictRecord (Ibex::Configuration)
ConflictResolver (Ibex::LALR)
ConflictSearch (Ibex::LALR)
ConflictSearchLimits (Ibex::LALR)
Conversion (Ibex::Frontend::AST)
Convert (Ibex::Frontend::AST)
Counterexample (Ibex::LALR)
Coverage (Ibex)
CoverageImpact (Ibex::Impact)
Cursor (Ibex::Runtime::CST)

DSL (Ibex::Frontend)
DeclarationDocumentState (Ibex::Frontend::TokenAdapter)
DeclarationLexerState (Ibex::Frontend::TokenAdapter)
DeclarationState (Ibex::Frontend::TokenAdapter)
DefaultReductions (Ibex::LALR)
DelimiterTracker (Ibex::Frontend::TokenAdapter)
DeltaReducer (Ibex)
Diagnostic (Ibex::Frontend)
DiagnosticRecovery (Ibex::Frontend)
Diff (Ibex)
Diff (Ibex::Runtime::CST)
Difference (Ibex::Equiv)
Difference (Ibex::Verify::LanguageWitness)
Difference (Ibex::Verify::ActionCorrespondence)
Digraph (Ibex::Analysis)
DirectLookaheads (Ibex::LALR)
Directive (Ibex::BisonImport)
DisplayName (Ibex::Frontend::AST)
Document (Ibex::ErrorMessages)
Document (Ibex::TableArtifact)
Document (Ibex::Frontend::CST)
DocumentHandlers (Ibex::LSP)
DocumentStore (Ibex::LSP)
DocumentStoreDiagnostics (Ibex::LSP)
DocumentStoreValidation (Ibex::LSP)
Documentation (Ibex::Codegen)
Dot (Ibex::Codegen)

Edge (Ibex::Impact)
EditConflictError (Ibex::Runtime::CST)
Editing (Ibex::Runtime::CST)
EmbeddedSource (Ibex::Runtime)
Empty (Ibex::Frontend::AST)
Entry (Ibex::ErrorMessages)
Entry (Ibex::IR::ParserContract)
Entry (Ibex::Runtime::CST::ParseMemo)
Equiv (Ibex)
Error (Ibex)
Error (Ibex::GenerationTransaction)
ErrorMessages (Ibex)
Event (Ibex::Runtime)
EventJSONLTracer (Ibex::Runtime)
EventSanitizer (Ibex::Runtime)
EventStream (Ibex::Coverage)
Evidence (Ibex::Configuration)
Executor (Ibex::TableArtifact)
Expect (Ibex::Frontend::AST)
ExpectRR (Ibex::Frontend::AST)
Explain (Ibex::Codegen)
Explanation (Ibex::Configuration)

Finding (Ibex::RaccMigration)
Fix (Ibex)
Flags (Ibex::Runtime::CST)
Formatter (Ibex::Frontend)
Fragment (Ibex::Frontend::AST)
Frontend (Ibex)
Fuzz (Ibex)

GeneratedActionABI (Ibex::Codegen)
GeneratedLexer (Ibex::Runtime)
GeneratedParserBase (Ibex::Frontend)
GeneratedParserIncludes (Ibex::Frontend)
GeneratedParserMetadata (Ibex::Frontend)
GeneratedParserParameters (Ibex::Frontend)
GenerationInput (Ibex)
GenerationManifest (Ibex)
GenerationTransaction (Ibex)
GenerationTransactionRecovery (Ibex)
GenerationTransactionValidation (Ibex)
GotoFollows (Ibex::LALR)
Grammar (Ibex::IR)
GrammarDocument (Ibex::IR::Validator)
GrammarSymbol (Ibex::IR)
GrammarTest (Ibex::Frontend::AST)
GrammarTests (Ibex)
Graph (Ibex::Impact)
GreenBuilder (Ibex::Runtime::CST)
GreenNode (Ibex::Runtime::CST)
GreenToken (Ibex::Runtime::CST)
GreenTrivia (Ibex::Runtime::CST)
Group (Ibex::Frontend::AST)

HTML (Ibex::Codegen)
Harness (Ibex::RaccMigration)

IELR (Ibex::LALR)
IELRPartition (Ibex::LALR)
IR (Ibex)
Ibex
Impact (Ibex)
Importer (Ibex::BisonImport)
Inadequacy (Ibex::LALR::IELR)
InadequacyReport (Ibex::LALR)
Include (Ibex::Frontend::AST)
IncrementalParseSession (Ibex::Runtime::CST)
IncrementalUnsupportedError (Ibex::Runtime::CST)
InitializationHandlers (Ibex::LSP)
InlineAction (Ibex::Frontend::AST)
Input (Ibex::Configuration)
Inspector (Ibex::Configuration)
Invocation (Ibex::CLI)
ItemLookaheads (Ibex::LALR::IELR)

Key (Ibex::Configuration)
Kind (Ibex::Runtime::CST)

LALR (Ibex)
LR0Collection (Ibex::LALR)
LSP (Ibex)
LanguageWitness (Ibex::Verify)
LexedSyntax (Ibex::Runtime::CST)
Lexer (Ibex::IR)
Lexer (Ibex::Frontend::AST)
Lexer (Ibex::Frontend)
LexerDocument (Ibex::IR::Validator)
LexerInput (Ibex::Runtime)
LexerRule (Ibex::IR)
LexerRule (Ibex::Frontend::AST)
LexerState (Ibex::Frontend::AST)
Limits (Ibex::LSP)
Location (Ibex)
Location (Ibex::Frontend)
LocationSpan (Ibex::Runtime)
LogicalPath (Ibex::VerificationReport)
LookaheadPropagation (Ibex::LALR)

Machine (Ibex::Equiv)
Machine (Ibex::Verify::LanguageWitness)
Mermaid (Ibex::Codegen)
Messages (Ibex)
MetadataValidator (Ibex::TableArtifact)
Metrics (Ibex)
Mismatch (Ibex::Fuzz)

Observation (Ibex::Runtime)
OnErrorReduce (Ibex::Frontend::AST)
OnErrorReductions (Ibex::LALR)
Optional (Ibex::Frontend::AST)
Options (Ibex::Frontend::AST)
Origin (Ibex::Configuration)

PackedIntegers (Ibex::Tables)
Parameter (Ibex::Frontend::AST)
ParameterizedReference (Ibex::Frontend::AST)
ParseError (Ibex::Runtime)
ParseMemo (Ibex::Runtime::CST)
ParseResult (Ibex::Frontend)
ParseResult (Ibex::Runtime::CST)
ParseSessionState (Ibex::Runtime)
Parser (Ibex::Runtime)
Parser (Ibex::Frontend)
Parser (Ibex::ErrorMessages)
ParserConfiguration (Ibex::Frontend::AST)
ParserConfigurationAssistance (Ibex::LSP)
ParserConfigurationSupport (Ibex::Frontend)
ParserContract (Ibex::IR)
ParserSetting (Ibex::Frontend::AST)
ParserSyncRecovery (Ibex::Runtime)
ParserV2 (Ibex::ErrorMessages)
PhaseGuard (Ibex::Normalize)
Pipeline (Ibex::LALR::IELR)
Plus (Ibex::Frontend::AST)
PositionCodec (Ibex::LSP)
Precedence (Ibex::Frontend::AST)
PrecedenceBuilder (Ibex::Frontend::DSL)
PrecedenceLevel (Ibex::Frontend::AST)
Printer (Ibex::Frontend::AST)
Production (Ibex::IR)
ProductionCoverage (Ibex::GrammarTests)
Propagation (Ibex::Impact)
ProtocolError (Ibex::LSP)

RBS (Ibex::Codegen)
RaccMigration (Ibex)
Railroad (Ibex::Codegen)
RailroadDocumentation (Ibex::Codegen)
RakeTask (Ibex)
Recording (Ibex::Configuration)
Recovery (Ibex::Frontend::AST)
ReductionBudgetExceeded (Ibex::CLIReduce)
ReferenceCollection (Ibex::Verify)
Regenerator (Ibex::Frontend)
Registry (Ibex::Configuration)
RelexResult (Ibex::Runtime::CST)
Relexer (Ibex::Runtime::CST)
RepairAdvance (Ibex::Runtime)
RepairEdit (Ibex::Runtime)
RepairInput (Ibex::Runtime)
RepairPlan (Ibex::Runtime)
RepairPolicy (Ibex::Runtime)
RepairPriorityQueue (Ibex::Runtime)
RepairSearch (Ibex::Runtime)
RepairSearchResult (Ibex::Runtime)
Report (Ibex::Impact)
Report (Ibex::Coverage)
Report (Ibex::RaccMigration)
Report (Ibex::Configuration)
Report (Ibex::Codegen)
RequestHandlers (Ibex::LSP)
RequestSupport (Ibex::LSP)
Resolution (Ibex::Frontend)
ResolutionIOError (Ibex::Frontend)
Resolver (Ibex::Configuration)
Resolver (Ibex::Frontend)
ResourceLimitError (Ibex::Runtime)
ResourceLimits (Ibex::Runtime)
Result (Ibex::BisonImport)
Result (Ibex::DeltaReducer)
Result (Ibex::GrammarTests)
Result (Ibex::Verify)
Result (Ibex::BoundedSubprocess)
Result (Ibex::TableArtifact::Executor)
Result (Ibex::TableSimulation)
Result (Ibex::Verify::LanguageWitness)
Result (Ibex::Verify::ActionCorrespondence)
ReusableSubtree (Ibex::Runtime::CST)
Root (Ibex::Frontend::AST)
Ruby (Ibex::Codegen)
RubyAST (Ibex::Codegen)
RubyActions (Ibex::Codegen)
RubyErrorMessages (Ibex::Codegen)
RubyLexer (Ibex::Codegen)
RubySyntax (Ibex::Codegen)
RubyTableMetadata (Ibex::Codegen)
RubyValuePrinters (Ibex::Codegen)
Rule (Ibex::Frontend::AST)
RuleBuilder (Ibex::Frontend::DSL)
RuleDocumentation (Ibex::Frontend)
RuleState (Ibex::Frontend::TokenAdapter)
Runner (Ibex::Watch)
Runner (Ibex::GrammarTests)
Runtime (Ibex)
RuntimeEventValidator (Ibex::Coverage)

Samples (Ibex)
Seeds (Ibex::Impact)
Segment (Ibex::Frontend)
SemanticType (Ibex::Frontend::AST)
SentenceSearch (Ibex::ErrorMessages)
SeparatedList (Ibex::Frontend::AST)
SerializationError (Ibex::Runtime::CST)
Serialize (Ibex::IR)
Serialize (Ibex::Runtime::CST)
SerializedTree (Ibex::Runtime::CST)
Serializer (Ibex::TableArtifact)
Server (Ibex::LSP)
Session (Ibex::TableSimulation)
Sets (Ibex::Analysis)
Severity (Ibex::Impact)
Simulator (Ibex::TableSimulation)
SourceChanged (Ibex::GenerationTransaction)
SourceCursor (Ibex::Frontend)
SourceDocument (Ibex::Frontend)
SourceEncoding (Ibex::Frontend)
SourceLoader (Ibex::Frontend)
SourcePosition (Ibex::Frontend)
SourceSnapshot (Ibex::Watch)
SourceSpan (Ibex::Frontend)
SourceText (Ibex::Runtime::CST)
SplitStability (Ibex::LALR::IELR)
SplitState (Ibex::LALR::IELR)
Star (Ibex::Frontend::AST)
Start (Ibex::Frontend::AST)
StateSplitter (Ibex::LALR::IELR)
Step (Ibex::TableSimulation)
Subscription (Ibex::Runtime::Observation)
SymbolIndex (Ibex::LSP)
SymbolIndexBuilder (Ibex::LSP)
SymbolIndexPrecedenceReferences (Ibex::LSP)
SymbolIndexSourceQueries (Ibex::LSP)
SymbolLabels (Ibex::Codegen)
SymbolOccurrence (Ibex::LSP)
SymbolReference (Ibex::Frontend::AST)
SyntaxAnnotation (Ibex::Runtime::CST)
SyntaxEditor (Ibex::Runtime::CST)
SyntaxNode (Ibex::Runtime::CST)
SyntaxRepairEdit (Ibex::Runtime)
SyntaxRepairPlan (Ibex::Runtime)
SyntaxRepairResult (Ibex::Runtime)
SyntaxRepairer (Ibex::Runtime)
SyntaxResult (Ibex::Runtime::CST)
SyntaxRewriter (Ibex::Runtime::CST)
SyntaxSession (Ibex::Runtime)
SyntaxSessionCancelled (Ibex::Runtime)
SyntaxSessionDiagnostic (Ibex::Runtime)
SyntaxSessionLimits (Ibex::Runtime)
SyntaxSessionMetrics (Ibex::Runtime)
SyntaxSessionResourceLimitError (Ibex::Runtime)
SyntaxSessionResult (Ibex::Runtime)
SyntaxSessionTrustError (Ibex::Runtime)
SyntaxToken (Ibex::Runtime::CST)

TableArtifact (Ibex)
TableSet (Ibex::Tables)
TableSimulation (Ibex)
TableValidator (Ibex::TableArtifact)
Tables (Ibex)
Text (Ibex::TableSimulation)
TextEdit (Ibex::Runtime::CST)
Token (Ibex::BisonImport::Tokenizer)
Token (Ibex::Frontend)
TokenAdapter (Ibex::Frontend)
TokenMemo (Ibex::Runtime::CST)
Tokenizer (Ibex::BisonImport)
Tokens (Ibex::Frontend::AST)
Transport (Ibex::LSP)
TriviaDroppedError (Ibex::Runtime::CST)
TypedNode (Ibex::Runtime::CST)

UnreachableStates (Ibex::LALR)
Update (Ibex::ErrorMessages)
UserCode (Ibex::Frontend::AST)
UserCodeChunk (Ibex::IR)

ValidateIRCommand (Ibex::CLI)
ValidationError (Ibex::TableArtifact)
ValidationError (Ibex::VerificationReport)
ValidationError (Ibex::Runtime::CST)
ValidationSupport (Ibex::TableArtifact)
Validator (Ibex::TableArtifact)
Validator (Ibex::VerificationReport)
Validator (Ibex::IR)
Validator (Ibex::Runtime::CST)
Value (Ibex::Configuration)
VerifiableGenerationBundle (Ibex)
VerificationReport (Ibex)
Verifier (Ibex::Verify)
Verify (Ibex)
Violation (Ibex::Verify)

Watch (Ibex)
Witness (Ibex::ErrorMessages::SentenceSearch)
Workspace (Ibex::LSP)
WorkspaceAnalyzer (Ibex::LSP)