public void e2()
{
this.f = "Hello!";
// requires this.f != null
var d = new Dialog(this);
}
public void e2Bis()
{
// this.f can be null
// requires this.f != null
var d = new Dialog(this);
}
