Versions in this module Expand all Collapse all v1 v1.0.1 Nov 17, 2023 v1.0.0 Aug 31, 2023 Changes in this version + func NewAnalyzer(config Config) *analysis.Analyzer + type Config struct + FollowImports bool + ReportContracts bool + func NewConfig() Config + type Contract struct + Condition string + Message string + Names []string + Pos token.Pos + type Function struct + Args []string + Contracts []Contract + func (*Function) AFact() + func (fn Function) MapArgs(exprs []ast.Expr, info *types.Info) map[string]string + func (fn Function) Validate(vars map[string]string) (*Contract, error) + type Result map[*types.Func]*Function
Go to main page