SPARK Documentation

This is auto-generated documentation.

Contents:

• Predicates
• Functions

Contains $string $sub

find substrings

StringEndsWith $string $suffix

StringStartsWith $string $prefix

chop $s $char

strip char from beginning & end of string

formatString $msg $args

puts args into formatted string

join $strings $connective

Concatenate strings in $strings using $connective as a separator. Note that the order of the arguments was previously reversed. To cater for this, join will still work with the arguments reversed, but will print a warning message.

lowercase $str

convert the string to lowercase

pyFormatString $msg $args

Use python's % operator to format the string

split $string $separator

Split apart $string at every point that $separator occurs returning a list of strings

string $x

Convert $x to string

substringIndex $string $sub

find substrings

uppercase $str

convert the string to uppercase