common/dev.ust.zinc.grader.model/Configuration/toProperties

toProperties

private fun toProperties(): Properties

Outputs this configuration into a Properties object, which can then be serialized into a file.

Important: The property file generated by this method is currently incompatible with fromProperties, due to how this method handles backing fields. To enable this compatibility, this method must support serializing Lists without the prefix and suffix.