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
- Alphabetic
- By Inheritance
- ActionHandling
- LMHActionHandling
- PrintActionHandling
- MathPathActionHandling
- ExecActionHandling
- DefineActionHandling
- ControlActionHandling
- CheckActionHandling
- ArchiveActionHandling
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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
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
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
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
-
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
-
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
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
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
-
def
currentActionDefinition: Option[String]
the name of the current action definition (if any)
-
def
endDefine(): Unit
ends a definition
ends a definition
- Definition Classes
- DefineActionHandling
-
def
enterDefine(name: String): Unit
enters a definition of the given name
enters a definition of the given name
- Definition Classes
- DefineActionHandling
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
getConfigString(): String
returns a string expressing the current configuration
returns a string expressing the current configuration
- Definition Classes
- PrintActionHandling
-
def
getDefinition(name: String): Option[Defined]
return the definition of a given name
return the definition of a given name
- Definition Classes
- DefineActionHandling
-
def
getDefinitions: List[Defined]
returns all known action definitions
returns all known action definitions
- Definition Classes
- DefineActionHandling
-
def
getMathHub: Option[MathHub]
get the current MathHub, if any
get the current MathHub, if any
- Definition Classes
- LMHActionHandling
-
def
handle(message: Message): Response
processes a message, see web.MessageHandler
-
def
handle(act: Action, showLog: Boolean = true): Unit
executes an Action
-
def
handleLine(l: String, showLog: Boolean = true): Unit
executes a string command
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
navigate(p: Path): Unit
navigates to a given path, handling Navigate
navigates to a given path, handling Navigate
- Definition Classes
- CheckActionHandling
-
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
runDefinition(file: Option[File], name: String): Unit
runs a given definition
runs a given definition
- Definition Classes
- DefineActionHandling
-
def
runMSLFile(f: File, nameOpt: Option[String]): Unit
runs a given file, handling ExecFile
runs a given file, handling ExecFile
- Definition Classes
- ExecActionHandling
-
def
setBase(base: Path): Unit
set the base path of this Controller
set the base path of this Controller
- Definition Classes
- ControlActionHandling
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
def
tryHandle(act: Action, showLog: Boolean = true): ActionResult
executes an Action without throwing exceptions
-
def
tryHandleLine(l: String, showLog: Boolean = true): ActionResult
executes an Action without throwing exceptions
-
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
- @throws( ... ) @native()
Deprecated Value Members
-
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