checkinfo

Documentation

Overview

Package checkinfo attaches basic info to types.

Index

• Variables
• type Align
  • func (*Align) AFact()
• type Offset
  • func (*Offset) AFact()
• type Size
  • func (*Size) AFact()
• type Value
  • func (*Value) AFact()

Variables

var Analyzer = &analysis.Analyzer{
	Name: "checkinfo",
	Doc:  "annotates types with basic information",
	Run:  run,
	FactTypes: []analysis.Fact{
		(*Align)(nil),
		(*Offset)(nil),
		(*Size)(nil),
		(*Value)(nil),
	},
}

Analyzer defines the entrypoint.

Types

type Align

type Align int64

Align is a fact.

func (*Align) AFact

func (*Align) AFact()

AFact implements analysis.Fact.AFact.

type Offset

type Offset int64

Offset is a fact.

func (*Offset) AFact

func (*Offset) AFact()

AFact implements analysis.Fact.AFact.

type Size

type Size int64

Size is a fact.

func (*Size) AFact

func (*Size) AFact()

AFact implements analysis.Fact.AFact.

type Value

type Value string

Value is a trivial fact.

func (*Value) AFact

func (*Value) AFact()

AFact implements analysis.Fact.AFact.