public class Timer {
public Timer ( uint32 interval,
TimerCallback callback,
void** param ) ;
public static uint32 get_ticks ( ) ;
public static void delay ( uint32 ms ) ;
}

public Timer ( uint32 interval,
TimerCallback callback,
void** param ) ;
public static uint32 get_ticks ( ) ;
public static void delay ( uint32 ms ) ;
Created by Valadoc