tool property

String tool
final

The name of the tool to use.

Implementation

final String tool;