languageservice

type CallInfo ¶

type CallInfo struct {
	ParameterCount        int
	ExplicitTypeArguments bool
}

CallInfo records structured call syntax without making adapters parse the human-readable signature in Detail.

type CompletionItem ¶

type CompletionItem struct {
	Label       string
	InsertText  string
	Kind        CompletionKind
	Detail      string
	Replacement OffsetRange
}

CompletionItem separates the displayed label from the exact source text that replaces Replacement.

func Complete(request CompletionRequest) []CompletionItem

type CompletionKind ¶

type CompletionKind string

const (
	CompletionKeyword    CompletionKind = "keyword"
	CompletionVariable   CompletionKind = "variable"
	CompletionParameter  CompletionKind = "parameter"
	CompletionConstant   CompletionKind = "constant"
	CompletionFunction   CompletionKind = "function"
	CompletionMethod     CompletionKind = "method"
	CompletionField      CompletionKind = "field"
	CompletionType       CompletionKind = "type"
	CompletionEnumMember CompletionKind = "enum_member"
	CompletionModule     CompletionKind = "module"
	CompletionCommand    CompletionKind = "command"
)

type CompletionRequest ¶

type CompletionRequest struct {
	Source  string
	Cursor  int
	Mode    string
	Context Context
}

type Context ¶

type Context struct {
	Symbols     []Symbol
	TypeMembers map[string][]Symbol
}

Context is the checked project information available at a cursor position. REPL contexts are rebuilt from typed IR after every accepted submission.

func BuildContext(programs []*ir.Program, modulePath string) Context

type HighlightKind ¶

type HighlightKind string

const (
	HighlightKeyword  HighlightKind = "keyword"
	HighlightType     HighlightKind = "type"
	HighlightConstant HighlightKind = "constant"
	HighlightString   HighlightKind = "string"
	HighlightNumber   HighlightKind = "number"
	HighlightBoolean  HighlightKind = "boolean"
	HighlightComment  HighlightKind = "comment"
	HighlightFunction HighlightKind = "function"
	HighlightMethod   HighlightKind = "method"
	HighlightInvalid  HighlightKind = "invalid"
)

type HighlightRequest ¶

type HighlightRequest struct {
	Source  string
	Mode    string
	Context Context
}

type HighlightSpan ¶

type HighlightSpan struct {
	Range OffsetRange
	Kind  HighlightKind
}

func Highlight(request HighlightRequest) []HighlightSpan

type OffsetRange ¶

type OffsetRange struct {
	Start int
	End   int
}

OffsetRange is a half-open UTF-8 byte range. Protocol adapters may convert it to their own position representation without changing completion logic.

type Service ¶

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

Service owns a checked project snapshot while keeping terminal and browser presentation concerns outside the language analysis layer.

func New(mode string) *Service

func (s *Service) Complete(source string, cursor int) []CompletionItem

func (s *Service) Highlight(source string) []HighlightSpan

func (s *Service) Update(programs []*ir.Program, modulePath string)

type Symbol ¶

type Symbol struct {
	Name    string
	Kind    CompletionKind
	Detail  string
	Type    types.Type
	Call    *CallInfo
	Members []Symbol
}

Symbol is the UI-independent semantic shape consumed by completion.