pure interface of class PremonEnvironment

public class PremonEnvironment
{
    public PremonJJTCon context;
    public PremonJJTCon constructors;
    public PremonJJTExp term;
    public PremonCon contextDesugared;
    public PremonCon constructorsDesugared;
    public PremonExp termDesugared;
    public boolean isRed;
    public Font textFont;
    public FontMetrics textFontMetrics;
    public Drawable d;
    public Solution s;
    public PremonEnvironment(Applet parent);
}