Package 

Class ProtelisDocExtension

    • Method Summary

      Modifier and Type Method Description
      final Property<String> getBaseDir()
      final Property<String> getDestDir()
      final Property<String> getKotlinDestDir()
      final Property<Boolean> getDebug()

      • Methods inherited from class it.unibo.protelis2kotlin.ProtelisDocExtension

        equals, hashCode, toString

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • ProtelisDocExtension

        ProtelisDocExtension(Project project, Property<String> baseDir, Property<String> destDir, Property<String> kotlinDestDir, Property<Boolean> debug)
        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