

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

// ----------  look elsewhere ---
// there are layers (j2jIntx, j2jSmx, j2jClassx) that define
// the actions specific to j2j tools.  Their contents have been
// removed from j2jbase to support Origami.  The key ideas are that
// you must extend all subclasses of UnmodifiedTypeDeclaration with
// the ability to harvest constructors AND that extensions/refinements
// of these types are parsable, but are illegal.

public class UnmodifiedTypeDeclaration {

    public  conTable inheritedCons;

    public void copyConstructors() {
        // Step 1: copy the inheritedCons of $TEqn.program -- these
        //         are the constructors we want to inherit

        inheritedCons = ( conTable )  kernelConstants.globals().j2jbase.inheritedCons.clone();
        kernelConstants.globals().j2jbase.currentTypeDecl = this;
    }
}
