Data

Introducció

…

Crea un projecte data amb Amper.

Dades

Unes dades són un conjunt de valors que ens interessa tractar i que agrupem en una estructura de dades.

Un exemple és id, name i married que agrupem en l’estructura Person

Aquesta estructura es pot implementar en Kotlin mitjançant un data class.

Modifica el fitxer src/main.kt

data class Person(
    val id: Long,
    val name: String,
    val married: Boolean,
)

fun main() {
}

Una estructura de dades sempre ha de ser immutable: totes les propietats de la classe són val.

A continuació crea algunes “dades”:

data class Person(val id: Long, val name: String, val married: Boolean)

fun main() {

    val david = Person(1, "David", false)
    val esther = Person(2, "Esther", true)

    println(esther)
}

Executa l’aplicació:

.\amper run

Pots veure que un data class té algunes implementacions molt útils.

Person(id=2, name=Esther, married=true)

Quan fas un “print” d’un objecte, aquest et mostra totes les propietats amb el seu valor:

Si comparo dues persones amb les mateixes propietats, el resultat és true.

Crea el fitxer test/DatTest.kt

import kotlin.test.Test
import kotlin.test.assertEquals

class DataTest {
    @Test
    fun testPerson() {
        assertEquals(Person(1, "David", false), Person(1, "David", false))
    }
}

Si executo la tasca test tot es correcte 👌

.\amper test

BUILD SUCCESSFUL in 1s

Com que les dades són inmutables, per modificar unes dades has de crear un objecte nou.

Amb un data class pots utilizar les dades antigues per crear dades noves indicant només la nova informació:

data class Person(val id: Long, val name: String, val married: Boolean, )

fun main() {

    val esther = Person(2, "Esther", true)
    require(esther.married)

    val estherDivorced = esther.copy(married = false)
    require(esther.name == "Esther")
    require(!estherDivorced.married)
}

Amb la funció require dic a l’aplicació que el que dic és true o l’aplicació ha de petar amb un “Failed requirement” 💣🔥 !!.

Modificar el fitxer main.kt …

data class Person(val id: Long, val name: String, val married: Boolean, )

fun main() {

    val esther = Person(2, "Esther", true)
    require(!esther.married)
}

I equivoca’t:

.\amper run

Doncs si … 🙄

Exception in thread "main" java.lang.IllegalArgumentException: Failed requirement.
        at MainKt.main(main.kt:30)
        at MainKt.main(main.kt)

ERROR: Task ':data:runJvm' failed: Process exited with exit code 1

L’Esther encara no s’ha divorciat 😒 🤨 🥳

Mermaid

Mermaid ens permet crear el nostre diagrama de classes.

Instal.la el plugin Mermaid:

• Ctrl + Alt + S per obrir el menú “Settings”
• Selecciona Plugins
• Busca “Mermaid” i instal.la

Crea el fitxer REAMDE.md.

A Gitlab tens un exemple d’un diagrama de classes fet amb Mermaid.

Crea el diagrama de la classe Person:

Show solution

Composició

Un objecte pot estar composat d’altres objectes definits per altres classes.

Per exemple, una persona pot tenir una adreça:

En Kotlin tots són objectes!

Per tant, com que Long, String, etc. són objectes, no hi diferència entre els teus objectes i els objectes predefinits per Kotlin.

Modifica el fitxer main.kt:

data class Address(
    val street: String,
    val city: String,
    val zipcode: String,
    val country: String = "Spain",
)

data class Person(
    val id: Long,
    val name: String,
    val address: Address,
)

fun main() {
}

Crea el test corresponent:

class DataTest {
    @Test
    fun testPerson() {

        val david = Person(1, "david", Address("C/Miquel Angel", "Barcelona", "08028"))

        assertEquals(david.address.city, "Barcelona")
    }
}

Activitats

1. Modifica el fitxer README.md amb aquest nou disseny:

classDiagram
    class User {
        id: Long
        name: String
    }

    class Message {
        id: Long
        time: LocalTime
        text: String
    }
   
    Message --> User : from
    Message --> "1..*" User : to

2. Modifica el fitxer main.kt amb les classes corresponents:

import java.time.LocalTime

data class User(
    val id: Long,
    val name: String,
)

data class Message(
    val id: Long,
    val time: LocalTime,
    val text: String,
    val from: User,
    val to: List<User>,
)

3. Modifica el fitxer DataTest.kt amb el test corresponent

import java.time.LocalTime
import kotlin.test.*

class DataTest {
    @Test
    fun testMessage() {

        val message = Message(
            23, LocalTime.now(), "Ens veiem a les 12",
            from = User(1, "David"),
            to = listOf(User(2, "Esther"))
        )

        assertEquals(message.from.name, "David")
    }
}

Propietat derivada

Hi ha molts objectes que tenen propietats que es deriven d’altres propietats.

Per exemple, un rectangle té dos propietats bàsiques width i length.

Però també té altres propietats que es deriven d’aquestes propietats bàsiques, com poden ser area i perimeter.

data class Rectangle(val width: Int, val length: Int)

fun main() {

    val r = Rectangle(4, 5)

    val area = r.width * r.length
    require(area == 20)

    val perimeter = r.width * 2 + r.length * 2
    require(perimeter == 18)
}

Aquestes propietats derivades es poden definir a la declaració de la classe.

Per exemple, podem definir la propietat derivada area:

data class Rectangle(val width: Int, val length: Int) {
    val area get() = this.width * this.length
}

fun main() {

    val r = Rectangle(4, 5)
    require(r.area == 20)

    val perimeter = r.width * 2 + r.length * 2
    require(perimeter == 18)
}

Si fas un print de l’objecte r pots veure que no apareix la propietat derivada area:

Rectangle(width=4, length=5)

Activitats

1.- Afegeix la propietat derivada perimeter a la classe Rectangle.

data class Rectangle(val width: Int, val length: Int) {
     val area get() = this.width * this.length
     val perimeter get() = this.width * 2 + this.length * 2
 }
 
 fun main() {
 
     val r = Rectangle(4, 5)
     require(r.area == 20)
     require(r.perimeter == 18)
 }

2.- Defineix una classe Circle amb les propietats derivades més importants.

import kotlin.math.*
 
 data class Circle(val radius: Double) {
     val area get() = this.radius.pow(2) * PI
     val circumference get() = this.diameter * PI
     val diameter get() = this.radius * 2
 }
 
 fun main() {
 
     val c = Circle(4.0)
 
     require(c.diameter == 8.0)
 
     fun Double.equalsDelta(other: Double) = abs(this - other) < 0.01
 
     require(c.circumference.equalsDelta(25.13))
     require(c.area.equalsDelta(50.26))
 }

3.- A continuació tens el diagrama de la classe Patient d’un Hospital:

La classe Patient té els atributs derivats name i age:

• name és el nom complet i es deriva de givenName i familyName.
• age és calcula en funció de birthDate i la data actual.

Modifica els fitxers README.md, main.kt i DataTest.kt:

README.md

Show solution

main.kt

import java.time.LocalDate
 
 class Patient (
     val id: Long,
     val givenName: String,
     val familyName: String,
     val birthDate: LocalDate,
     val addmitted: LocalDate,
 ) {
     val name get() = "${this.givenName} ${this.familyName}"
     val age get() = LocalDate.now().year - this.birthDate.year
 }
 
 fun main() {
 }

DataTest.kt

import java.time.LocalDate
 import kotlin.test.*
 
 class DataTest {
     
     @Test
     fun testPatient() {
 
         val esther = Patient(
             2, "Esther", "Parra",
             LocalDate.of(1973, 1, 9), LocalDate.of(2024, 7, 6)
         )
         assertEquals(esther.age, 51)
     }
 }

5- A continuació tens el diagrama de classes del prèstec d’un llibre d’una Biblioteca:

La classe BookBorrow té els atributs derivats dueData i isOverdue:

• dueData és la data de venciment de la devolució del llibre i es calcula en funció de la data del préstec i el període de préstec.

• overdue indica si el prèstec a vençut i és calcula en funció de dueDate i la data actual.

Modifica els fitxers README.md, main.kt i DataTest.kt:

README.md

Show solution

main.kt

import java.time.LocalDate
 
 class Book(
     val id: Long,
     val title: String,
     val author: String
 )
 
 class BookCopy(
     val id: Long,
     val book: Book
 )
 
 class BookBorrow(
     val id: Long,
     val date: LocalDate,
     val loadPeriod: Long,
     val copy: BookCopy)
 {
     val dueDate get() = this.date.plusDays(loadPeriod)
     val isOverdue get() = LocalDate.now().isAfter(this.dueDate)
 }
 
 fun main() {}

DataTest.kt

import java.time.LocalDate
 import kotlin.test.*
 
 class AppTest {
     @Test
     fun testBorrow() {
 
         val borrow = BookBorrow(
             1, LocalDate.of(2024, 7, 4), 40,
             BookCopy(4, Book(3, "Tirant lo Blanc", "Joanot Martorell"))
         )
         assertEquals(borrow.dueDate, LocalDate.of(2024, 8, 13))
         assertTrue(borrow.isOverdue)
     }
 }

Herència

TODO

Activitat (Client)

1. Crea aquest diagrama:

class Client {
     id: Long
     name: String
 }

2.- Crea el model de dades en el fitxer main.kt:

data class Client(
     val id: Long,
     val name: String,
 )
 
 fun main() {}

3.- Crea els tests corresponents en el fitxer DataTest.kt:

import kotlin.test.*
 
 class DataTest {
 
     @Test
     fun testClient() {
         val david = Client(1, "David")
         assertEquals(david, Client(1, "David"))
     }
 }

4.- Modifica el fitxer main.kt per tal que demani el nom a l’usuari i crei un nou usuari:

data class Client(
     val id: Long,
     val name: String,
 )
 
 fun main() {
 
     val name = input ???
     val client = Client(2,name)
     println(client)
 }

Activitat (Sky)

Has de dissenyar el model de dades d’una aplicació que controla els vols d’avions dins del Cel Únic Europeu (Single European Sky, SES).

L’aplicació ha de tenir la informació dels diferents vols, on en cada vol consta l’aeroport d’origen i destí, data prevista d’enlairament i aterratge, avió que farà el vol, companyia aèrea, etc.

1.- Crea el diagrama de dades:

Show solution

2.- L’usuari ha de poder consultar els vols que tenen origen en un aeroport.

3. Crea un executable amb `amper package“:

El resultat està a la carpeta build/tasks.

java -jar .\build\tasks\_data_executableJarJvm\data-jvm-executable.jar