@Override public int getNumberOfStatementsThatDef(PointsToSetVariable v) { if (v == null) { throw new IllegalArgumentException("v is null"); } int number = v.getGraphNodeId(); if (number == -1) { return 0; } int result = delegateGraph.getPredNodeCount(v); for (IBinaryNaturalRelation R : implicitUnaryMap.values()) { IntSet s = R.getRelated(number); if (s != null) { result += s.size(); } } return result; }
@Override public int getNumberOfStatementsThatDef(PointsToSetVariable v) { if (v == null) { throw new IllegalArgumentException("v is null"); } int number = v.getGraphNodeId(); if (number == -1) { return 0; } int result = delegateGraph.getPredNodeCount(v); for (IBinaryNaturalRelation R : implicitUnaryMap.values()) { IntSet s = R.getRelated(number); if (s != null) { result += s.size(); } } return result; }
/** * Note that this implementation consults the implicit relation for each and every operator cached. This will be inefficient if * there are many implicit operators. * * @throws IllegalArgumentException if v is null * */ @Override public int getNumberOfStatementsThatUse(PointsToSetVariable v) { if (v == null) { throw new IllegalArgumentException("v is null"); } int number = v.getGraphNodeId(); if (number == -1) { return 0; } int result = delegateGraph.getSuccNodeCount(v); for (IBinaryNaturalRelation R : invImplicitUnaryMap.values()) { IntSet s = R.getRelated(number); if (s != null) { result += s.size(); } } return result; }
/** * Note that this implementation consults the implicit relation for each and every operator cached. This will be inefficient if * there are many implicit operators. * * @throws IllegalArgumentException if v is null * */ @Override public int getNumberOfStatementsThatUse(PointsToSetVariable v) { if (v == null) { throw new IllegalArgumentException("v is null"); } int number = v.getGraphNodeId(); if (number == -1) { return 0; } int result = delegateGraph.getSuccNodeCount(v); for (IBinaryNaturalRelation R : invImplicitUnaryMap.values()) { IntSet s = R.getRelated(number); if (s != null) { result += s.size(); } } return result; }