blob: de739670d2f4fd6659463bb6616cbd15c0ce49be (
plain) (
tree)
|
|
package spray.json
import org.scalatest._
class CoproductTypeFormatTests
extends FlatSpec
with FormatTests
with DefaultJsonProtocol
with DerivedFormats {
sealed trait Expr
case class Zero() extends Expr
case class Value(x: Int) extends Expr
case class Plus(lhs: Expr, rhs: Expr) extends Expr
case object One extends Expr
implicit val exprFormat: RootJsonFormat[Expr] = jsonFormat[Expr]
"No-parameter case class child" should behave like checkRoundtrip[Expr](
Zero(),
"""{"type":"Zero"}"""
)
"Simple parameter case class child" should behave like checkRoundtrip[Expr](
Value(42),
"""{"type":"Value","x":42}"""
)
"Nested parameter case class child" should behave like checkRoundtrip[Expr](
Plus(Value(42), One),
"""{"type":"Plus","lhs":{"type":"Value","x":42},"rhs":{"type":"One"}}"""
)
"Case object child" should behave like checkRoundtrip[Expr](
One,
"""{"type": "One"}"""
)
@gadt("kind")
sealed abstract class Keyword(`type`: String)
case class If(`type`: String) extends Keyword(`type`)
implicit val keywordFormat: RootJsonFormat[Keyword] = jsonFormat[Keyword]
"GADT with type field alias" should behave like checkRoundtrip[Keyword](
If("class"),
"""{"kind":"If","type":"class"}"""
)
@gadt("""_`crazy type!`"""")
sealed abstract trait Crazy
case class CrazyType() extends Crazy
implicit val crazyFormat: RootJsonFormat[Crazy] = jsonFormat[Crazy]
"GADT with special characters in type field" should behave like checkRoundtrip[
Crazy](
CrazyType(),
"""{"_`crazy type!`\"": "CrazyType"}"""
)
sealed trait Enum
case object A extends Enum
case object B extends Enum
implicit val enumFormat: RootJsonFormat[Enum] = jsonFormat[Enum]
"Enum" should behave like checkRoundtrip[List[Enum]](
A :: B :: Nil,
"""[{"type":"A"}, {"type":"B"}]"""
)
"Serializing as sealed trait and deserializing as child" should "work" in {
implicit val plusFormat: RootJsonFormat[Plus] = jsonFormat[Plus]
val expr: Expr = Plus(Value(42), Plus(Zero(), One))
assert(expr.toJson.convertTo[Plus] == expr)
}
}
|