import java.util.Hashtable;
import Jakarta.util.Util2;
import java.io.*;
//------------------------LocalID layer------------------
//---------------- harvest local ids into hash table ------------
//---------------- does not require kernel extensions -----------
// the following deals with local-id harvesting and could
// be a layer unto itself.
public class AST_Program {
public void harvestLocalIds() {
AstNode.override( "harvestLocalIds", this );
}
}