test_ExprSignature

test_TypeReferenceSig

| Callable | function | 0 | (x: number): string |

| Newable | constructor | 0 | new (x: number): any |

| OverloadedCallable | function | 0 | (x: number): number |

| OverloadedCallable | function | 1 | (x: string): string |

| OverloadedCallable | function | 2 | (x: any): any |

| OverloadedNewable | constructor | 0 | new (x: number): OverloadedNewable |

| OverloadedNewable | constructor | 1 | new (x: any): any |

import javascript

string getASignatureOrElseType(Type t) {

result = t.getASignature(_).toString()

or

not exists(t.getASignature(_)) and

result = t.toString()

query predicate test_ExprSignature(Expr expr, string type) {

not exists(MethodDeclaration decl | decl.getNameExpr() = expr) and

not exists(DotExpr dot | expr = dot.getPropertyNameExpr()) and

type = getASignatureOrElseType(expr.getType())

query predicate test_TypeReferenceSig(TypeReference type, SignatureKind kind, int n, CallSignatureType sig) {

sig = type.getSignature(kind, n)