Rock drill is a tool used to directly mine stone. It drills blastholes in rock formations so that explosives can be put in to blast the rock, so as to complete the mining of stone or other stonework. In addition, the rock drill can be converted into a breaker to break up hard layers such as concrete. Rock drills can be divided into four categories according to their power sources: pneumatic rock drills, internal combustion rock drills, electric rock drills and hydraulic rock drills.