instrumenter

package
v0.0.0-...-668de4a Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Oct 30, 2020 License: BSD-2-Clause Imports: 12 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

This section is empty.

Types

type Block

type Block struct {
	ID string
	// contains filtered or unexported fields
}

Block represents the information about a basic block to be recorded in the analysis. Note: Our definition of basic block is based on control structures; we don't break apart && and ||. We could but it doesn't seem important enough to bother.

type File

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

File is a wrapper for the state of a file used in the parser. The basic parse tree walker is a method of this type.

func Annotate

func Annotate(name string) (*File, error)

Annotate annotates the source code with Dara instrumentation for source code coverage

func (*File) GetBlockIDs

func (f *File) GetBlockIDs() []string

func (*File) Visit

func (f *File) Visit(node ast.Node) ast.Visitor

Visit implements the ast.Visitor interface.

func (*File) WriteAnnotatedFile

func (f *File) WriteAnnotatedFile(outfile string) error

WriteAnnotatedFile writes the annotated source code to the specified outfile

func (*File) WriteBlocksFile

func (f *File) WriteBlocksFile(outfile string) error

WriteBlocksFile writes the list of blockIDs to the specified outfile

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL