ExitDecl.java

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

public class ExitDecl {
    public void reduce2java( AstProperties props ) {
        String    stateName;
        stateInfo s;
        AST_Stmt code;

        stateName = arg[0].tok[0].tokenName();
        s =  stateInfo.verifyStateName( stateName, "Exit method", tok[0] );
        code = ( AST_Stmt ) arg[1].arg[0].arg[0];

        // now do the refinement -- there can be multiple Exit declarations
        // in an SM specification.  This wierdness arises because of JamPack
        // compositions of SM specs.

        s.exit_action_ast = ( AST_Stmt )
          kernelConstants.globals().sm4vars.refineMethod( s.exit_action_ast, code, "Exit " + stateName, 
                 s.name + "_exit", true, tok[0] );
    }
}