SPARK Documentation

Module Name: SPARK (spark.io.ppl)
Organization(s): SRI International
Generated On: 02 Aug 2006 11:37AM

Listing for module spark.io.ppl

This is auto-generated documentation.

Contents:

Actions

act1 $in $out
appendToFile $string $filename
checkPPLPrinting $args
printModulePPL $modname
removeFile $filename
startPPLExecutionTrace
stopPPLExecutionTrace

Predicates

Foo $x
MyPr $format rest: arglist
PPLExecutionTraceFile $filename
TranslateProcedureToPPL $name $result

Functions

pplTranslateTFrame $tframe