new PostDominatorsAnalysis(cfg, rdfs, SystemProperties.getBoolean("dominators.ignoreexceptionedges"));
new PostDominatorsAnalysis(cfg, rdfs, classContext.getDepthFirstSearch(method), SystemProperties.getBoolean("dominators.ignoreexceptionedges"));
	public static void main(String[] args) throws Exception {		if (args.length != 1) {			System.err.println("Usage: " + PostDominatorsAnalysis.class.getName() + " <classfile>");			System.exit(1);		}				DataflowTestDriver<BitSet, PostDominatorsAnalysis> driver =			new DataflowTestDriver<BitSet, PostDominatorsAnalysis>() {						/* (non-Javadoc)			 * @see edu.umd.cs.findbugs.ba.DataflowTestDriver#createDataflow(edu.umd.cs.findbugs.ba.ClassContext, org.apache.bcel.classfile.Method)			 */			@Override			public Dataflow<BitSet, PostDominatorsAnalysis> createDataflow(ClassContext classContext, Method method) throws CFGBuilderException, DataflowAnalysisException {				CFG cfg = classContext.getCFG(method);				ReverseDepthFirstSearch rdfs = classContext.getReverseDepthFirstSearch(method);								PostDominatorsAnalysis analysis =					new PostDominatorsAnalysis(cfg, rdfs, SystemProperties.getBoolean("dominators.ignoreexceptionedges"));							Dataflow<BitSet, PostDominatorsAnalysis> dataflow =					new Dataflow<BitSet, PostDominatorsAnalysis>(cfg, analysis);								dataflow.execute();								return dataflow;			}					};				driver.execute(args[0]);	}