NetLogo
7.0.0-beta2
API
Generated with
NetLogo/org.nlogo/org.nlogo.workspace/ExtensionManager/ExtensionData

ExtensionData

org.nlogo.workspace.ExtensionManager.ExtensionData
case class ExtensionData(extensionName: String, fileURL: URL, prefix: String, classManagerName: String, version: Option[String], modifiedRaw: Long)

Attributes

Source
ExtensionManager.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product

Concrete fields

val modified: Int

Attributes

Source
ExtensionManager.scala
Generated with