/
formatTime

formatTime

Description

Converts a system time integer into a human-readable text representation.

Functional area

System

Command syntax

Syntax

formatTime time

Arguments

Name Type Required Comments
time int yes System time previously obtained using getSystemTime.

Flags

None

Return value

string

Examples

// Calculate how long it takes to go through a 1,000,000
// iteration loop. It's about 3 seconds on a 3ghz machine.
int $i, $startTime, $endTime;
string $timeStr;
 
// Get the start time
$startTime = `getSystemTime`;
$timeStr = `formatTime $startTime`;
print $timeStr;
 
// Do an empty, lengthy loop
while( $i < 1000000 ){ $i += 1;}

// Get the end time
$endTime = `getSystemTime`;
$timeStr = `formatTime $endTime`;
print $timeStr;
 
// Now get the execution time
print int( $endTime - $startTime );

Additional information

Related commands