protected fun proA(a: A) do end
private fun priA(a: A) do end
- var vpubA: nullable A is writable
- protected var vproA: nullable A is protected writable
- private var vpriA: nullable A
+ fun pubA2: A do abort
+ protected fun proA2: A do abort
+ private fun priA2: A do abort
+
+ var vpubA: nullable A is writable, noinit
+ protected var vproA: nullable A is protected writable, noinit
+ private var vpriA: nullable A is noinit
var vpubA2 = new A is writable
protected var vproA2 = new A is protected writable
#alt2#protected fun proB(a: B) do end
private fun priB(a: B) do end
- #alt3#var vpubB: nullable B is writable
- #alt4#protected var vproB: nullable B is protected writable
- private var vpriB: nullable B
+ #alt1#fun pubB2: B do abort
+ #alt2#protected fun proB2: B do abort
+ private fun priB2: B do abort
+
+ #alt3#var vpubB: nullable B is writable, noinit
+ #alt4#protected var vproB: nullable B is protected writable, noinit
+ private var vpriB: nullable B is noinit
#alt5#var vpubB2 = new B is writable
#alt6#protected var vproB2 = new B is protected writable
private var vpriB2 = new B
- init do end
+
end
private class B
#alt7#protected fun proA(a: A) do end
private fun priA(a: A) do end
- var vpubA: nullable A is writable
- #alt7#protected var vproA: nullable A is protected writable
- private var vpriA: nullable A
+ var vpubA: nullable A is writable, noinit
+ #alt7#protected var vproA: nullable A is protected writable, noinit
+ private var vpriA: nullable A is noinit
var vpubA2 = new A is writable
#alt7#protected var vproA2 = new A is protected writable
#alt7#protected fun proB(a: B) do end
private fun priB(a: B) do end
- var vpubB: nullable B is writable
- #alt7#protected var vproB: nullable B is protected writable
- private var vpriB: nullable B
+ var vpubB: nullable B is writable, noinit
+ #alt7#protected var vproB: nullable B is protected writable, noinit
+ private var vpriB: nullable B is noinit
var vpubB2 = new B is writable
#alt7#protected var vproB2 = new B is protected writable
private var vpriB2 = new B
- init do end
+
end