Categorygithub.com/ZhongsJie/nilawayassertionfunctionfunctioncontracts
package
1.0.5
Repository: https://github.com/zhongsjie/nilaway.git
Documentation: pkg.go.dev
Overview
Versions
1
Dependencies
16
Dependents
0
Files
678 SLOC

# Constants

Any has keyword "_".
False has keyword "false".
NonNil has keyword "nonnil".
True has keyword "true".

# Variables

Analyzer here is the analyzer than reads function contracts.

# Structs

FunctionContract represents a function contract.

# Type aliases

ContractVal represents the possible value appearing in a function contract.
Map stores the mappings from *types.Func to associated function contracts.