Java: Autoformat cookbook examples.

Author: aschackmull

java/ql/examples/snippets/castexpr.ql

@@ -11,6 +11,7 @@
 import java
 
 from CastExpr c
-where c.getExpr().getType() instanceof FloatingPointType
-  and c.getType() instanceof IntegralType
+where
+  c.getExpr().getType() instanceof FloatingPointType and
+  c.getType() instanceof IntegralType
 select c

java/ql/examples/snippets/catch_exception.ql

@@ -6,7 +6,7 @@
  *       try
  *       exception
  */
- 
+
 import java
 
 from CatchClause catch

java/ql/examples/snippets/constructor_call.ql

@@ -6,7 +6,7 @@
  *       constructor
  *       new
  */
- 
+
 import java
 
 from ClassInstanceExpr new

java/ql/examples/snippets/eq_true.ql

@@ -6,7 +6,7 @@
  *       test
  *       boolean
  */
- 
+
 import java
 
 from EqualityTest eq

java/ql/examples/snippets/extend_class.ql

@@ -9,7 +9,7 @@
  *       subtype
  *       supertype
  */
- 
+
 import java
 
 from RefType type

java/ql/examples/snippets/field_read.ql

@@ -5,11 +5,12 @@
  * @tags field
  *       read
  */
- 
+
 import java
 
 from Field f, FieldRead read
-where f.hasName("aField")
-  and f.getDeclaringType().hasQualifiedName("com.example", "Class")
-  and f = read.getField()
+where
+  f.hasName("aField") and
+  f.getDeclaringType().hasQualifiedName("com.example", "Class") and
+  f = read.getField()
 select read

java/ql/examples/snippets/integer_literal.ql

@@ -5,7 +5,7 @@
  * @tags integer
  *       literal
  */
- 
+
 import java
 
 from IntegerLiteral literal

java/ql/examples/snippets/method_call.ql

@@ -5,11 +5,12 @@
  * @tags call
  *       method
  */
- 
+
 import java
 
 from MethodAccess call, Method method
-where call.getMethod() = method
-  and method.hasName("methodName")
-  and method.getDeclaringType().hasQualifiedName("com.example", "Class")
+where
+  call.getMethod() = method and
+  method.hasName("methodName") and
+  method.getDeclaringType().hasQualifiedName("com.example", "Class")
 select call

java/ql/examples/snippets/mutualrecursion.ql

@@ -9,7 +9,8 @@
 import java
 
 from Method m, Method n
-where exists(MethodAccess ma | ma.getCaller() = m and ma.getCallee() = n)
-  and exists(MethodAccess ma | ma.getCaller() = n and ma.getCallee() = m)
-  and m != n
+where
+  exists(MethodAccess ma | ma.getCaller() = m and ma.getCallee() = n) and
+  exists(MethodAccess ma | ma.getCaller() = n and ma.getCallee() = m) and
+  m != n
 select m, n

java/ql/examples/snippets/null_argument.ql

@@ -8,12 +8,13 @@
  *       collection
  *       add
  */
- 
+
 import java
 
 from MethodAccess call, Method add
-where call.getMethod().overrides*(add)
-  and add.hasName("add")
-  and add.getDeclaringType().getSourceDeclaration().hasQualifiedName("java.util", "Collection")
-  and call.getAnArgument() instanceof NullLiteral
+where
+  call.getMethod().overrides*(add) and
+  add.hasName("add") and
+  add.getDeclaringType().getSourceDeclaration().hasQualifiedName("java.util", "Collection") and
+  call.getAnArgument() instanceof NullLiteral
 select call