class ExtensionManager extends nvm.ExtensionManager
- Source
- ExtensionManager.scala
- Alphabetic
- By Inheritance
- ExtensionManager
- ExtensionManager
- ExtensionManager
- ExtensionManager
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new ExtensionManager(workspace: ExtendableWorkspace, loader: ExtensionLoader)
Value Members
-
def
anyExtensionsLoaded: Boolean
- Definition Classes
- ExtensionManager → ExtensionManager
-
def
cachedType(name: String): Option[TokenType]
Returns cached type for a given primitive name.
Returns cached type for a given primitive name. Will be either TokenType.Command or a TokenType.Reporter
This is cached so that it can be run without interrupting the extension lifecycle hooks. It is cleared when clearAll is run.
- Definition Classes
- ExtensionManager → ExtensionManager
- def clearAll(): Unit
-
def
dumpExtensionPrimitives(): String
Returns a String describing all the loaded extensions.
Returns a String describing all the loaded extensions.
- Definition Classes
- ExtensionManager → ExtensionManager → ExtensionManager
-
def
dumpExtensions: String
Returns a String describing all the loaded extensions.
Returns a String describing all the loaded extensions.
- Definition Classes
- ExtensionManager → ExtensionManager → ExtensionManager
- def exportWorld(writer: PrintWriter): Unit
-
def
extensionCommandNames: Set[String]
Return cached lists of the names of extension primitives (commands and reporters respectively)
Return cached lists of the names of extension primitives (commands and reporters respectively)
These are cached so that they can be run without interrupting the extension lifecycle hooks.
- Definition Classes
- ExtensionManager → ExtensionManager
-
def
extensionReporterNames: Set[String]
- Definition Classes
- ExtensionManager → ExtensionManager
-
def
finishFullCompilation(): Unit
- Definition Classes
- ExtensionManager → ExtensionManager
-
def
importExtension(extName: String, errors: ErrorSource): Unit
- Definition Classes
- ExtensionManager → ExtensionManager
- Annotations
- @throws( classOf[CompilerException] )
-
def
importExtensionData(name: String, data: List[Array[String]], handler: ImportErrorHandler): Unit
- Annotations
- @throws( ... )
- def isExtensionName(name: String): Boolean
-
def
loadedExtensions: Iterable[ClassManager]
uses java.lang.Iterable for easy access from Java
uses java.lang.Iterable for easy access from Java
- Definition Classes
- ExtensionManager → ExtensionManager
-
def
readExtensionObject(extName: String, typeName: String, value: String): ExtensionObject
- Definition Classes
- ExtensionManager → ExtensionManager → ExtensionManager
- Annotations
- @throws( classOf[CompilerException] )
-
def
readFromString(source: String): AnyRef
- Definition Classes
- ExtensionManager → ExtensionManager
- Annotations
- @throws( classOf[CompilerException] )
-
def
replaceIdentifier(name: String): Primitive
- Definition Classes
- ExtensionManager → ExtensionManager
-
def
reset(): Unit
Instructs any loaded extensions to unload.
Instructs any loaded extensions to unload. Should be called previous to a new model load.
- Definition Classes
- ExtensionManager → ExtensionManager → ExtensionManager
-
def
retrieveObject: AnyRef
- returns
the stored object
- Definition Classes
- ExtensionManager → ExtensionManager
-
def
startFullCompilation(): Unit
- Definition Classes
- ExtensionManager → ExtensionManager
-
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
- Definition Classes
- ExtensionManager → ExtensionManager
- val workspace: ExtendableWorkspace