Packages

trait ActionHandling extends ArchiveActionHandling with CheckActionHandling with ControlActionHandling with DefineActionHandling with ExecActionHandling with MathPathActionHandling with PrintActionHandling with LMHActionHandling

An auxilary class to split the Controller into several files and implement the handling of Actions.

Self Type
Controller
Source
ActionHandling.scala
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ActionHandling
  2. LMHActionHandling
  3. PrintActionHandling
  4. MathPathActionHandling
  5. ExecActionHandling
  6. DefineActionHandling
  7. ControlActionHandling
  8. CheckActionHandling
  9. ArchiveActionHandling
  10. AnyRef
  11. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

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 addArchive(root: File): List[Archive]

    add an archive plus its optional classpath and notify listeners, handling AddArchive

    add an archive plus its optional classpath and notify listeners, handling AddArchive

    Definition Classes
    MathPathActionHandling
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def buildArchive(ids: List[String], key: String, mod: BuildTargetModifier, in: FilePath): Unit

    Builds a given target from an Archive, handling the ArchiveBuild Action

    Builds a given target from an Archive, handling the ArchiveBuild Action

    Definition Classes
    ArchiveActionHandling
  7. def checkPath(p: Path, id: String)(implicit task: MMTTask): Unit

    Checks a path using the Checker of the given ID, handling CheckAction

    Checks a path using the Checker of the given ID, handling CheckAction

    Definition Classes
    CheckActionHandling
  8. def checkTerm(s: String): Unit

    Checks a term relative to the current base path, handling CheckTerm

    Checks a term relative to the current base path, handling CheckTerm

    Definition Classes
    CheckActionHandling
  9. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  10. def configBuild(modS: String, targets: List[String], profile: String): Unit

    Runs a given profile from a config file, handling the ConfBuild target

    Runs a given profile from a config file, handling the ConfBuild target

    Definition Classes
    ArchiveActionHandling
  11. def currentActionDefinition: Option[String]

    the name of the current action definition (if any)

  12. def endDefine(): Unit

    ends a definition

    ends a definition

    Definition Classes
    DefineActionHandling
  13. def enterDefine(name: String): Unit

    enters a definition of the given name

    enters a definition of the given name

    Definition Classes
    DefineActionHandling
  14. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  16. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  17. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. def getConfigString(): String

    returns a string expressing the current configuration

    returns a string expressing the current configuration

    Definition Classes
    PrintActionHandling
  19. def getDefinition(name: String): Option[Defined]

    return the definition of a given name

    return the definition of a given name

    Definition Classes
    DefineActionHandling
  20. def getDefinitions: List[Defined]

    returns all known action definitions

    returns all known action definitions

    Definition Classes
    DefineActionHandling
  21. def getMathHub: Option[MathHub]

    get the current MathHub, if any

    get the current MathHub, if any

    Definition Classes
    LMHActionHandling
  22. def handle(message: Message): Response

    processes a message, see web.MessageHandler

  23. def handle(act: Action, showLog: Boolean = true): Unit

    executes an Action

  24. def handleLine(l: String, showLog: Boolean = true): Unit

    executes a string command

  25. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  26. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  27. def navigate(p: Path): Unit

    navigates to a given path, handling Navigate

    navigates to a given path, handling Navigate

    Definition Classes
    CheckActionHandling
  28. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  29. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  30. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  31. def runDefinition(file: Option[File], name: String): Unit

    runs a given definition

    runs a given definition

    Definition Classes
    DefineActionHandling
  32. def runMSLFile(f: File, nameOpt: Option[String]): Unit

    runs a given file, handling ExecFile

    runs a given file, handling ExecFile

    Definition Classes
    ExecActionHandling
  33. def setBase(base: Path): Unit

    set the base path of this Controller

    set the base path of this Controller

    Definition Classes
    ControlActionHandling
  34. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  35. def toString(): String
    Definition Classes
    AnyRef → Any
  36. def tryHandle(act: Action, showLog: Boolean = true): ActionResult

    executes an Action without throwing exceptions

  37. def tryHandleLine(l: String, showLog: Boolean = true): ActionResult

    executes an Action without throwing exceptions

  38. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  39. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Deprecated Value Members

  1. def make(key: String, allArgs: List[String]): Unit

    Makes a given target, handling the MakeAction

    Makes a given target, handling the MakeAction

    Definition Classes
    ArchiveActionHandling
    Annotations
    @MMT_TODO( message = ... )
    Deprecated

    handled by the :make shell extension, use it instead

Inherited from LMHActionHandling

Inherited from PrintActionHandling

Inherited from MathPathActionHandling

Inherited from ExecActionHandling

Inherited from DefineActionHandling

Inherited from ControlActionHandling

Inherited from CheckActionHandling

Inherited from ArchiveActionHandling

Inherited from AnyRef

Inherited from Any

Ungrouped