Searched refs:ToolID (Results 1 – 1 of 1) sorted by relevance
105 class ToolID: class120 return ToolID(0, 0)169 self.toolid = ToolID.clear()642 toolid=ToolID(serial=1, tooltype=1),667 toolid=ToolID.clear(),699 toolid=ToolID(serial=1, tooltype=1),787 toolid=ToolID(serial=1, tooltype=0x822),