public void M4() { Elem e = new Elem(); Box2 b = new Box2(new Box1(null)); b.GetBox1().SetElem(e); SinkWrap(b); }
public void M3() { Elem e = new Elem(); Box2 b = new Box2(new Box1(null)); b.GetBox1().Elem = e; SinkWrap(b); }
public void M4() { Elem e = Source <Elem>(4); Box2 b = new Box2(new Box1(null)); b.GetBox1().SetElem(e); SinkWrap(b); }
public void M3() { Elem e = Source <Elem>(3); Box2 b = new Box2(new Box1(null)); b.GetBox1().Elem = e; SinkWrap(b); }
public static void SinkWrap(Box2 b2) { Sink(b2.GetBox1().GetElem()); }
public static void SinkWrap(Box2 b2) { Sink(b2.GetBox1().GetElem()); // $ hasValueFlow=1 $ hasValueFlow=2 $ hasValueFlow=3 $ hasValueFlow=4 }