@Override public PointerKey getPointerKeyForExceptionalReturnValue(CGNode node) { return new ExceptionReturnValueKey(node); }
@Override public String toString() { return "[Exc-Ret-V:" + getNode() + ']'; }
private static int compareExceptionKey(ExceptionReturnValueKey key1, Object key2) { if (key2 instanceof ExceptionReturnValueKey) { int n1 = key1.getNode().getGraphNodeId(); int n2 = ((ExceptionReturnValueKey)key2).getNode().getGraphNodeId(); if (n1 != n2) return n1-n2; else { assert key1.equals(key2); return 0; } } else return -1; }
private static int compareExceptionKey(ExceptionReturnValueKey key1, Object key2) { if (key2 instanceof ExceptionReturnValueKey) { int n1 = key1.getNode().getGraphNodeId(); int n2 = ((ExceptionReturnValueKey)key2).getNode().getGraphNodeId(); if (n1 != n2) return n1-n2; else { assert key1.equals(key2); return 0; } } else return -1; }
@Override public PointerKey getPointerKeyForExceptionalReturnValue(CGNode node) { return new ExceptionReturnValueKey(node); }
@Override public String toString() { return "[Exc-Ret-V:" + getNode() + ']'; }
System.err.println("exceptions: " + android.snd.getPointsToSet(new ExceptionReturnValueKey(n))); for(int i = 1; i < n.getIR().getSymbolTable().getMaxValueNumber(); i++) { LocalPointerKey x = new LocalPointerKey(n, i);