pure interface of class PremonPatDots

public class PremonPatDots
  extends PremonPat
{
    public PremonPatDots(PremonPat P,
                         PremonPat Q);
    public void print(Printer p);
    public void printB(Printer p);
}