Fahad/CodeSamples/Classes.scala
author Chengsong
Sun, 08 May 2022 13:26:31 +0100
changeset 506 69ad05398894
parent 44 a751aa1ee4f7
permissions -rw-r--r--
thesis chapter 2 section 2.4 2.5 Isarfied ClosedForms.thy

package Main

class Point(xc: Int, yc: Int) {
  var x: Int = xc
  var y: Int = yc
  def move(dx: Int, dy: Int) {
    x = x + dx
    y = y + dy
  }
  override def toString(): String = "(" + x + ", " + y + ")";
}

object Classes{
  def main(args: Array[String]){
    val pt = new Point(1,2)
    println(pt)
    pt.move(10,10)
    println(pt)
  }
}