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. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def anyExtensionsLoaded: Boolean
    Definition Classes
    ExtensionManager → ExtensionManager
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. 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
  7. def clearAll(): Unit
  8. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  9. def dumpExtensionPrimitives(): String

    Returns a String describing all the loaded extensions.

    Returns a String describing all the loaded extensions.

    Definition Classes
    ExtensionManagerExtensionManagerExtensionManager
  10. def dumpExtensions: String

    Returns a String describing all the loaded extensions.

    Returns a String describing all the loaded extensions.

    Definition Classes
    ExtensionManagerExtensionManagerExtensionManager
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  13. def exportWorld(writer: PrintWriter): Unit
  14. 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
  15. def extensionReporterNames: Set[String]
    Definition Classes
    ExtensionManagerExtensionManager
  16. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  17. def finishFullCompilation(): Unit
    Definition Classes
    ExtensionManager → ExtensionManager
  18. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  19. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  20. def importExtension(extName: String, errors: ErrorSource): Unit
    Definition Classes
    ExtensionManager → ExtensionManager
    Annotations
    @throws( classOf[CompilerException] )
  21. def importExtensionData(name: String, data: List[Array[String]], handler: ImportErrorHandler): Unit
    Annotations
    @throws( ... )
  22. def isExtensionName(name: String): Boolean
  23. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  24. 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
  25. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  27. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  28. def readExtensionObject(extName: String, typeName: String, value: String): ExtensionObject
    Definition Classes
    ExtensionManagerExtensionManager → ExtensionManager
    Annotations
    @throws( classOf[CompilerException] )
  29. def readFromString(source: String): AnyRef
    Definition Classes
    ExtensionManagerExtensionManager
    Annotations
    @throws( classOf[CompilerException] )
  30. def replaceIdentifier(name: String): Primitive
    Definition Classes
    ExtensionManager → ExtensionManager
  31. 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
  32. def retrieveObject: AnyRef

    returns

    the stored object

    Definition Classes
    ExtensionManagerExtensionManager
  33. def startFullCompilation(): Unit
    Definition Classes
    ExtensionManager → ExtensionManager
  34. 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
  35. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  36. def toString(): String
    Definition Classes
    AnyRef → Any
  37. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  39. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  40. val workspace: ExtendableWorkspace

Inherited from nvm.ExtensionManager

Inherited from api.ExtensionManager

Inherited from core.ExtensionManager

Inherited from AnyRef

Inherited from Any

Ungrouped