JFlow、Jifでthisがcovariant parameterになっている事が分かる感じのセット
class C[covariant label L1,covariant label L2] { } class Tester[label l1,label l2,label l3,label l4,label l5,label l6] { void test() { C[l1,l3]{l5} c1 = null; C[l2,l4]{l6} c2 = null; if(l1 <= l2 && l3 <= l4 && l5 <= l6){ c2 = c1; } } }
thisは、インスタンス自身のラベルという理解で良いのかしら。