/usr/bin/typeprof3.3

Usage: typeprof3 [options] files...

Options:
    -o OUTFILE                       Output to OUTFILE instead of stdout
    -q, --quiet                      Do not display progress indicator
    -v, --verbose                    Alias to --show-errors
        --version                    Display typeprof version
    -I DIR                           Add DIR to the load/require path
    -r FEATURE                       Require RBS of the FEATURE gem
        --collection PATH            File path of collection configuration
        --no-collection              Ignore collection configuration
        --lsp                        LSP mode

Analysis output options:
        --include-dir DIR            Include the analysis result of .rb file in DIR
        --exclude-dir DIR            Exclude the analysis result of .rb file in DIR
        --exclude-untyped            Exclude (comment out) all entries including untyped
        --[no-]show-typeprof-version Display TypeProf version in a header
        --[no-]show-errors           Display possible errors found during the analysis
        --[no-]show-untyped          Display "Foo | untyped" instead of "Foo"
        --[no-]show-parameter-names  Display parameter names for methods
        --[no-]show-source-locations Display definition source locations for methods

Analysis limit options:
        --max-second SECOND          Limit the maxium time of analysis (in second)
        --max-iteration TIMES        Limit the maxium instruction count of analysis

Advanced options:
        --[no-]stub-execution        Force to call all unreachable methods with "untyped" arguments
        --type-depth-limit DEPTH     Limit the maximum depth of nested types
        --union-width-limit WIDTH    Limit the maximum count of class instances in one union type
        --debug                      Display analysis log (for debugging purpose)
        --[no-]stackprof MODE        Enable stackprof (for debugging purpose)

LSP options:
        --port PORT                  Specify a port number to listen for requests on
        --stdio                      Use stdio for LSP transport