Fahad/CodeSamples/GenericClasses.scala
author cu
Tue, 10 Oct 2017 11:31:47 +0100
changeset 279 f754a10875c7
parent 44 a751aa1ee4f7
permissions -rw-r--r--
updated for Isabelle 2017

package Main

class Stack[T] {
  var elems: List[T] = Nil
  def push(x: T) { elems = x :: elems }
  def top: T = elems.head
  def pop() { elems = elems.tail }
}

object GenericsTest extends App{
  val stack = new Stack[Int]
  stack.push(1)
  stack.push('a')
  println(stack.top)
  stack.pop()
  println(stack.top)
}