import java.util.Hashtable;
import java.util.Vector;
import Jakarta.util.FixDosOutputStream;
import java.io.*;
public class ProceedDecl {
public void reduce2java( AstProperties props ) {
// Step 1: determine if we are translating a JamPack-produced .jak file
String tn = tok[0].getTokenName();
if ( tn.equals( "Proceed" ) ) {
AstNode.error( tok[0], "Proceed() construct should not be present" );
return;
}
// Step 2: reduce normally
props.print( tn );
arg[0].reduce2java( props );
}
}