Lines Matching full:invariant
2649 /* TODO: is this invariant true for all java/lang/Objects,2883 /* TODO: is this invariant true for all java/lang/Objects,
