ExtensionManager

ExtensionManager provides some methods that can be used in runOnce

Linear Supertypes

core.ExtensionManager, AnyRef, Any

Known Subclasses

Ordering

Inherited

Visibility

abstract def anyExtensionsLoaded: Boolean

Definition Classes
ExtensionManager
abstract def dumpExtensionPrimitives(): String
abstract def dumpExtensions: String
abstract def finishFullCompilation(): Unit

Definition Classes
ExtensionManager
abstract def importExtension(jarPath: String, errors: ErrorSource): Unit

Definition Classes
ExtensionManager
abstract def loadedExtensions: Iterable[ClassManager]
uses java.lang.Iterable for easy access from Java
abstract def readExtensionObject(extname: String, typeName: String, value: String): ExtensionObject

Definition Classes
ExtensionManager → ExtensionManager
abstract def readFromString(src: String): AnyRef
abstract def replaceIdentifier(name: String): Primitive

Definition Classes
ExtensionManager
abstract def reset(): Unit
Instructs any loaded extensions to unload.
Instructs any loaded extensions to unload. Should be called previous to a new model load.
abstract def retrieveObject: AnyRef
returns
the stored object
abstract def startFullCompilation(): Unit

Definition Classes
ExtensionManager
abstract def storeObject(obj: AnyRef): Unit
Stores an object for the extension that can be retrieved in runOnce if the extension is loaded again.
Stores an object for the extension that can be retrieved in runOnce if the extension is loaded again. This is useful if the extension has initialization it needs to perform that should only happen once, even if the extension is loaded multiple times.
obj
the object to be stored

Packages