Inspect checks the following: * There are no unreachable blocks.

Validate performs a number of checks on the api file for correctness.

WithAnalysis performs a number of checks on the api file for correctness using pre-built analysis results.

ErrUnreachable is the error raised for unreachable code.

Issue holds details of a problem found when validating an API file.

Options controls the validation that's performed.

Issues is a list of issues.