Commit cd0bebec authored by Colin Eles's avatar Colin Eles
Browse files

types

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5843 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
parent 55ae19c9
Loading
Loading
Loading
Loading

ENUM_TYPES.pvs

0 → 100644
+27 −0
Original line number Diff line number Diff line
ENUM_TYPES: THEORY

BEGIN

y_announce:TYPE = {e_Annun, e_NotAnnum}

y_bulb:TYPE = {e_Lit, e_NotLit}

y_comp_err:TYPE = {e_CompErr,e_NotCompErr}

y_diochk:TYPE = {e_Open, e_Close}

y_pb:TYPE = {e_Pressed, e_NotPressed}

y_pbdesign:TYPE = {e_pbDebounced,e_pbNotDebounced,e_pbStuck}

y_rx_fns:TYPE = {e_New_HTF_values, e_Use_HTF_values, e_New_NOP_values, e_Use_NOP_values, e_WD_test, e_Invalid2pass_Rx, e_InvalidChk_Rx, e_InvalidHdr_Rx, e_InvalidHPX_Rx, e_InvalidVal_Rx, e_Undefined_Rx}

y_switch:TYPE = {e_On, e_Off}

y_toggle:TYPE = {e_WDOn, e_WDOff}

y_trip:TYPE = {e_Trip, e_NotTrip}

y_slfchk_err:TYPE = {e_PwrFail, e_StackErr, e_ROMErr, e_RAMErr, e_RxErr, e_TxErr, e_HPXNFintErr, e_UnexpGnlInt, e_SlfchkSWErr, e_HPXFErr, e_DIOErr, e_AIOErr, e_RTCErre_NoErr}

END ENUM_TYPES