return new JMethodDeclaration(null, at.dms.kjc.Constants.ACC_PUBLIC, CStdType.Void, init ? INIT_WORK_NAME : "work", JFormalParameter.EMPTY,
if (after-before==0 && init) {  return null; } else {  return new JMethodDeclaration(null, at.dms.kjc.Constants.ACC_PUBLIC, CStdType.Void, init ? INIT_WORK_NAME : "work", JFormalParameter.EMPTY,
    private static JMethodDeclaration makeWork(List filterInfo, boolean init) {	// make a statement list for the init function	JBlock statements = new JBlock(null, new JStatement[0], null);	// add the variable declarations	makeWorkDecls(filterInfo, statements, init);	// add the work statements	makeWorkBody(filterInfo, statements, init);	// return result	return new JMethodDeclaration(null,				      at.dms.kjc.Constants.ACC_PUBLIC,				      CStdType.Void,				      init ? INIT_WORK_NAME : "work",				      JFormalParameter.EMPTY,				      CClassType.EMPTY,				      statements,				      null,				      null);    }