class

Lrama::OptionParser

Inherits Reference < Object

Constants

ALIASED_REPORTS = {"cex" => "counterexamples"}
NOT_SUPPORTED_TRACES = ["locations", "scan", "parse", "bitsets", "grammar", "resource", "sets", "muscles", "tools", "m4-early", "m4", "skeleton", "ielr", "cex"] of ::String
PROFILE_OPTION_MAP = {"call-stack" => :call_stack, "memory" => :memory}
REPORT_OPTION_MAP = {"states" => :states, "itemsets" => :itemsets, "lookaheads" => :lookaheads, "solved" => :solved, "counterexamples" => :counterexamples, "rules" => :rules, "terms" => :terms, "verbose" => :verbose}
SUPPORTED_TRACES = VALID_TRACES - NOT_SUPPORTED_TRACES
TRACE_OPTION_MAP = {"automaton" => :automaton, "closure" => :closure, "rules" => :rules, "only-explicit-rules" => :only_explicit_rules, "actions" => :actions, "time" => :time}
VALID_PROFILES = ["call-stack", "memory"] of ::String
VALID_TRACES = ["locations", "scan", "parse", "automaton", "bitsets", "closure", "grammar", "rules", "only-explicit-rules", "actions", "resource", "sets", "muscles", "tools", "m4-early", "m4", "skeleton", "time", "ielr", "cex"] of ::String

Constructors

Class methods

parse(argv : Array(String)) : Options
Source

Instance methods

parse(argv : Array(String)) : Options
Source
to_s(io : IO) : Nil

Appends a short String representation of this object which includes its class name and its object address.

class Person
  def initialize(@name : String, @age : Int32)
  end
end

Person.new("John", 32).to_s # => #<Person:0x10a199f20>
Source
to_s

Returns a nicely readable and concise string representation of this object, typically intended for users.

This method should usually not be overridden. It delegates to #to_s(IO) which can be overridden for custom implementations.

Also see #inspect.

Source

Nested types