ExtensionLoader

org.nlogo.workspace.ExtensionManager.ExtensionLoader

Attributes

Source
ExtensionManager.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class JarLoader

Members list

Value members

Abstract methods

def extensionClassLoader(fileURL: URL, parent: ClassLoader): ClassLoader

Attributes

Source
ExtensionManager.scala
def extensionClassManager(classLoader: ClassLoader, data: ExtensionData): ClassManager

Attributes

Source
ExtensionManager.scala
def extensionData(extensionName: String, url: URL): ExtensionData

Attributes

Source
ExtensionManager.scala
def locateExtension(extensionName: String): Option[URL]

Attributes

Source
ExtensionManager.scala