$profile-separator

$profile-separator — The profile separator character.

Parameter:
{}profile-separator
Defined in:
param.xsl
Used in:
param.xsl

Synopsis

  |$profile-separator := ';'

Description

The profiling parameters (and the profiling attributes) are strings. Profiling operates on sets of tokens. The strings in each case are divided into tokens by separating them at the $profile-separator character. Common values for separator include “;” and “ “ (space). See Section 2.7, “Effectivity attributes and profiling”.