oneoflint: tool checking an exhaustive match for proto code

Author: vyskocilm

cmd/oneoflint/main.go

@@ -0,0 +1,11 @@
+package main
+
+import (
+	"golang.org/x/tools/go/analysis/unitchecker"
+
+	"github.com/gomoni/sumlint/internal/lint"
+)
+
+func main() {
+	unitchecker.Main(lint.Oneof)
+}

internal/lint/lint.go

@@ -31,6 +31,15 @@ var Sum = &analysis.Analyzer{
 	},
 }
 
+var Oneof = &analysis.Analyzer{
+	Name: "oneoflint",
+	Doc:  "checks exhaustive type switches over oneof fields in proto files",
+	Run:  analyzer{prefix: "is"}.run,
+	FactTypes: []analysis.Fact{
+		new(InterfaceImplementorsFact),
+	},
+}
+
 type analyzer struct {
 	prefix string
 }

internal/lint/lint_test.go

@@ -23,7 +23,15 @@ func TestAnalyzer(t *testing.T) {
 			pkgs: []string{
 				"exhaustive",
 				"nonexhaustive",
-				"dflt"},
+				"dflt",
+			},
+		},
+		{
+			scenario: "oneoflint",
+			analyzer: lint.Oneof,
+			pkgs: []string{
+				"one_of",
+			},
 		},
 	}
 	for _, tc := range testCases {

internal/lint/testdata/src/buf.gen.yaml

@@ -0,0 +1,8 @@
+version: v1
+plugins:
+  - plugin: go
+    out: .
+    opt: paths=source_relative
+  - plugin: go-grpc
+    out: .
+    opt: paths=source_relative

internal/lint/testdata/src/one_of/oneof.pb.go

@@ -0,0 +1,17 @@
+syntax = "proto3";
+option go_package="one.of";
+package oneof;
+
+message A {
+  int32 id = 1;
+}
+message B {
+  string name = 1;
+}
+
+message Msg {
+  oneof payload {
+    A a = 1;
+    B b = 2;
+  }
+}