Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve --report option #449

Merged
merged 3 commits into from
Jun 20, 2024
Merged

Improve --report option #449

merged 3 commits into from
Jun 20, 2024

Conversation

ydah
Copy link
Member

@ydah ydah commented Jun 19, 2024

This PR will improve the --report option as follows:

  • Add support cex and none option in report
  • Improve help text for report

Before:

Output:
    -H, --header=[FILE]              also produce a header file named FILE
    -d                               also produce a header file
    -r, --report=THINGS              also produce details on the automaton
        --report-file=FILE           also produce details on the automaton output to a file named FILE
: (snip)
Valid Reports:
    states itemsets lookaheads solved counterexamples all rules terms verbose

After:

Output:
    -H, --header=[FILE]              also produce a header file named FILE
    -d                               also produce a header file
    -r, --report=REPO_THINGS         also produce details on the automaton
        --report-file=FILE           also produce details on the automaton output to a file named FILE
: (snip)
REPO_THINGS is a list of comma-separated words that can include:
    states                           describe the states
    itemsets                         complete the core item sets with their closure
    lookaheads                       explicitly associate lookahead tokens to items
    solved                           describe shift/reduce conflicts solving
    counterexamples, cex             generate conflict counterexamples
    rules                            list unused rules
    terms                            list unused terminals
    verbose                          report detailed internal state and analysis results
    all                              include all the above reports
    none                             disable all reports

@ydah ydah merged commit 11dce25 into ruby:master Jun 20, 2024
16 checks passed
@ydah ydah deleted the improve-report-option branch June 20, 2024 10:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant