// generated by codegen/codegen.py, do not edit
import codeql.swift.elements
import TestUtils

query predicate instances(PostfixUnaryExpr x, string getFunction__label, Expr getFunction) {
  toBeTested(x) and
  not x.isUnknown() and
  getFunction__label = "getFunction:" and
  getFunction = x.getFunction()
}

query predicate getType(PostfixUnaryExpr x, Type getType) {
  toBeTested(x) and not x.isUnknown() and getType = x.getType()
}

query predicate getArgument(PostfixUnaryExpr x, int index, Argument getArgument) {
  toBeTested(x) and not x.isUnknown() and getArgument = x.getArgument(index)
}