autoformat

This commit is contained in:
Erik Krogh Kristensen
2020-10-20 14:27:09 +02:00
parent 1096cb0708
commit 05d4858d4f
3 changed files with 13 additions and 9 deletions

View File

@@ -17,5 +17,5 @@ query predicate htmlElement_getChild(HTML::Element elt, int i, HTML::Element chi
query predicate htmlElement_getName(HTML::Element elt, string name) { name = elt.getName() }
query predicate htmlElement_getParent(HTML::Element elt, HTML::Element parent) {
parent = elt.getParent()
}
parent = elt.getParent()
}

View File

@@ -11,7 +11,11 @@ query predicate methodCallTypeInference(DataFlow::MethodCallNode call, string ty
types = call.analyze().ppTypes()
}
query predicate methodCallTypeInferenceUsage(DataFlow::MethodCallNode call, DataFlow::Node use, AbstractValue val) {
call.flowsTo(use) and use != call and not exists(use.getASuccessor()) and
val = use.analyze().getAValue()
query predicate methodCallTypeInferenceUsage(
DataFlow::MethodCallNode call, DataFlow::Node use, AbstractValue val
) {
call.flowsTo(use) and
use != call and
not exists(use.getASuccessor()) and
val = use.analyze().getAValue()
}

View File

@@ -31,7 +31,7 @@ query predicate tupleTypes(Expr e, TupleType tuple, int n, Type element, int min
rest = getRest(tuple)
}
query predicate unknownType(Expr e,Type type) {
type = e.getType() and
e.getType() instanceof UnknownType
}
query predicate unknownType(Expr e, Type type) {
type = e.getType() and
e.getType() instanceof UnknownType
}