import csharp
import semmle.code.csharp.commons.QualifiedName

query predicate withExpr(WithExpr with, string type, Expr expr, ObjectInitializer init, string clone) {
  type = with.getType().toStringWithTypes() and
  expr = with.getExpr() and
  init = with.getInitializer() and
  clone = getFullyQualifiedNameWithTypes(with.getCloneMethod())
}

query predicate withTarget(WithExpr with, RecordCloneMethod clone, Constructor ctor) {
  with.getCloneMethod() = clone and
  clone.getConstructor() = ctor
}

query predicate cloneOverrides(string b, string o) {
  exists(RecordCloneMethod base, RecordCloneMethod overrider |
    base.getDeclaringType().fromSource() and
    base.getAnOverrider() = overrider and
    b = getFullyQualifiedNameWithTypes(base) and
    o = getFullyQualifiedNameWithTypes(overrider)
  )
}