This removes the exclusive from the res names and edge names. We now require that the names should be lists of strings, however they can still be single strings if that can be determined statically. Programmers should explicitly wrap their variables in a string by interpolation to force this, or in square brackets to force a list. The former is generally preferable because it generates a small function graph since it doesn't need to build a list.
43 lines
639 B
Plaintext
43 lines
639 B
Plaintext
-- main.mcl --
|
|
class c0($b) {
|
|
test "t1" {}
|
|
if $b {
|
|
test "t2" {}
|
|
} else {
|
|
test "t3" {}
|
|
}
|
|
func f0() {
|
|
if $b {
|
|
"hello"
|
|
} else {
|
|
"goodbye"
|
|
}
|
|
}
|
|
}
|
|
class c1($b) {
|
|
test "t4" {}
|
|
if $b {
|
|
test "t5" {}
|
|
} else {
|
|
test "t6" {}
|
|
}
|
|
include c0($b) as i0
|
|
func f1() { i0.f0() }
|
|
}
|
|
include c1(true) as i1
|
|
include c1(false) as i2
|
|
|
|
test [i1.f1(),] {}
|
|
test [i2.f1(),] {}
|
|
test [i1.i0.f0(),] {} # I think these might work directly too. Do we want them to?
|
|
test [i2.i0.f0(),] {}
|
|
-- OUTPUT --
|
|
Vertex: test[goodbye]
|
|
Vertex: test[hello]
|
|
Vertex: test[t1]
|
|
Vertex: test[t2]
|
|
Vertex: test[t3]
|
|
Vertex: test[t4]
|
|
Vertex: test[t5]
|
|
Vertex: test[t6]
|