1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
import scala.reflect.runtime.universe._
class D[V <: Variable]
class ID[V<:IV] extends D[V] {
type E = V#ValueType
def index(value:E) : Int = 0
// Comment this out to eliminate crash. Or see below
def index(values:E*) : Iterable[Int] = null
}
abstract class Variable {
type VT <: Variable
def d : D[VT] = null
}
abstract class PV[T](initval:T) extends Variable {
type VT <: PV[T]
type ValueType = T
}
trait IV extends Variable {
type ValueType
}
abstract class EV[T](initval:T) extends PV[T](initval) with IV {
type VT <: EV[T]
override def d : ID[VT] = null
// Comment this out to eliminate crash
protected var indx = d.index(initval)
}
|
