class ExtensionManager extends nvm.ExtensionManager

Source
ExtensionManager.scala
Linear Supertypes
nvm.ExtensionManager, api.ExtensionManager, core.ExtensionManager, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ExtensionManager
  2. ExtensionManager
  3. ExtensionManager
  4. ExtensionManager
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ExtensionManager(workspace: ExtendableWorkspace, loader: ExtensionLoader)

Value Members

  1. def anyExtensionsLoaded: Boolean
    Definition Classes
    ExtensionManager → ExtensionManager
  2. 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
    ExtensionManagerExtensionManager
  3. def clearAll(): Unit
  4. def dumpExtensionPrimitives(): String

    Returns a String describing all the loaded extensions.

    Returns a String describing all the loaded extensions.

    Definition Classes
    ExtensionManagerExtensionManagerExtensionManager
  5. def dumpExtensions: String

    Returns a String describing all the loaded extensions.

    Returns a String describing all the loaded extensions.

    Definition Classes
    ExtensionManagerExtensionManagerExtensionManager
  6. def exportWorld(writer: PrintWriter): Unit
  7. 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
    ExtensionManagerExtensionManager
  8. def extensionReporterNames: Set[String]
    Definition Classes
    ExtensionManagerExtensionManager
  9. def finishFullCompilation(): Unit
    Definition Classes
    ExtensionManager → ExtensionManager
  10. def importExtension(extName: String, errors: ErrorSource): Unit
    Definition Classes
    ExtensionManager → ExtensionManager
    Annotations
    @throws( classOf[CompilerException] )
  11. def importExtensionData(name: String, data: List[Array[String]], handler: ImportErrorHandler): Unit
    Annotations
    @throws( ... )
  12. def isExtensionName(name: String): Boolean
  13. def loadedExtensions: Iterable[ClassManager]

    uses java.lang.Iterable for easy access from Java

    uses java.lang.Iterable for easy access from Java

    Definition Classes
    ExtensionManagerExtensionManager
  14. def readExtensionObject(extName: String, typeName: String, value: String): ExtensionObject
    Definition Classes
    ExtensionManagerExtensionManager → ExtensionManager
    Annotations
    @throws( classOf[CompilerException] )
  15. def readFromString(source: String): AnyRef
    Definition Classes
    ExtensionManagerExtensionManager
    Annotations
    @throws( classOf[CompilerException] )
  16. def replaceIdentifier(name: String): Primitive
    Definition Classes
    ExtensionManager → ExtensionManager
  17. 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
    ExtensionManagerExtensionManagerExtensionManager
  18. def retrieveObject: AnyRef

    returns

    the stored object

    Definition Classes
    ExtensionManagerExtensionManager
  19. def startFullCompilation(): Unit
    Definition Classes
    ExtensionManager → ExtensionManager
  20. 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
    ExtensionManagerExtensionManager
  21. val workspace: ExtendableWorkspace