public Dataflow<TypeFrame, TypeAnalysis> createDataflow(ClassContext classContext, Method method)
@Override public Dataflow<TypeFrame, TypeAnalysis> createDataflow(ClassContext classContext, Method method)
	public static void main(String[] argv) throws Exception {		if (argv.length != 1) {			System.err.println("Usage: " + TypeAnalysis.class.getName() + " <class file>");			System.exit(1);		}		DataflowTestDriver<TypeFrame, TypeAnalysis> driver = new DataflowTestDriver<TypeFrame, TypeAnalysis>() {			public Dataflow<TypeFrame, TypeAnalysis> createDataflow(ClassContext classContext, Method method)			        throws CFGBuilderException, DataflowAnalysisException {				return classContext.getTypeDataflow(method);			}		};		driver.execute(argv[0]);	}