XMethod xmethod = XMethodFactory.createXMethod(classContext.getJavaClass(), method);
XMethod xmethod = XFactory.createXMethod(classContext.getJavaClass(), method);
	private void analyzeMethod(ClassContext classContext, Method method) {		try {			CFG cfg = classContext.getCFG(method);			UnconditionalDerefDataflow dataflow = classContext.getUnconditionalDerefDataflow(method);			UnconditionalDerefSet unconditionalDerefSet = dataflow.getResultFact(cfg.getEntry());						if (!unconditionalDerefSet.isValid()) {				if (VERBOSE_DEBUG) {					System.out.println("\tResult is not valid: " + unconditionalDerefSet.toString());				}				return;			}						if (unconditionalDerefSet.isEmpty()) {				if (VERBOSE_DEBUG) {					System.out.println("\tResult is empty");				}				return;			}						if (VERBOSE_DEBUG) {				System.out.println("\tAdding result " + unconditionalDerefSet.toString() + " to database");			}			ParameterNullnessProperty property = new ParameterNullnessProperty();			property.setNonNullParamSet(unconditionalDerefSet);						XMethod xmethod = XMethodFactory.createXMethod(classContext.getJavaClass(), method);			database.setProperty(xmethod, property);			if (DEBUG) {				System.out.println("Unconditional deref: " + xmethod + "=" + property);			}		} catch (CFGBuilderException e) {			AnalysisContext.currentAnalysisContext().getLookupFailureCallback().logError(					"Error analyzing " + method + " for unconditional deref training", e);		} catch (DataflowAnalysisException e) {			AnalysisContext.currentAnalysisContext().getLookupFailureCallback().logError(					"Error analyzing " + method + " for unconditional deref training", e);		}	}