From: Andres Noetzli <noetzli@stanford.edu>
Date: Wed, 14 Aug 2019 17:03:21 +0000 (-0700)
Subject: Enable Clang-Format for Java (#3064)
X-Git-Tag: cvc5-1.0.0~4015
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=27e2baeab7fde6f2fbb5d34548303777ab7e2e5a;p=cvc5.git

Enable Clang-Format for Java (#3064)
---

diff --git a/.clang-format b/.clang-format
index 01c8eeb25..23e537b33 100644
--- a/.clang-format
+++ b/.clang-format
@@ -16,4 +16,11 @@ BraceWrapping:
   BeforeElse: true
 BreakBeforeBraces: Custom
 DerivePointerAlignment: false
+---
+Language: Java
+BasedOnStyle:  Google
+ColumnLimit: 80
+BinPackArguments: false
+BinPackParameters: false
+BreakBeforeBinaryOperators: NonAssignment
 ...