ProtelisDocExtension

constructor(project: Project, baseDir: Property<String> = project.propertyWithDefault(project.path), destDir: Property<String> = project.propertyWithDefault( project.buildDirectory.map { "$it${SEP}kotlin-for-protelis$SEP" }, ), kotlinDestDir: Property<String> = project.objects.property(String::class).convention( project.layout.buildDirectory .dir("protelis2kt") .map { it.asFile.absolutePath }, ), debug: Property<Boolean> = project.propertyWithDefault(false))

Parameters

baseDir

The base directory from which looking for Protelis files

destDir

The directory that will contain the generated docs

kotlinDestDir

destubatuib directirt for the intermediate Kotlin kode

debug

enables debug output