file property

String file
final

The file containing the folding regions.

Implementation

final String file;