!752

!include #1002529 // Explain

answer {
  if "does this class have any constructors: *" exceptionToUser {
    S java = m.unq(0);
    Explain explain = jExplainFull(java, "source");

    // make sure it's actually a class declaration
    //assertTrue("Bad class: " + explain.className(), litlist("classdecl", "emptyclass").contains(explain.className()));
    
    // go to class declaration instead
    Explain e2 = explain.findFirst("classdecl");
    if (e2 == null)
      ret "oops " + structure(explain);
    explain = e2;
    
    // remove all inner classes
    explain.pruneSubs("classdecl");
   
    ret yn(nempty(explain.findAll("constructordecl")));
  }
}