samt-config/tools.samt.config/SamtConfigurationParser

SamtConfigurationParser

object SamtConfigurationParser

Types

class ParseException(exception: Throwable) : RuntimeException

Functions

parseConfiguration

fun parseConfiguration(path: Path): SamtConfiguration

parseLinterConfiguration

fun parseLinterConfiguration(path: Path): SamtLinterConfiguration