796 const char *_not_equal; |
796 const char *_not_equal; |
797 const char *_less; |
797 const char *_less; |
798 const char *_greater_equal; |
798 const char *_greater_equal; |
799 const char *_less_equal; |
799 const char *_less_equal; |
800 const char *_greater; |
800 const char *_greater; |
|
801 const char *_overflow; |
|
802 const char *_no_overflow; |
801 const char *_equal_format; |
803 const char *_equal_format; |
802 const char *_not_equal_format; |
804 const char *_not_equal_format; |
803 const char *_less_format; |
805 const char *_less_format; |
804 const char *_greater_equal_format; |
806 const char *_greater_equal_format; |
805 const char *_less_equal_format; |
807 const char *_less_equal_format; |
806 const char *_greater_format; |
808 const char *_greater_format; |
|
809 const char *_overflow_format; |
|
810 const char *_no_overflow_format; |
807 |
811 |
808 // Public Methods |
812 // Public Methods |
809 CondInterface(const char* equal, const char* equal_format, |
813 CondInterface(const char* equal, const char* equal_format, |
810 const char* not_equal, const char* not_equal_format, |
814 const char* not_equal, const char* not_equal_format, |
811 const char* less, const char* less_format, |
815 const char* less, const char* less_format, |
812 const char* greater_equal, const char* greater_equal_format, |
816 const char* greater_equal, const char* greater_equal_format, |
813 const char* less_equal, const char* less_equal_format, |
817 const char* less_equal, const char* less_equal_format, |
814 const char* greater, const char* greater_format); |
818 const char* greater, const char* greater_format, |
|
819 const char* overflow, const char* overflow_format, |
|
820 const char* no_overflow, const char* no_overflow_format); |
815 ~CondInterface(); |
821 ~CondInterface(); |
816 |
822 |
817 void dump(); |
823 void dump(); |
818 void output(FILE *fp); |
824 void output(FILE *fp); |
819 }; |
825 }; |