Skip to content

Commit

Permalink
Fix selection merging with conflicting fragments (ghostdogpr#1213)
Browse files Browse the repository at this point in the history
* Fix selection merging with conflicting fragments

* Fix Scala 3

* Fix Scala 2.12 (cross-building is hard...)
  • Loading branch information
ghostdogpr authored and Fluxx committed Jan 13, 2022
1 parent 49dec65 commit 8e2598f
Show file tree
Hide file tree
Showing 3 changed files with 108 additions and 11 deletions.
33 changes: 29 additions & 4 deletions core/src/main/scala/caliban/execution/Executor.scala
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,8 @@ import caliban.wrappers.Wrapper.FieldWrapper
import zio._
import zio.query.ZQuery

import scala.collection.mutable.ArrayBuffer

object Executor {

/**
Expand Down Expand Up @@ -51,7 +53,7 @@ object Executor {
value match {
case EnumValue(v) =>
// special case of an hybrid union containing case objects, those should return an object instead of a string
val obj = filterFields(currentField, v).collectFirst {
val obj = mergeFields(currentField, v).collectFirst {
case f: Field if f.name == "__typename" =>
ObjectValue(List(f.alias.getOrElse(f.name) -> StringValue(v)))
case f: Field if f.name == "_" =>
Expand All @@ -70,7 +72,7 @@ object Executor {
Types.listOf(currentField.fieldType).fold(false)(_.isNullable)
)
case ObjectStep(objectName, fields) =>
val filteredFields = filterFields(currentField, objectName)
val filteredFields = mergeFields(currentField, objectName)
val items = filteredFields.map {
case f @ Field(name @ "__typename", _, _, alias, _, _, _, _, directives) =>
(alias.getOrElse(name), PureStep(StringValue(objectName)), fieldInfo(f, path, directives))
Expand Down Expand Up @@ -172,8 +174,31 @@ object Executor {
private[caliban] def fail(error: CalibanError): UIO[GraphQLResponse[CalibanError]] =
IO.succeed(GraphQLResponse(NullValue, List(error)))

private[caliban] def filterFields(field: Field, typeName: String): List[Field] =
field.fields.filter(_.condition.forall(_.contains(typeName)))
private[caliban] def mergeFields(field: Field, typeName: String): List[Field] = {
// ugly mutable code but it's worth it for the speed ;)
val array = ArrayBuffer.empty[Field]
val map = collection.mutable.Map.empty[String, Int]
var index = 0

field.fields.foreach { field =>
if (field.condition.forall(_.contains(typeName))) {
val name = field.alias.getOrElse(field.name)
map.get(name) match {
case None =>
// first time we see this field, add it to the array
array += field
map.update(name, index)
index = index + 1
case Some(index) =>
// field already existed, merge it
val f = array(index)
array(index) = f.copy(fields = f.fields ::: field.fields)
}
}
}

array.toList
}

private def fieldInfo(field: Field, path: List[Either[String, Int]], fieldDirectives: List[Directive]): FieldInfo =
FieldInfo(field.alias.getOrElse(field.name), field, path, fieldDirectives)
Expand Down
16 changes: 9 additions & 7 deletions core/src/main/scala/caliban/execution/Field.scala
Original file line number Diff line number Diff line change
Expand Up @@ -37,16 +37,17 @@ object Field {
): Field = {
def loop(selectionSet: List[Selection], fieldType: __Type): Field = {
val fieldList = ArrayBuffer.empty[Field]
val map = collection.mutable.Map.empty[String, Int]
val map = collection.mutable.Map.empty[(String, String), Int]
var fieldIndex = 0

def addField(f: Field): Unit = {
def addField(f: Field, condition: Option[String]): Unit = {
val name = f.alias.getOrElse(f.name)
map.get(name) match {
val key = (name, condition.getOrElse(""))
map.get(key) match {
case None =>
// first time we see this field, add it to the array
fieldList += f
map.update(name, fieldIndex)
map.update(key, fieldIndex)
fieldIndex = fieldIndex + 1
case Some(index) =>
// field already existed, merge it
Expand Down Expand Up @@ -88,7 +89,8 @@ object Field {
resolveVariables(arguments, variableDefinitions, variableValues),
() => sourceMapper.getLocation(index),
directives ++ schemaDirectives
)
),
None
)
case FragmentSpread(name, directives) if checkDirectives(directives, variableValues) =>
fragments
Expand All @@ -101,7 +103,7 @@ object Field {
if (field.condition.isDefined) field
else field.copy(condition = subtypeNames(f.typeCondition.name, rootType))
)
.foreach(addField)
.foreach(addField(_, Some(f.typeCondition.name)))
}
case InlineFragment(typeCondition, directives, selectionSet) if checkDirectives(directives, variableValues) =>
val t = innerType.possibleTypes
Expand All @@ -116,7 +118,7 @@ object Field {
if (field.condition.isDefined) field
else field.copy(condition = subtypeNames(typeName.name, rootType))
)
.foreach(addField)
.foreach(addField(_, Some(typeName.name)))
}
case _ =>
}
Expand Down
70 changes: 70 additions & 0 deletions core/src/test/scala/caliban/execution/ExecutionSpec.scala
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,35 @@ import zio.test.environment.TestEnvironment

object ExecutionSpec extends DefaultRunnableSpec {

@GQLInterface
sealed trait Base {
def id: String
def name: String
}
object Base {
@GQLName("BaseOne")
case class One(
id: String,
name: String,
inner: List[One.Inner]
) extends Base
object One {
@GQLName("BaseOneInner")
case class Inner(a: String)
}

@GQLName("BaseTwoOne")
case class Two(
id: String,
name: String,
inner: List[Two.Inner]
) extends Base
object Two {
@GQLName("BaseTwoInner")
case class Inner(b: Int)
}
}

override def spec: ZSpec[TestEnvironment, Any] =
suite("ExecutionSpec")(
testM("skip directive") {
Expand Down Expand Up @@ -1128,6 +1157,47 @@ object ExecutionSpec extends DefaultRunnableSpec {
"""{"test":2}"""
)
)
},
testM("conflicting fragments selection merging") {

val base1 = Base.One(
id = "1",
name = "base 1",
inner = List(Base.One.Inner(a = "a"))
)
val base2 = Base.Two(
id = "2",
name = "base 2",
inner = List(Base.Two.Inner(b = 2))
)
case class Test(bases: List[Base])

implicit val baseSchema: Schema[Any, Base] = Schema.gen

val api = graphQL(RootResolver(Test(List(base1, base2))))
val query = """
query {
bases {
id
... on BaseOne {
id
name
inner { a }
}
... on BaseTwoOne {
id
name
inner { b }
}
}
}
"""

api.interpreter.flatMap(_.execute(query)).map { response =>
assertTrue(
response.data.toString == """{"bases":[{"id":"1","name":"base 1","inner":[{"a":"a"}]},{"id":"2","name":"base 2","inner":[{"b":2}]}]}"""
)
}
}
)
}

0 comments on commit 8e2598f

Please sign in to comment.