C++/C#: Autoformat

Robert Marsh · Robert Marsh · commit 9f20cb83c3c8 · 2019-09-30T12:00:55.000-07:00
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/Opcode.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/Opcode.qll
@@ -485,4 +485,3 @@ module Opcode {
     final override string toString() { result = "NewObj" }
   }
 }
-
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll
@@ -648,7 +648,6 @@ class IndexedInstruction extends Instruction {
   int index;
 
   IndexedInstruction() { index = Construction::getInstructionIndex(this) }
-  
 
   final override string getImmediateString() { result = index.toString() }
 
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Instruction.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Instruction.qll
@@ -648,7 +648,6 @@ class IndexedInstruction extends Instruction {
   int index;
 
   IndexedInstruction() { index = Construction::getInstructionIndex(this) }
-  
 
   final override string getImmediateString() { result = index.toString() }
 
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll
@@ -460,8 +460,8 @@ class TranslatedSideEffect extends TranslatedElement, TTranslatedArgumentSideEff
     tag instanceof OnlyInstructionTag and
     operandTag instanceof BufferSizeOperandTag and
     result = getTranslatedExpr(call
-            .getArgument(call.getTarget().(SideEffectFunction).getParameterSizeIndex(index)).getFullyConverted())
-          .getResult()
+            .getArgument(call.getTarget().(SideEffectFunction).getParameterSizeIndex(index))
+            .getFullyConverted()).getResult()
   }
 
   override Type getInstructionOperandType(InstructionTag tag, TypedOperandTag operandTag) {
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll
@@ -648,7 +648,6 @@ class IndexedInstruction extends Instruction {
   int index;
 
   IndexedInstruction() { index = Construction::getInstructionIndex(this) }
-  
 
   final override string getImmediateString() { result = index.toString() }
 
diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/IdentityFunction.qll b/cpp/ql/src/semmle/code/cpp/models/implementations/IdentityFunction.qll
@@ -37,4 +37,3 @@ class IdentityFunction extends DataFlowFunction, SideEffectFunction, AliasFuncti
     input.isParameter(0) and output.isReturnValue()
   }
 }
-
diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Pure.qll b/cpp/ql/src/semmle/code/cpp/models/implementations/Pure.qll
@@ -95,4 +95,3 @@ class PureFunction extends TaintFunction, SideEffectFunction {
 
   override predicate hasOnlySpecificWriteSideEffects() { any() }
 }
-
diff --git a/cpp/ql/src/semmle/code/cpp/models/interfaces/SideEffect.qll b/cpp/ql/src/semmle/code/cpp/models/interfaces/SideEffect.qll
@@ -31,15 +31,15 @@ abstract class SideEffectFunction extends Function {
 
   /**
    * Holds if the value pointed to by the parameter at index `i` is written to. `buffer` is true
-   * if the write may be at an offset. `mustWrite` is true if the write is unconditional. 
+   * if the write may be at an offset. `mustWrite` is true if the write is unconditional.
    */
   predicate hasSpecificWriteSideEffect(ParameterIndex i, boolean buffer, boolean mustWrite) {
     none()
   }
 
   /**
    * Holds if the value pointed to by the parameter at index `i` is read from. `buffer` is true
-   * if the read may be at an offset. 
+   * if the read may be at an offset.
    */
   predicate hasSpecificReadSideEffect(ParameterIndex i, boolean buffer) { none() }
 
diff --git a/csharp/ql/src/semmle/code/csharp/ir/implementation/Opcode.qll b/csharp/ql/src/semmle/code/csharp/ir/implementation/Opcode.qll
@@ -485,4 +485,3 @@ module Opcode {
     final override string toString() { result = "NewObj" }
   }
 }
-
diff --git a/csharp/ql/src/semmle/code/csharp/ir/implementation/raw/Instruction.qll b/csharp/ql/src/semmle/code/csharp/ir/implementation/raw/Instruction.qll
@@ -648,7 +648,6 @@ class IndexedInstruction extends Instruction {
   int index;
 
   IndexedInstruction() { index = Construction::getInstructionIndex(this) }
-  
 
   final override string getImmediateString() { result = index.toString() }
 

Original file line number	Diff line number	Diff line change
`@@ -485,4 +485,3 @@ module Opcode {`
`485`	`485`	`final override string toString() { result = "NewObj" }`
`486`	`486`	`}`
`487`	`487`	`}`
`488`		`-`
Original file line number	Diff line number	Diff line change
`@@ -37,4 +37,3 @@ class IdentityFunction extends DataFlowFunction, SideEffectFunction, AliasFuncti`
`37`	`37`	`input.isParameter(0) and output.isReturnValue()`
`38`	`38`	`}`
`39`	`39`	`}`
`40`		`-`
Original file line number	Diff line number	Diff line change
`@@ -95,4 +95,3 @@ class PureFunction extends TaintFunction, SideEffectFunction {`
`95`	`95`
`96`	`96`	`override predicate hasOnlySpecificWriteSideEffects() { any() }`
`97`	`97`	`}`
`98`		`-`