Fahad/CodeSamples/Classes.scala
author Christian Urban <urbanc@in.tum.de>
Mon, 09 Sep 2019 09:37:33 +0100
changeset 349 e29812ea4427
parent 44 a751aa1ee4f7
permissions -rw-r--r--
made lemma about AALTs_subs stronger w.r.t. flts

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)
  }
}