pure interface of class PremonTargetConstructors

public class PremonTargetConstructors
  extends PremonTarget
{
    public PremonTargetConstructors(PremonJJTCon oriConstructors,
                                    PremonCon oriConstructorsDesugared);
    public void desugar()
      throws TypeError;
    public void parse(String s)
      throws ParseException;
    public void reset();
    public PremonCon constructors();
}