forked from dafny-lang/dafny
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.editorconfig
68 lines (47 loc) · 2.14 KB
/
.editorconfig
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
# More options for this file can be found on https://docs.microsoft.com/en-us/dotnet/fundamentals/code-analysis/code-style-rule-options?view=vs-2019
root = true
# C# files
[*.cs]
#### Core EditorConfig Options ####
# Indentation and spacing
indent_size = 2
indent_style = space
tab_width = 2
# New line preferences
end_of_line = lf
#### .NET Coding Conventions ####
#### C# Formatting Rules ####
# New line preferences
csharp_new_line_before_open_brace = none
csharp_new_line_before_catch = false
csharp_new_line_before_else = false
# Curly braces preferences
csharp_prefer_braces = true:error
dotnet_diagnostic.IDE0011.severity = error
# Parentheses around logical operators
dotnet_style_parentheses_in_other_binary_operators = always_for_clarity:error
#### Naming rules
##### Private mutable fields
dotnet_naming_rule.private_members.symbols = private_fields
dotnet_naming_rule.private_members.style = private
dotnet_naming_rule.private_members.severity = suggestion
dotnet_naming_symbols.private_fields.applicable_kinds = field
dotnet_naming_symbols.private_fields.applicable_accessibilities = private
dotnet_naming_style.private.capitalization = camel_case
dotnet_naming_style.private.required_prefix =
##### Constants
dotnet_naming_rule.constant_members.symbols = constant_fields
dotnet_naming_rule.constant_members.style = constant
dotnet_naming_rule.constant_members.severity = suggestion
dotnet_naming_symbols.constant_fields.applicable_kinds = field
dotnet_naming_symbols.constant_fields.required_modifiers = const
dotnet_naming_style.constant.capitalization = pascal_case
dotnet_naming_style.constant.required_prefix =
##### static readonly fields
dotnet_naming_rule.static_readonly_members.symbols = static_readonly_fields
dotnet_naming_rule.static_readonly_members.style = static_readonly
dotnet_naming_rule.static_readonly_members.severity = suggestion
dotnet_naming_symbols.static_readonly_fields.applicable_kinds = field
dotnet_naming_symbols.static_readonly_fields.required_modifiers = static,readonly
dotnet_naming_style.static_readonly.capitalization = pascal_case
dotnet_naming_style.static_readonly.required_prefix =