mirror of https://github.com/sbt/sbt.git
Developer
This commit is contained in:
parent
d078dc4772
commit
03f0288ae6
|
|
@ -8,7 +8,7 @@ final class Developer private (
|
|||
val id: String,
|
||||
val name: String,
|
||||
val email: String,
|
||||
val url: java.net.URL) extends Serializable {
|
||||
val url: java.net.URI) extends Serializable {
|
||||
|
||||
|
||||
|
||||
|
|
@ -22,7 +22,7 @@ final class Developer private (
|
|||
override def toString: String = {
|
||||
"Developer(" + id + ", " + name + ", " + email + ", " + url + ")"
|
||||
}
|
||||
private[this] def copy(id: String = id, name: String = name, email: String = email, url: java.net.URL = url): Developer = {
|
||||
private[this] def copy(id: String = id, name: String = name, email: String = email, url: java.net.URI = url): Developer = {
|
||||
new Developer(id, name, email, url)
|
||||
}
|
||||
def withId(id: String): Developer = {
|
||||
|
|
@ -34,11 +34,11 @@ final class Developer private (
|
|||
def withEmail(email: String): Developer = {
|
||||
copy(email = email)
|
||||
}
|
||||
def withUrl(url: java.net.URL): Developer = {
|
||||
def withUrl(url: java.net.URI): Developer = {
|
||||
copy(url = url)
|
||||
}
|
||||
}
|
||||
object Developer {
|
||||
|
||||
def apply(id: String, name: String, email: String, url: java.net.URL): Developer = new Developer(id, name, email, url)
|
||||
def apply(id: String, name: String, email: String, url: java.net.URI): Developer = new Developer(id, name, email, url)
|
||||
}
|
||||
|
|
|
|||
|
|
@ -14,7 +14,7 @@ implicit lazy val DeveloperFormat: JsonFormat[sbt.librarymanagement.Developer] =
|
|||
val id = unbuilder.readField[String]("id")
|
||||
val name = unbuilder.readField[String]("name")
|
||||
val email = unbuilder.readField[String]("email")
|
||||
val url = unbuilder.readField[java.net.URL]("url")
|
||||
val url = unbuilder.readField[java.net.URI]("url")
|
||||
unbuilder.endObject()
|
||||
sbt.librarymanagement.Developer(id, name, email, url)
|
||||
case None =>
|
||||
|
|
|
|||
|
|
@ -244,7 +244,7 @@
|
|||
{ "name": "id", "type": "String" },
|
||||
{ "name": "name", "type": "String" },
|
||||
{ "name": "email", "type": "String" },
|
||||
{ "name": "url", "type": "java.net.URL" }
|
||||
{ "name": "url", "type": "java.net.URI" }
|
||||
]
|
||||
},
|
||||
{
|
||||
|
|
|
|||
Loading…
Reference in New Issue