positiveIntOption

fun Map<String, String>.positiveIntOption(name: String, defaultValue: Int): Int

Reads a positive integer option from rule configuration.