pure interface of class PremonTargetTerm

public class PremonTargetTerm
  extends PremonTarget
{
    public PremonTargetTerm(PremonJJTExp oriTerm,
                            PremonExp oriTermDesugared,
                            PremonTargetContext context,
                            PremonTargetConstructors constructors);
    public void desugar()
      throws TypeError;
    public void parse(String s)
      throws ParseException;
    public void reset();
    public PremonExp term();
}