File tree Expand file tree Collapse file tree 3 files changed +8
-4
lines changed
cpp/common/src/codingstandards/cpp Expand file tree Collapse file tree 3 files changed +8
-4
lines changed Original file line number Diff line number Diff line change @@ -36,7 +36,8 @@ class SpecialFunction extends Function {
3636}
3737
3838/** A special function which throws an exception. */
39- abstract class SpecialExceptionThrowingFunction extends ExceptionPathGraph:: ExceptionThrowingFunction {
39+ abstract class SpecialExceptionThrowingFunction extends ExceptionPathGraph:: ExceptionThrowingFunction
40+ {
4041 SpecialExceptionThrowingFunction ( ) { exists ( getAFunctionThrownType ( this , _) ) }
4142
4243 /** Gets a description for this exception throwing. */
Original file line number Diff line number Diff line change @@ -16,7 +16,8 @@ private class ResourceReleaseCall extends ExternalSideEffect::Range {
1616}
1717
1818private class DirectStaticStorageDurationVariableModification extends VariableEffect ,
19- GlobalSideEffect:: Range {
19+ GlobalSideEffect:: Range
20+ {
2021 DirectStaticStorageDurationVariableModification ( ) {
2122 this .getTarget ( ) instanceof StaticStorageDurationVariable
2223 }
Original file line number Diff line number Diff line change @@ -54,7 +54,8 @@ class RandomNumberEngineCreation extends TRandomNumberEngineCreation {
5454 * A `ConstructorCall` which targets a `RandomNumberEngine`.
5555 */
5656class RandomNumberEngineConstructorCall extends TRandomNumberEngineConstructorCall ,
57- RandomNumberEngineCreation {
57+ RandomNumberEngineCreation
58+ {
5859 ConstructorCall getConstructorCall ( ) { this = TRandomNumberEngineConstructorCall ( result ) }
5960
6061 override Element getExclusionElement ( ) { result = getConstructorCall ( ) }
@@ -82,7 +83,8 @@ class RandomNumberEngineConstructorCall extends TRandomNumberEngineConstructorCa
8283 * This is because no `ConstructorCall`s are generated in this case.
8384 */
8485class RandomNumberEngineMemberVariableDefaultInit extends TRandomNumberEngineMemberVariableDefaultInit ,
85- RandomNumberEngineCreation {
86+ RandomNumberEngineCreation
87+ {
8688 MemberVariable getMemberVariable ( ) {
8789 this = TRandomNumberEngineMemberVariableDefaultInit ( result , _)
8890 }
You can’t perform that action at this time.
0 commit comments