Java 类soot.jimple.spark.sets.DoublePointsToSet 实例源码

项目:JAADAS    文件:SootUtil.java   
private static HybridPointsToSet convertToHybrid(final PointsToSetInternal set) {
  HybridPointsToSet ret = null;
  if (set instanceof HybridPointsToSet) {
    ret = (HybridPointsToSet) set;
  } else if (set instanceof DoublePointsToSet) {
    assert ((DoublePointsToSet) set).getNewSet().isEmpty();
    ret = (HybridPointsToSet) ((DoublePointsToSet) set).getOldSet();
  }
  return ret;
}