package analysis

/**
  * Result of the pre analysis.
  * @param objectCreation map where the key is the program point where the object is created,
  *                       and the key is the class name.
  */
case class PreAnalysisResult(objectCreation: Map[PP, String]) {}
