-
Notifications
You must be signed in to change notification settings - Fork 34
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Precompute refs in file at update (#859)
Signed-off-by: Charlie Egan <[email protected]>
- Loading branch information
1 parent
82fd171
commit 72f63aa
Showing
7 changed files
with
176 additions
and
65 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,114 @@ | ||
| package lsp | ||
|
|
||
| import ( | ||
| "context" | ||
| "errors" | ||
| "fmt" | ||
|
|
||
| "github.com/open-policy-agent/opa/ast" | ||
| "github.com/open-policy-agent/opa/storage" | ||
| "github.com/open-policy-agent/opa/storage/inmem" | ||
| ) | ||
|
|
||
| func NewRegalStore() storage.Store { | ||
| return inmem.NewFromObject(map[string]interface{}{ | ||
| "workspace": map[string]interface{}{ | ||
| "parsed": map[string]interface{}{}, | ||
| "defined_refs": map[string][]string{}, | ||
| }, | ||
| }) | ||
| } | ||
|
|
||
| func transact(ctx context.Context, store storage.Store, writeMode bool, op func(txn storage.Transaction) error) error { | ||
| var params storage.TransactionParams | ||
| if writeMode { | ||
| params = storage.WriteParams | ||
| } | ||
|
|
||
| txn, err := store.NewTransaction(ctx, params) | ||
| if err != nil { | ||
| return fmt.Errorf("failed to create transaction: %w", err) | ||
| } | ||
|
|
||
| success := false | ||
| defer func() { | ||
| if !success { | ||
| store.Abort(ctx, txn) | ||
| } | ||
| }() | ||
|
|
||
| if err := op(txn); err != nil { | ||
| return err | ||
| } | ||
|
|
||
| if err := store.Commit(ctx, txn); err != nil { | ||
| return fmt.Errorf("failed to commit transaction: %w", err) | ||
| } | ||
|
|
||
| success = true | ||
|
|
||
| return nil | ||
| } | ||
|
|
||
| func PutFileMod(ctx context.Context, store storage.Store, fileURI string, mod *ast.Module) error { | ||
| return transact(ctx, store, true, func(txn storage.Transaction) error { | ||
| var stErr *storage.Error | ||
|
|
||
| err := store.Write(ctx, txn, storage.ReplaceOp, storage.Path{"workspace", "parsed", fileURI}, mod) | ||
| if errors.As(err, &stErr) && stErr.Code == storage.NotFoundErr { | ||
| err = store.Write(ctx, txn, storage.AddOp, storage.Path{"workspace", "parsed", fileURI}, mod) | ||
| if err != nil { | ||
| return fmt.Errorf("failed to init module in store: %w", err) | ||
| } | ||
| } | ||
|
|
||
| if err != nil { | ||
| return fmt.Errorf("failed to replace module in store: %w", err) | ||
| } | ||
|
|
||
| return nil | ||
| }) | ||
| } | ||
|
|
||
| func RemoveFileMod(ctx context.Context, store storage.Store, fileURI string) error { | ||
| return transact(ctx, store, true, func(txn storage.Transaction) error { | ||
| var stErr *storage.Error | ||
|
|
||
| _, err := store.Read(ctx, txn, storage.Path{"workspace", "parsed", fileURI}) | ||
| if errors.As(err, &stErr) && stErr.Code == storage.NotFoundErr { | ||
| // nothing to do | ||
| return nil | ||
| } | ||
|
|
||
| if err != nil { | ||
| return fmt.Errorf("failed to read module from store: %w", err) | ||
| } | ||
|
|
||
| err = store.Write(ctx, txn, storage.RemoveOp, storage.Path{"workspace", "parsed", fileURI}, nil) | ||
| if err != nil { | ||
| return fmt.Errorf("failed to remove module from store: %w", err) | ||
| } | ||
|
|
||
| return nil | ||
| }) | ||
| } | ||
|
|
||
| func PutFileRefs(ctx context.Context, store storage.Store, fileURI string, refs []string) error { | ||
| return transact(ctx, store, true, func(txn storage.Transaction) error { | ||
| var stErr *storage.Error | ||
|
|
||
| err := store.Write(ctx, txn, storage.ReplaceOp, storage.Path{"workspace", "defined_refs", fileURI}, refs) | ||
| if errors.As(err, &stErr) && stErr.Code == storage.NotFoundErr { | ||
| err = store.Write(ctx, txn, storage.AddOp, storage.Path{"workspace", "defined_refs", fileURI}, refs) | ||
| if err != nil { | ||
| return fmt.Errorf("failed to init refs in store: %w", err) | ||
| } | ||
| } | ||
|
|
||
| if err != nil { | ||
| return fmt.Errorf("failed to replace refs in store: %w", err) | ||
| } | ||
|
|
||
| return nil | ||
| }) | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters