time.inl

Go to the documentation of this file.
00001 /*  
00002  *      time_protocol.h - def_generics for the Time protocol
00003  *
00004  *      see def_abstract_generics.h for more info.
00005  *
00006  *  
00007  *          Copyright � John Wainwright 1996
00008  *
00009  */
00010 #pragma warning(push)
00011 #pragma warning(disable:4100)
00012 
00013     use_generic                     ( plus,         "+");
00014     use_generic                     ( minus,        "-");
00015     use_generic                     ( times,        "*");
00016     use_generic                     ( div,          "/");
00017     use_generic                     ( uminus,       "u-");
00018 
00019     use_generic                     ( eq,           "=");
00020     use_generic                     ( ne,           "!=");
00021     use_generic                     ( gt,           ">");
00022     use_generic                     ( lt,           "<");
00023     use_generic                     ( ge,           ">=");
00024     use_generic                     ( le,           "<=");
00025 
00026     use_generic                     ( random,       "random");
00027     use_generic                     ( abs,          "abs");
00028 
00029     def_visible_primitive_debug_ok  ( normtime,     "normtime" );
00030 
00031 #pragma warning(pop)