/fishlamp.timer/RTE/RTE.e
Specman e | 46 lines | 37 code | 8 blank | 1 comment | 0 complexity | 90805098ea3710889d9091760eee0632 MD5 | raw file
1namespace RTE; 2 3import e.types; 4import RTE.ProtocolHandler; 5import RTE.Communicator; 6import RTE.SecondProvider; 7import RTE.Clock; 8import RTE.Types; 9import RTE.Switch; 10import dio; 11import spi; 12 13init(){ 14 RTE.Clock::init(); 15 RTE.SecondProvider::init(); 16 RTE.Communicator::init(); 17 RTE.ProtocolHandler::init(); 18 RTE.Switch::init(); 19} 20 21run(){ 22 RTE.Communicator::refresh(); 23 RTE.SecondProvider::refresh(); 24} 25 26Communicator_dataReceived(uint8 rcv){ 27 RTE.ProtocolHandler::dataReceived(rcv); 28} 29 30ProtocolHandler_timeReceived(Time time){ 31 RTE.Clock::timeReceived(time); 32} 33 34SecondProvider_secondElapsed(){ 35 RTE.Switch::secondElapsed(); 36 RTE.Clock::secondElapsed(); 37} 38 39Clock_timeChanged(Time time){ 40 RTE.Communicator::timeChanged(time); 41 RTE.Switch::timeChanged(time); 42} 43 44debug(uint8 d){ 45 //SPI_Send(RC0, RC1, d); 46}