assertions

Documentation

Index

• Constants
• func GenerateAssertionsCatalog(moduleName string, genInfo *GenInfo)
• func IsGeneratedFile(file_name string) bool
• type AntExpect
• type AssertionFuncInfo
• type AssertionHints
  • func SetupHintMap() AssertionHints
  • func (m AssertionHints) HintsForName(name string) *AssertionFuncInfo
• type AssertionScanner
  • func NewAssertionScanner(verbose bool, moduleName string, symbolTableName string) *AssertionScanner
  • func (aScanner *AssertionScanner) GetLogger() *common.LogWriter
  • func (aScanner *AssertionScanner) HasAssertionsDefined() bool
  • func (aScanner *AssertionScanner) ScanFile(file_path string)
  • func (aScanner *AssertionScanner) SummarizeWork()
  • func (aScanner *AssertionScanner) WriteAssertionCatalog(versionText string)
• type GenInfo

Constants

const (
	Cond_false = iota
	Cond_true
	Was_hit
	Not_hit
	Must_be_hit
	Optionally_hit
	Universal_test
	Existential_test
	Reachability_test
	Num_conditions
)

Functions

func GenerateAssertionsCatalog

func GenerateAssertionsCatalog(moduleName string, genInfo *GenInfo)

func IsGeneratedFile

func IsGeneratedFile(file_name string) bool

Types

type AntExpect

type AntExpect struct {
	*AssertionFuncInfo
	Assertion string
	Message   string
	Classname string
	Funcname  string
	Receiver  string
	Filename  string
	Line      int
}

type AssertionFuncInfo

type AssertionFuncInfo struct {
	TargetFunc string
	AssertType string
	MustHit    bool
	Condition  bool
	MessageArg int
}

type AssertionHints

type AssertionHints map[string]*AssertionFuncInfo

func SetupHintMap

func SetupHintMap() AssertionHints

func (AssertionHints) HintsForName

func (m AssertionHints) HintsForName(name string) *AssertionFuncInfo

type AssertionScanner

type AssertionScanner struct {
	// contains filtered or unexported fields
}

Capitalized struct items are accessed outside this file

func NewAssertionScanner

func NewAssertionScanner(verbose bool, moduleName string, symbolTableName string) *AssertionScanner

func (*AssertionScanner) GetLogger

func (aScanner *AssertionScanner) GetLogger() *common.LogWriter

func (*AssertionScanner) HasAssertionsDefined

func (aScanner *AssertionScanner) HasAssertionsDefined() bool

func (*AssertionScanner) ScanFile

func (aScanner *AssertionScanner) ScanFile(file_path string)

func (*AssertionScanner) SummarizeWork

func (aScanner *AssertionScanner) SummarizeWork()

func (*AssertionScanner) WriteAssertionCatalog

func (aScanner *AssertionScanner) WriteAssertionCatalog(versionText string)

type GenInfo

type GenInfo struct {
	ConstMap map[string]bool

	AssertPackageName string
	VersionText       string
	CreateDate        string
	ExpectedVals      []*AntExpect
	HasAssertions     bool
	// contains filtered or unexported fields
}