Package 

Class DocText

  • All Implemented Interfaces:
    it.unibo.protelis2kotlin.DocPiece

    
    public final class DocText
     implements DocPiece
                        

    Data class for a piece of documentation text (like this very comment)

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private final String text
    • Constructor Summary

      Constructors 
      Constructor Description
      DocText(String text)
    • Method Summary

      Modifier and Type Method Description
      DocPiece extendWith(String txt)
      final String component1()
      final DocText copy(String text)
      final String getText()
      • Methods inherited from class it.unibo.protelis2kotlin.DocPiece

        equals, hashCode, toString
      • Methods inherited from class java.lang.Object

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