herd

Documentation

Overview

Package herd contains the parts of a Herdtools backend specific to herd7.

Index

• type Herd
  • func (h Herd) LiftExe(context.Context, backend2.LiftJob, service.RunInfo, service.Runner) error
  • func (h Herd) LiftStandalone(ctx context.Context, j backend2.LiftJob, r service.RunInfo, x service.Runner, ...) error
  • func (Herd) ParsePreTestLine([]string) (obs.Flag, error)
  • func (Herd) ParseStateCount(fields []string) (k uint64, ok bool, err error)
  • func (Herd) ParseStateLine(_ parser.TestType, fields []string) (*parser.StateLine, error)

Types

type Herd

type Herd struct{}

Herd describes the parts of a backend invocation that are specific to Herd.

func (Herd) LiftExe

func (h Herd) LiftExe(context.Context, backend2.LiftJob, service.RunInfo, service.Runner) error

LiftExe fails to run Herd to generate executables.

func (Herd) LiftStandalone

func (h Herd) LiftStandalone(ctx context.Context, j backend2.LiftJob, r service.RunInfo, x service.Runner, w io.Writer) error

LiftStandalone runs Herd standalone.

func (Herd) ParsePreTestLine

func (Herd) ParsePreTestLine([]string) (obs.Flag, error)

ParsePreTestLine does nothing, as pre-Test lines have no meaning in Herd.

func (Herd) ParseStateCount

func (Herd) ParseStateCount(fields []string) (k uint64, ok bool, err error)

ParseStateCount parses a Herd state count.

func (Herd) ParseStateLine

func (Herd) ParseStateLine(_ parser.TestType, fields []string) (*parser.StateLine, error)

ParseStateLine 'parses' a Herd state line. Herd state lines need no actual processing, and just get passed through verbatim.