protelisdoc/it.unibo.protelis2kotlin

Package-level declarations

Types

class Protelis2KotlinDocPlugin : Plugin<Project>

Protelis2KotlinDoc Gradle Plugin: reuses the Protelis2Kotlin and Dokka plugins to generate Kotlin docs from Protelis code.

ProtelisDocExtension

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

Extension for the Protelis2KotlinDoc plugin.

Properties

PROTELIS_FILE_EXTENSION

const val PROTELIS_FILE_EXTENSION: String

Protelis file extension.

Functions

main

fun main(args: Array<String>)

Main function: calls protelis2Kt without a project.

protelis2Kt

fun Project?.protelis2Kt(base: String, destination: String)

Reads all Protelis files under a base directory, parses them, and generates corresponding Kotlin files in a destination directory.