class DummyExtensionManager extends core.DummyExtensionManager with ExtensionManager
- Alphabetic
- By Inheritance
- DummyExtensionManager
- ExtensionManager
- DummyExtensionManager
- ExtensionManager
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new DummyExtensionManager()
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
anyExtensionsLoaded: Boolean
- Definition Classes
- DummyExtensionManager → ExtensionManager
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
def
dumpExtensionPrimitives(): String
- Definition Classes
- DummyExtensionManager → ExtensionManager
-
def
dumpExtensions: String
- Definition Classes
- DummyExtensionManager → ExtensionManager
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def extensionCommandNames: Set[String]
- def extensionReporterNames: Set[String]
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
finishFullCompilation(): Unit
- Definition Classes
- DummyExtensionManager → ExtensionManager
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
importExtension(jarPath: String, errors: ErrorSource): Unit
- Definition Classes
- DummyExtensionManager → ExtensionManager
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
loadedExtensions: List[ClassManager]
uses java.lang.Iterable for easy access from Java
uses java.lang.Iterable for easy access from Java
- Definition Classes
- DummyExtensionManager → ExtensionManager
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
readExtensionObject(extname: String, typeName: String, value: String): ExtensionObject
- Definition Classes
- DummyExtensionManager → ExtensionManager → DummyExtensionManager → ExtensionManager
-
def
readFromString(src: String): AnyRef
- Definition Classes
- DummyExtensionManager → ExtensionManager
-
def
replaceIdentifier(name: String): Primitive
- Definition Classes
- DummyExtensionManager → ExtensionManager
-
def
reset(): Nothing
Instructs any loaded extensions to unload.
Instructs any loaded extensions to unload. Should be called previous to a new model load.
- Definition Classes
- DummyExtensionManager → ExtensionManager
-
def
retrieveObject: AnyRef
- returns
the stored object
- Definition Classes
- DummyExtensionManager → ExtensionManager
-
def
startFullCompilation(): Unit
- Definition Classes
- DummyExtensionManager → 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
- DummyExtensionManager → ExtensionManager
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )