public static void writeSpecInfoToFiles(SecuritySpecModel securitySpecModel,String app_ROOT_DIR){
  writeInfoFlowSummaryToFile(securitySpecModel,Config.v().APP_ROOT_DIR);
  writeInfoFlowDetailsToFile(securitySpecModel,Config.v().APP_ROOT_DIR);
  writeValueInfoToFile(securitySpecModel,Config.v().APP_ROOT_DIR);
  writePointsToInfoToFile(securitySpecModel,Config.v().APP_ROOT_DIR);
}

public static void writeSpecInfoToFiles ( SecuritySpecModel securitySpecModel , String app_ROOT_DIR ) { writeInfoFlowSummaryToFile ( securitySpecModel , Config . v ( ) . APP_ROOT_DIR ) ; writeInfoFlowDetailsToFile ( securitySpecModel , Config . v ( ) . APP_ROOT_DIR ) ; writeValueInfoToFile ( securitySpecModel , Config . v ( ) . APP_ROOT_DIR ) ; writePointsToInfoToFile ( securitySpecModel , Config . v ( ) . APP_ROOT_DIR ) ; }
writes info flow info , value flow info , and points to info associated with the security spec to separate files in the droidsafe folder of the current selected android app .
