source

type Language ¶

type Language string

Language identifies a programming language on requests and answers. The zero value is the empty string, which is not a language.

Each language module declares its own value, and core declares none. The language registry refuses a value that two modules declare. The value is part of every go.dokimi.dev/techne/core/sema.ID, so changing it invalidates the IDs an index has stored.

type Path ¶

type Path string

Path is a slash-separated file path, relative to the workspace root. The zero value is the empty string, which is not a path.

type Position ¶

type Position struct {
	// Offset is the zero-based byte offset. It is authoritative.
	Offset int `json:"offset"`
	// Line is the zero-based line of Offset.
	Line int `json:"line"`
	// Column is the zero-based byte column of Offset.
	Column int `json:"column"`
}

Position is one point in a file. The zero value is the first byte.

type Span ¶

type Span struct {
	Path  Path     `json:"path"`
	Start Position `json:"start"`
	End   Position `json:"end"`
}

Span is a half-open range of one file: it includes Start and excludes End. A Span whose Start equals its End is an insertion point. The zero value has an empty Path.