SPARK Documentation
Module Name: SPARK (
spark.lang
.cancel)
Organization(s): SRI International
Generated On: 02 Aug 2006 11:37AM
SPARK documentation
>
SPARKDOC
>
spark.lang
.cancel
Listing for module spark.lang.cancel
This is auto-generated documentation.
Contents:
Actions
Actions
cancelAndTryDifferent
$pi
Cancels the procedure instance $pi and arranges for an instance of a different procedure to be intended.
getEventTFrames
$event $tframes
Constructs a list of tframes for the given event
main
performSOAPIProcessing
$event $tframes $selectedtframe
Does SOAPI processing on a list of $tframes to select one. Will fail if $tframes is empty and there are no meta-level procedures to handle it.
replaceTFrame
$oldtframe $newtframe
top