modify property

(String Function(String original)?) modify
getter/setter pair

A function that can be used to modify all port names in a certain way.

Implementation

String Function(String original)? modify;