Question

In the following code sniplet, I want to specify that:

1. attachment and handler share a generic type `
2. <A>‘s type only needs to be specified when notify() is invoked
3. Invoking notify() is optional.

I do not want to force users to specify <A> at class construction time because they might never end up invoking notify().

/**
 * Builder pattern for some asynchronous operation.
 */
public class OperationBuilder
{
  private A attachment = null;
  private CompletionHandler<Integer, A> handler = null;

  public <A> OperationBuilder notify(A attachment, CompletionHandler<Integer, A> handler)
  {
    this.attachment = attachment;
    this.handler = handler;
    return this;
  }

  public abstract build();
}

Is this possible under Java? If not, what would you recommend I do?

UPDATE: I don’t need to specify that <A> associated with attachment and handler must be the same <A> associated with notify(). All I’m trying to specify is that attachment and handler must use the same type <A>.

Answer 1

The closest thing you can do is to have notify() return a bridge object that is typed with A. Something along these lines:

  public class OperationBuilder
  {

    public Bridge<A> OperationBuilder notify(A a, CompletionHandler<Integer, A> h)
    {
       return new Bridge<A>(a, h);
    }

    protected abstract<A> void build(Bridge<A> b);



    public class Bridge<A>
    {
        private A attachment;
        private CompletionHandler<Integer, A> handler;

        public Bridge(A a, CompletionHandler<Integer, A> h)
        {
           attachment = a;
           handler = h;
        }


        public void build()
        {
           build(this); // Will invoke OperationBuilder.build()
        }               
    }
  }