lsp: Rule head completion improvements

These new completion providers will complete keywords and common rule
names in a limited number of but common scenarios.

Signed-off-by: Charlie Egan <charlie@styra.com>

internal/lsp/completions/manager.go

@@ -36,6 +36,8 @@ func NewDefaultManager(c *cache.Cache) *Manager {
 	m.RegisterProvider(&providers.PackageRefs{})
 	m.RegisterProvider(&providers.RuleRefs{})
 	m.RegisterProvider(&providers.RuleHead{})
+	m.RegisterProvider(&providers.RuleHeadKeyword{})
+	m.RegisterProvider(&providers.CommonRule{})
 
 	return m
 }
@@ -49,8 +51,14 @@ func (m *Manager) Run(params types.CompletionParams, opts *providers.Options) ([
 			return nil, fmt.Errorf("error running completion provider: %w", err)
 		}
 
-		if len(providerCompletions) > 0 {
-			completions = append(completions, providerCompletions...)
+		for _, completion := range providerCompletions {
+			// if a provider returns a mandatory completion, return it immediately
+			// as it is the only completion that should be shown.
+			if completion.Mandatory {
+				return []types.CompletionItem{completion}, nil
+			}
+
+			completions = append(completions, completion)
 		}
 	}
 

internal/lsp/completions/providers/commonrule.go

@@ -0,0 +1,84 @@
+//nolint:dupl
+package providers
+
+import (
+	"fmt"
+	"strings"
+
+	"github.com/styrainc/regal/internal/lsp/cache"
+	"github.com/styrainc/regal/internal/lsp/types"
+	"github.com/styrainc/regal/internal/lsp/types/completion"
+)
+
+type CommonRule struct{}
+
+func (*CommonRule) Run(c *cache.Cache, params types.CompletionParams, _ *Options) ([]types.CompletionItem, error) {
+	fileURI := params.TextDocument.URI
+
+	_, currentLine := completionLineHelper(c, fileURI, params.Position.Line)
+
+	if patternRuleBody.MatchString(currentLine) { // if in rule body
+		return []types.CompletionItem{}, nil
+	}
+
+	words := patternWhiteSpace.Split(currentLine, -1)
+	if len(words) != 1 {
+		return []types.CompletionItem{}, nil
+	}
+
+	existingRules := make(map[string]struct{})
+
+	for _, ref := range c.GetFileRefs(fileURI) {
+		if ref.Kind == types.Rule || ref.Kind == types.ConstantRule || ref.Kind == types.Function {
+			parts := strings.Split(ref.Label, ".")
+			existingRules[parts[len(parts)-1]] = struct{}{}
+		}
+	}
+
+	lastWord := strings.TrimSpace(currentLine)
+
+	var label string
+
+	var newText string
+
+	for _, word := range []string{"allow", "deny"} {
+		if strings.HasPrefix(word, lastWord) {
+			if _, ok := existingRules[word]; ok {
+				return []types.CompletionItem{}, nil
+			}
+
+			label = word
+			newText = word + " "
+
+			break
+		}
+	}
+
+	if label == "" {
+		return []types.CompletionItem{}, nil
+	}
+
+	return []types.CompletionItem{
+		{
+			Label: label,
+			Kind:  completion.Snippet,
+			Documentation: &types.MarkupContent{
+				Kind:  "markdown",
+				Value: fmt.Sprintf("%q is a common rule name", label),
+			},
+			TextEdit: &types.TextEdit{
+				Range: types.Range{
+					Start: types.Position{
+						Line:      params.Position.Line,
+						Character: params.Position.Character - uint(len(lastWord)),
+					},
+					End: types.Position{
+						Line:      params.Position.Line,
+						Character: uint(len(currentLine)),
+					},
+				},
+				NewText: newText,
+			},
+		},
+	}, nil
+}

internal/lsp/completions/providers/commonrule_test.go

@@ -0,0 +1,132 @@
+//nolint:dupl
+package providers
+
+import (
+	"testing"
+
+	"github.com/styrainc/regal/internal/lsp/cache"
+	"github.com/styrainc/regal/internal/lsp/completions/refs"
+	"github.com/styrainc/regal/internal/lsp/types"
+	"github.com/styrainc/regal/internal/parse"
+)
+
+func TestCommonRule_TypedA(t *testing.T) {
+	t.Parallel()
+
+	c := cache.NewCache()
+
+	fileContents := `package policy
+
+a
+`
+
+	c.SetFileContents(testCaseFileURI, fileContents)
+
+	p := &CommonRule{}
+
+	completionParams := types.CompletionParams{
+		TextDocument: types.TextDocumentIdentifier{
+			URI: testCaseFileURI,
+		},
+		Position: types.Position{
+			Line:      2,
+			Character: 1,
+		},
+	}
+
+	completions, err := p.Run(c, completionParams, nil)
+	if err != nil {
+		t.Fatalf("Unexpected error: %v", err)
+	}
+
+	if len(completions) != 1 {
+		t.Fatalf("Expected exactly one completion, got: %v", completions)
+	}
+
+	comp := completions[0]
+	if comp.Label != "allow" {
+		t.Fatalf("Expected label to be 'allow', got: %v", comp.Label)
+	}
+}
+
+func TestCommonRule_TypedD(t *testing.T) {
+	t.Parallel()
+
+	c := cache.NewCache()
+
+	fileContents := `package policy
+
+d
+`
+
+	c.SetFileContents(testCaseFileURI, fileContents)
+
+	p := &CommonRule{}
+
+	completionParams := types.CompletionParams{
+		TextDocument: types.TextDocumentIdentifier{
+			URI: testCaseFileURI,
+		},
+		Position: types.Position{
+			Line:      2,
+			Character: 1,
+		},
+	}
+
+	completions, err := p.Run(c, completionParams, nil)
+	if err != nil {
+		t.Fatalf("Unexpected error: %v", err)
+	}
+
+	if len(completions) != 1 {
+		t.Fatalf("Expected exactly one completion, got: %v", completions)
+	}
+
+	comp := completions[0]
+	if comp.Label != "deny" {
+		t.Fatalf("Expected label to be 'deny', got: %v", comp.Label)
+	}
+}
+
+func TestCommonRule_TypedDAlreadyDefined(t *testing.T) {
+	t.Parallel()
+
+	c := cache.NewCache()
+
+	fileContents := `package policy
+
+deny := false
+
+`
+
+	c.SetFileContents(testCaseFileURI, fileContents+"d")
+
+	mod, err := parse.Module(testCaseFileURI, fileContents)
+	if err != nil {
+		t.Fatalf("Unexpected error: %v", err)
+	}
+
+	c.SetModule(testCaseFileURI, mod)
+	c.SetFileRefs(testCaseFileURI, refs.ForModule(mod))
+
+	p := &CommonRule{}
+
+	completionParams := types.CompletionParams{
+		TextDocument: types.TextDocumentIdentifier{
+			URI: testCaseFileURI,
+		},
+		Position: types.Position{
+			Line:      4,
+			Character: 1,
+		},
+	}
+
+	completions, err := p.Run(c, completionParams, nil)
+	if err != nil {
+		t.Fatalf("Unexpected error: %v", err)
+	}
+
+	if len(completions) != 0 {
+		t.Fatalf("Expected no completions, got: %v", completions)
+	}
+}

internal/lsp/completions/providers/ruleheadkeyword.go

@@ -0,0 +1,80 @@
+//nolint:dupl
+package providers
+
+import (
+	"strings"
+
+	"github.com/styrainc/regal/internal/lsp/cache"
+	"github.com/styrainc/regal/internal/lsp/types"
+	"github.com/styrainc/regal/internal/lsp/types/completion"
+)
+
+// RuleHeadKeyword will return completions for the keywords when starting a new rule.
+// The current cases are supported:
+// - [rule-name] if
+// - [rule-name] contains
+// - [rule-name] contains if
+// These completions are mandatory, that means they are the only ones to be shown.
+type RuleHeadKeyword struct{}
+
+func (*RuleHeadKeyword) Run(c *cache.Cache, params types.CompletionParams, _ *Options) ([]types.CompletionItem, error) {
+	fileURI := params.TextDocument.URI
+
+	_, currentLine := completionLineHelper(c, fileURI, params.Position.Line)
+
+	if patternRuleBody.MatchString(currentLine) { // if in rule body
+		return []types.CompletionItem{}, nil
+	}
+
+	words := patternWhiteSpace.Split(currentLine, -1)
+	if len(words) < 2 {
+		return []types.CompletionItem{}, nil
+	}
+
+	lastWord := words[len(words)-1]
+
+	const keyWdContains = "contains"
+
+	const keyWdIf = "if"
+
+	var label string
+
+	switch {
+	// suggest contains after the name of the rule in the rule head
+	//nolint:gocritic
+	case len(words) == 2 && strings.HasPrefix(keyWdContains, lastWord):
+		label = "contains"
+	// suggest if at the end of the rule head
+	case len(words) == 4 && words[1] == keyWdContains:
+		label = keyWdIf
+	// suggest if after the rule name
+	//nolint:gocritic
+	case len(words) == 2 && strings.HasPrefix(keyWdIf, lastWord):
+		label = keyWdIf
+	}
+
+	if label == "" {
+		return []types.CompletionItem{}, nil
+	}
+
+	return []types.CompletionItem{
+		{
+			Label: label,
+			Kind:  completion.Keyword,
+			TextEdit: &types.TextEdit{
+				Range: types.Range{
+					Start: types.Position{
+						Line:      params.Position.Line,
+						Character: params.Position.Character - uint(len(lastWord)),
+					},
+					End: types.Position{
+						Line:      params.Position.Line,
+						Character: uint(len(currentLine)),
+					},
+				},
+				NewText: label + " ",
+			},
+			Mandatory: true,
+		},
+	}, nil
+}