

import java.util.*;
import Jakarta.util.FixDosOutputStream;
import java.io.*;

public class j2jBasedata {
    public boolean SourceDeclSeen;
    public int     SourceDeclCounter;
    public Vector  previousTypeDecls;
    public  conTable                  inheritedCons;
    public  UnmodifiedTypeDeclaration currentTypeDecl;

    // contains signatures of all constructors seen in this file.
    // useful only for mixin-produced files.
    public Hashtable constructorTable;

    // initialized at beginning of class-like declaration
    public HashSet refinedSet = new HashSet();
}
