Location returns a short string describing where this declaration was found.

Names returns a sorted list of names corresponding to the missing variant cases.

indirect dereferences through an arbitrary number of pointer types.

check does exhaustiveness checking for the given sum type definitions in the given package. Every instance of inexhaustive case analysis is returned.

checkSwitch performs an exhaustiveness check on the given type switch statement. If the type switch is used on a sum type and does not cover all varia

defaultClauseAlwaysPanics returns true if the given switch statement has a default clause that always panics. Note that this is done on a best-effort

findDef returns the sum type definition corresponding to the given type. If no such sum type definition exists, then nil is returned.

findSumTypeDecls searches every package given for sum type declarations of the form `go-sumtype:decl ...`.

findSumTypeDefs attempts to find a Go type definition for each of the given sum type declarations. If no such sum type definition could be found for a

findTypeAssertExpr extracts the expression that is being type asserted from a type swtich statement.

isSumTypeDecl returns true if and only if this line in a Go source file is a sum type decl.

missing returns a list of variants in this sum type that are not in the given list of types.

missingVariantsInSwitch returns a list of missing variants corresponding to the given switch statement. The corresponding sum type definition is also

newSumTypeDef attempts to extract a sum type definition from a single package. If no such type corresponds to the given decl, then this function retur

parseSumTypeDecl parses the type name out of a sum type decl. If no such decl could be found, then this returns an empty string.

sumTypeDeclSearch searches the given file for sum type declarations of the form `go-sumtype:decl ...`.

switchVariants returns all case expressions found in a type switch. This includes expressions from cases that have a list of expressions.

TestMissingOne tests that we detect a single missing variant.

TestMissingOneWithPanic tests that we detect a single missing variant even if we have a trivial default case that panics.

TestMissingTwo tests that we detect a two missing variants.

TestNoMissing tests that we correctly detect exhaustive case analysis.

TestNoMissingDefault tests that even if we have a missing variant, a default case should thwart exhaustiveness checking.

TestNotFound tests that we report an error if one tries to declare a sum type that isn't defined.

TestNotInterface tests that we report an error if one tries to declare a sum type that doesn't correspond to an interface.

TestNotSealed tests that we report an error if one tries to declare a sum type with an unsealed interface.