Skip to content

Commit 9975f97

Browse files
author
Max Schaefer
committed
Autoformat.
1 parent 6d2bf68 commit 9975f97

File tree

3 files changed

+11
-11
lines changed

3 files changed

+11
-11
lines changed

java/ql/automodel/src/AutomodelFrameworkModeExtractCandidates.ql

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -16,12 +16,12 @@ private import AutomodelFrameworkModeCharacteristics
1616
private import AutomodelJavaUtil
1717

1818
from
19-
Endpoint endpoint, DollarAtString package,
20-
DollarAtString type, DollarAtString subtypes, DollarAtString name, DollarAtString signature,
21-
DollarAtString input, DollarAtString output, DollarAtString parameterName,
22-
DollarAtString alreadyAiModeled, DollarAtString extensibleType
19+
Endpoint endpoint, DollarAtString package, DollarAtString type, DollarAtString subtypes,
20+
DollarAtString name, DollarAtString signature, DollarAtString input, DollarAtString output,
21+
DollarAtString parameterName, DollarAtString alreadyAiModeled, DollarAtString extensibleType
2322
where
24-
isCandidate(endpoint, package, type, subtypes, name, signature, input, output, parameterName, extensibleType, alreadyAiModeled)
23+
isCandidate(endpoint, package, type, subtypes, name, signature, input, output, parameterName,
24+
extensibleType, alreadyAiModeled)
2525
select endpoint,
2626
"Related locations: $@, $@." + "\nmetadata: $@, $@, $@, $@, $@, $@, $@, $@, $@, $@.", //
2727
CharacteristicsImpl::getRelatedLocationOrCandidate(endpoint, MethodDoc()), "MethodDoc", //

java/ql/automodel/src/AutomodelFrameworkModeExtractPositiveExamples.ql

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -13,12 +13,12 @@ private import AutomodelEndpointTypes
1313
private import AutomodelJavaUtil
1414

1515
from
16-
Endpoint endpoint, EndpointType endpointType,
17-
DollarAtString package, DollarAtString type, DollarAtString subtypes, DollarAtString name,
18-
DollarAtString signature, DollarAtString input, DollarAtString output,
19-
DollarAtString parameterName, DollarAtString extensibleType
16+
Endpoint endpoint, EndpointType endpointType, DollarAtString package, DollarAtString type,
17+
DollarAtString subtypes, DollarAtString name, DollarAtString signature, DollarAtString input,
18+
DollarAtString output, DollarAtString parameterName, DollarAtString extensibleType
2019
where
21-
isPositiveExample(endpoint, endpointType, package, type, subtypes, name, signature, input, output, parameterName, extensibleType)
20+
isPositiveExample(endpoint, endpointType, package, type, subtypes, name, signature, input, output,
21+
parameterName, extensibleType)
2222
select endpoint,
2323
endpointType + "\nrelated locations: $@, $@." + "\nmetadata: $@, $@, $@, $@, $@, $@, $@, $@, $@.", //
2424
CharacteristicsImpl::getRelatedLocationOrCandidate(endpoint, MethodDoc()), "MethodDoc", //

java/ql/automodel/src/AutomodelJavaUtil.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -110,4 +110,4 @@ predicate isUnexploitableType(Type tp) {
110110
tp instanceof BoxedType or
111111
tp instanceof NumberType or
112112
tp instanceof VoidType
113-
}
113+
}

0 commit comments

Comments
 (0)