methods[i].setName(streamName+"_"+methods[i].getName());
methods[i].setName(LoweringConstants. getMethodName(streamName, methods[i].getName()));
    private void flattenMethods(String streamName,				JMethodDeclaration[] methods) {	// for each method	for (int i=0; i<methods.length; i++) {	    // rename the method	    methods[i].setName(streamName+"_"+methods[i].getName());	    // add the parameter	    addParameter(methods[i], 			 streamName, 			 LoweringConstants.STATE_PARAM_NAME);	    // for each statement in the method, change references	    JStatement[] statements = methods[i].getStatements();	    KjcVisitor resolver = new FieldResolver();	    for (int j=0; j<statements.length; j++) {		statements[j].accept(resolver);	    }	    // add <method> to the list of flattened methods	    flatMethods.add(methods[i]);	}    }