sqlcheck

package
v0.19.2 Latest Latest
Warning

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

Go to latest
Published: Mar 3, 2024 License: Apache-2.0 Imports: 6 Imported by: 11

Documentation

Overview

Package sqlcheck provides interfaces for analyzing the contents of SQL files to generate insights on the safety of many kinds of changes to database schemas. With this package developers may define an Analyzer that can be used to diagnose the impact of SQL statements on the target database. For instance, The `destructive` package exposes an Analyzer that detects destructive changes to the database schema, such as the dropping of tables or columns.

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func Code added in v0.6.4

func Code(code string) string

Code stores the given code in the registry. It protects from duplicate analyzers' codes.

func Register added in v0.5.0

func Register(name string, f func(*schemahcl.Resource) ([]Analyzer, error))

Register allows drivers to register a constructor function for creating analyzers from the given HCL resource.

Types

type Analyzer

type Analyzer interface {
	// Analyze executes the analysis function.
	Analyze(context.Context, *Pass) error
}

An Analyzer describes a migration file analyzer.

func AnalyzerFor added in v0.5.0

func AnalyzerFor(name string, r *schemahcl.Resource) ([]Analyzer, error)

AnalyzerFor instantiates a new Analyzer from the given HCL resource based on the registered constructor function.

type AnalyzerFunc added in v0.5.0

type AnalyzerFunc func(ctx context.Context, p *Pass) error

AnalyzerFunc allows using ordinary functions as analyzers.

func (AnalyzerFunc) Analyze added in v0.5.0

func (f AnalyzerFunc) Analyze(ctx context.Context, p *Pass) error

Analyze calls f.

type Analyzers

type Analyzers []Analyzer

Analyzers implements Analyzer.

func (Analyzers) Analyze

func (a Analyzers) Analyze(ctx context.Context, p *Pass) error

Analyze implements Analyzer.

type Change

type Change struct {
	schema.Changes               // The actual changes.
	Stmt           *migrate.Stmt // The SQL statement generated this change.
}

A Change in a migration file.

type Diagnostic

type Diagnostic struct {
	Pos            int            `json:"Pos"`                      // Diagnostic position.
	Text           string         `json:"Text"`                     // Diagnostic text.
	Code           string         `json:"Code"`                     // Code describes the check. For example, DS101
	SuggestedFixes []SuggestedFix `json:"SuggestedFixes,omitempty"` // Fixes to this specific diagnostics (statement-level).
}

A Diagnostic is a text associated with a specific position of a statement in a file.

type File

type File struct {
	migrate.File

	// Changes represents the list of changes this file represents.
	Changes []*Change

	// Sum represents a summary of changes this file represents. For example,
	// in case of a file that contains exactly two statements, and the first
	// statement is reverted by the one after it, the Sum is nil.
	Sum schema.Changes

	// A Parser that may be used for parsing this file. It sets to any as the contract
	// between checks and their parsers can vary. For example, in case of running checks
	// from CLI, the injected parser can be found in cmd/atlas/internal/sqlparse.Parser.
	Parser any
	// contains filtered or unexported fields
}

File represents a parsed version of a migration file.

func (*File) ColumnSpan added in v0.4.3

func (f *File) ColumnSpan(t *schema.Table, c *schema.Column) ResourceSpan

ColumnSpan returns the span information for the column.

func (*File) IndexSpan added in v0.4.3

func (f *File) IndexSpan(t *schema.Table, i *schema.Index) ResourceSpan

IndexSpan returns the span information for the span.

func (*File) SchemaSpan added in v0.4.3

func (f *File) SchemaSpan(s *schema.Schema) ResourceSpan

SchemaSpan returns the span information for the schema.

func (*File) TableSpan added in v0.4.3

func (f *File) TableSpan(t *schema.Table) ResourceSpan

TableSpan returns the span information for the table.

type NamedAnalyzer added in v0.6.5

type NamedAnalyzer interface {
	Analyzer
	// Name of the analyzer. Identifies the analyzer
	// in configuration and linting passes.
	Name() string
}

A NamedAnalyzer describes an Analyzer that has a name.

type Options added in v0.6.2

type Options struct {
	// Error indicates if an analyzer should
	// error in case a Diagnostic was found.
	Error *bool `spec:"error"`

	// Allow drivers to extend the configuration.
	schemahcl.DefaultExtension
}

Options defines a generic configuration options for analyzers.

type Pass

type Pass struct {
	// A migration file and the changes it describes.
	File *File

	// Dev is a driver-specific environment used to execute analysis work.
	Dev *sqlclient.Client

	// Report reports analysis reports.
	Reporter ReportWriter
}

A Pass provides information to the Run function that applies a specific analyzer to an SQL file.

type Report added in v0.4.3

type Report struct {
	Text           string         `json:"Text"`                     // Report text.
	Diagnostics    []Diagnostic   `json:"Diagnostics,omitempty"`    // Report diagnostics.
	SuggestedFixes []SuggestedFix `json:"SuggestedFixes,omitempty"` // Report-level suggested fixes.
}

A Report describes an analysis report with an optional specific diagnostic.

type ReportWriter added in v0.4.3

type ReportWriter interface {
	WriteReport(Report)
}

ReportWriter represents a writer for analysis reports.

type ReportWriterFunc added in v0.4.3

type ReportWriterFunc func(Report)

ReportWriterFunc is a function that implements Reporter.

func (ReportWriterFunc) WriteReport added in v0.4.3

func (f ReportWriterFunc) WriteReport(r Report)

WriteReport calls f(r).

type ResourceSpan added in v0.4.3

type ResourceSpan uint

ResourceSpan describes the lifespan of a resource in perspective to the migration file.

const (
	// SpanUnknown describes unknown lifespan.
	// e.g. resource may exist before this file.
	SpanUnknown ResourceSpan = iota

	// SpanAdded describes that a span of
	// a resource was started in this file.
	SpanAdded

	// SpanDropped describes that a span of
	// a resource was ended in this file.
	SpanDropped

	// SpanTemporary indicates that a resource lifetime
	// was started and ended in this file (CREATE and DROP).
	SpanTemporary = SpanAdded | SpanDropped
)

type SuggestedFix added in v0.19.1

type SuggestedFix struct {
	Message  string    `json:"Message"`
	TextEdit *TextEdit `json:"TextEdit,omitempty"`
}

A SuggestedFix is a change associated with a diagnostic that can be applied to fix the issue. Both the message and the text edit are optional.

type TextEdit added in v0.19.1

type TextEdit struct {
	Line    int    `json:"Line"`    // Start line to edit.
	End     int    `json:"End"`     // End line to edit.
	NewText string `json:"NewText"` // New text to replace.
}

A TextEdit represents a code changes in a file. The suggested edits are line-based starting from 1.

Directories

Path Synopsis

Jump to

Keyboard shortcuts

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