tmpFact.pushValue(exceptionGen.getCatchType());
Type catchType = exceptionGen.getCatchType(); if (catchType == null) catchType = throwableObjectType; tmpFact.pushValue(catchType);
	public void meetInto(TypeFrame fact, Edge edge, TypeFrame result) throws DataflowAnalysisException {		BasicBlock basicBlock = edge.getDest();		if (basicBlock.isExceptionHandler() && fact.isValid()) {			// Special case: when merging predecessor facts for entry to			// an exception handler, we clear the stack and push a			// single entry for the exception object.  That way, the locals			// can still be merged.			CodeExceptionGen exceptionGen = basicBlock.getExceptionGen(); 			TypeFrame tmpFact = createFact();			tmpFact.copyFrom(fact);			tmpFact.clearStack();			tmpFact.pushValue(exceptionGen.getCatchType());			fact = tmpFact;		}		result.mergeWith(fact);	}