[clang-format] Wrap lines for C# property accessors

[jbcoe]

Summary

Ensure that auto-implemented properties { get; private set } are wrapped on to one line for C# code.

[jbcoe]

Code and test to avoid wrapping accessors with expression body definitions.

[MyDeveloperDay]

clang/lib/Format/UnwrappedLineFormatter.cpp

443

I think we need to consider internal

456

and here

[jbcoe]

Handle C# access modifier internal .

Fix typo in test for expression-bodied get/set methods.

[MyDeveloperDay]

This LGTM, thank you for the patch

[jbcoe]

Simplify logic for merging property accessors

[krasimir]

This is pretty cool!

[MyDeveloperDay]

LGTM

clang/unittests/Format/FormatTestCSharp.cpp

246

Nit: I feel like this layout should really be an option, (maybe for the future).

When we originally did the C# work, we did say we might want in the future to add options that might be specific like laying out the accessors

I think VS has support for formatting them as either

public int Goo { set; get; }

and

public int Goo
{
     set; get;
}

and the following is equally valid in my eyes

public int Goo
{
     set; 
     get;
}

as well as what is being proposed here of

public int Goo
{   set; get; }

I'm not completely sure how much the other options are controlling this at present and how much is not in the control of your merging

and how does that change when there is actually code in the setter and getter?

[jbcoe]

clang/unittests/Format/FormatTestCSharp.cpp

246

Agreed that this should be configured by an option in a future revision.

clang/lib/Format/UnwrappedLineFormatter.cpp

if (Style.CompactNamespaces) {
 
           // Indent like the outer-most namespace
           IndentTracker.nextLine(*I[i + 1]);
         }
         return i;
       }
     }
 
+    // Try to merge a CSharp property declaration like `{ get; private set }`.
+    if (Style.isCSharp()) {
+      unsigned CSPA = tryMergeCSharpPropertyAccessor(I, E, Limit);
+      if (CSPA > 0)
+        return CSPA;
+    }
+
     // Try to merge a function block with left brace unwrapped
     if (TheLine->Last->is(TT_FunctionLBrace) &&
         TheLine->First != TheLine->Last) {
       return MergeShortFunctions ? tryMergeSimpleBlock(I, E, Limit) : 0;
     }
     // Try to merge a control statement block with left brace unwrapped
     if (TheLine->Last->is(tok::l_brace) && TheLine->First != TheLine->Last &&
         TheLine->First->isOneOf(tok::kw_if, tok::kw_while, tok::kw_for)) {
tryFitMultipleLinesInOne(LevelIndentTracker &IndentTracker,
     }
     if (TheLine->InPPDirective &&
         (TheLine->First->HasUnescapedNewline || TheLine->First->IsFirst)) {
       return tryMergeSimplePPDirective(I, E, Limit);
     }
     return 0;
   }
 
+  unsigned tryMergeCSharpPropertyAccessor(
+      SmallVectorImpl<AnnotatedLine *>::const_iterator I,
+      SmallVectorImpl<AnnotatedLine *>::const_iterator E, unsigned /*Limit*/) {
+    // Does line start with `{`
+    if (I[0]->Last->isNot(TT_FunctionLBrace))
+      return 0;
+
+    // Does line start with `[access-modifier] get`
+    if (I + 1 == E)
+      return 0;
+    auto *GetToken = I[1]->First;
+    if (GetToken && GetToken->isOneOf(tok::kw_public, tok::kw_protected,
+                                      tok::kw_private, Keywords.kw_internal))
+      GetToken = GetToken->Next;
+    if (!GetToken || GetToken->TokenText != "get")
+      return 0;
+    // Keep `get => some_code;` on a single line.
+    if (GetToken->Next && GetToken->Next->isNot(tok::semi))
+      return 0;
+
+    // Does line start with `[access-modifier] set` or `{`
+    if (I + 2 == E)
+      return 0;
+    auto *SetToken = I[2]->First;
+    if (SetToken && SetToken->isOneOf(tok::kw_public, tok::kw_protected,
+                                      tok::kw_private, Keywords.kw_internal))
+      SetToken = SetToken->Next;
+
+    if (SetToken && SetToken->is(tok::r_brace))
+      return 2;
+
+    if (!SetToken || SetToken->TokenText != "set")
+      return 0;
+    // Keep `set => some_code;` on a single line.
+    if (SetToken->Next)
+      return 0;
+
+    // Does line start with `}`
+    if (I + 3 == E)
+      return 0;
+    auto *RBrace = I[3]->First;
+    if (!RBrace || !RBrace->is(tok::r_brace))
+      return 0;
+
+    return 3;
+  }
+
   unsigned
   tryMergeSimplePPDirective(SmallVectorImpl<AnnotatedLine *>::const_iterator I,
                             SmallVectorImpl<AnnotatedLine *>::const_iterator E,
                             unsigned Limit) {
     if (Limit == 0)
       return 0;
     if (I + 2 != E && I[2]->InPPDirective && !I[2]->First->HasUnescapedNewline)
       return 0;

clang/unittests/Format/FormatTestCSharp.cpp

verifyFormat("[Verb(\"start\", HelpText = \"Starts the server listening on "
                "{\n"
                "}");
 
   verifyFormat("[TestMethod]\n"
                "public string Host\n"
                "{\n"
                "    set;\n"
                "    get;\n"
                "}");
 
   verifyFormat("[TestMethod(\"start\", HelpText = \"Starts the server "
                "listening on provided host\")]\n"
                "public string Host\n"
                "{\n"
                "    set;\n"
                "    get;\n"
                "}");
PrintOrderDetails(orderNum: 31, productName: "Red Mug",
 
   // Ensure that trailing comments do not cause problems.
   verifyFormat(R"(//
 PrintOrderDetails(orderNum: 31, productName: "Red Mug",  // comment
                   sellerName: "Gift Shop");)",
                Style);
 }
 
+TEST_F(FormatTestCSharp, CSharpPropertyAccessors) {
+  FormatStyle Style = getGoogleStyle(FormatStyle::LK_CSharp);
+
+  verifyFormat(R"(//
+int Value { get; set }
+string Name { get; private set }
+string AnotherName { protected get; private set }
+string YetAnotherName { internal get; internal set }
+double Sum { get })",
+               Style);
+
+  // Do not wrap expression body definitions.
+  verifyFormat(R"(//
+public string Name {
+  get => _name;
+  set => _name = value;
+})",
+               Style);
+}
+
 } // namespace format
 } // end namespace clang