core/Verdicttype.hh

   1 ///////////////////////////////////////////////////////////////////////////////
   2 // Copyright (c) 2000-2014 Ericsson Telecom AB
   3 // All rights reserved. This program and the accompanying materials
   4 // are made available under the terms of the Eclipse Public License v1.0
   5 // which accompanies this distribution, and is available at
   6 // http://www.eclipse.org/legal/epl-v10.html
   7 ///////////////////////////////////////////////////////////////////////////////
   8 #ifndef VERDICTTYPE_HH
   9 #define VERDICTTYPE_HH
  10
  11 #include "Basetype.hh"
  12 #include "Template.hh"
  13 #include "Optional.hh"
  14
  15 class Module_Param;
  16
  17 /// verdicttype value class
  18
  19 class VERDICTTYPE: public Base_Type {
  20   friend class VERDICTTYPE_template;
  21   friend boolean operator==(verdicttype par_value,
  22     const VERDICTTYPE& other_value);
  23
  24   verdicttype verdict_value;
  25   verdicttype str_to_verdict(const char *v, boolean silent = false);
  26 public:
  27   /** Default constructor.
  28    * Initialises \p verdict_value to UNBOUND_VERDICT, a private macro
  29    * outside the range of \p verdicttype enum.
  30    *
  31    * @post \p is_bound() would return \p false */
  32   VERDICTTYPE();
  33   VERDICTTYPE(verdicttype other_value);
  34   VERDICTTYPE(const VERDICTTYPE& other_value);
  35
  36   VERDICTTYPE& operator=(verdicttype other_value);
  37   VERDICTTYPE& operator=(const VERDICTTYPE& other_value);
  38
  39   boolean operator==(verdicttype other_value) const;
  40   boolean operator==(const VERDICTTYPE& other_value) const;
  41   inline boolean operator!=(verdicttype other_value) const
  42   {
  43     return !(*this == other_value);
  44   }
  45   inline boolean operator!=(const VERDICTTYPE& other_value) const
  46   {
  47     return !(*this == other_value);
  48   }
  49
  50   operator verdicttype() const;
  51
  52   inline boolean is_bound() const
  53   {
  54     return verdict_value >= NONE && verdict_value <= ERROR;
  55   }
  56   inline boolean is_value() const
  57   {
  58     return is_bound();
  59   }
  60   void clean_up();
  61
  62 #ifdef TITAN_RUNTIME_2
  63   boolean is_equal(const Base_Type* other_value) const {return *this == *(static_cast<const VERDICTTYPE*>(other_value));}
  64   void set_value(const Base_Type* other_value) {*this = *(static_cast<const VERDICTTYPE*>(other_value));}
  65   Base_Type* clone() const {return new VERDICTTYPE(*this);}
  66   const TTCN_Typedescriptor_t* get_descriptor() const {return &VERDICTTYPE_descr_;}
  67 #else
  68   inline boolean is_present() const { return is_bound(); }
  69 #endif
  70
  71   void log() const;
  72
  73   void set_param(Module_Param& param);
  74
  75   void encode_text(Text_Buf& text_buf) const;
  76   void decode_text(Text_Buf& text_buf);
  77
  78   void encode(const TTCN_Typedescriptor_t& p_td, TTCN_Buffer& p_buf,
  79               TTCN_EncDec::coding_t p_coding, ...) const;
  80
  81   void decode(const TTCN_Typedescriptor_t& p_td, TTCN_Buffer& p_buf,
  82               TTCN_EncDec::coding_t p_coding, ...);
  83
  84   int XER_encode(const XERdescriptor_t& p_td, TTCN_Buffer& p_buf,
  85     unsigned int flavor, int indent) const;
  86   int XER_decode(const XERdescriptor_t& p_td, XmlReaderWrap& reader,
  87     unsigned int flavor);
  88
  89   /** Encodes accordingly to the JSON encoding rules.
  90     * Returns the length of the encoded data. */
  91   int JSON_encode(const TTCN_Typedescriptor_t&, JSON_Tokenizer&) const;
  92
  93   /** Decodes accordingly to the JSON encoding rules.
  94     * Returns the length of the decoded data. */
  95   int JSON_decode(const TTCN_Typedescriptor_t&, JSON_Tokenizer&, boolean);
  96 };
  97
  98 inline boolean operator==(verdicttype par_value, verdicttype other_value)
  99 {
 100   return (int) par_value == (int) other_value;
 101 }
 102
 103 inline boolean operator!=(verdicttype par_value, verdicttype other_value)
 104 {
 105   return (int) par_value != (int) other_value;
 106 }
 107
 108 extern boolean operator==(verdicttype par_value, const VERDICTTYPE& other_value);
 109
 110 inline boolean operator!=(verdicttype par_value, const VERDICTTYPE& other_value)
 111 {
 112   return !(par_value == other_value);
 113 }
 114
 115 // verdicttype template class
 116
 117 class VERDICTTYPE_template: public Base_Template {
 118   union {
 119     verdicttype single_value;
 120     struct {
 121       unsigned int n_values;
 122       VERDICTTYPE_template *list_value;
 123     } value_list;
 124   };
 125
 126   void copy_value(const VERDICTTYPE& other_value);
 127   void copy_template(const VERDICTTYPE_template& other_value);
 128
 129 public:
 130   VERDICTTYPE_template();
 131   VERDICTTYPE_template(template_sel other_value);
 132   VERDICTTYPE_template(verdicttype other_value);
 133   VERDICTTYPE_template(const VERDICTTYPE& other_value);
 134   VERDICTTYPE_template(const OPTIONAL<VERDICTTYPE>& other_value);
 135   VERDICTTYPE_template(const VERDICTTYPE_template& other_value);
 136
 137   ~VERDICTTYPE_template();
 138   void clean_up();
 139
 140   VERDICTTYPE_template& operator=(template_sel other_value);
 141   VERDICTTYPE_template& operator=(verdicttype other_value);
 142   VERDICTTYPE_template& operator=(const VERDICTTYPE& other_value);
 143   VERDICTTYPE_template& operator=(const OPTIONAL<VERDICTTYPE>& other_value);
 144   VERDICTTYPE_template& operator=(const VERDICTTYPE_template& other_value);
 145
 146   boolean match(verdicttype other_value) const;
 147   boolean match(const VERDICTTYPE& other_value) const;
 148   verdicttype valueof() const;
 149
 150   void set_type(template_sel template_type, unsigned int list_length);
 151   VERDICTTYPE_template& list_item(unsigned int list_index);
 152
 153   void log() const;
 154   void log_match(const VERDICTTYPE& match_value) const;
 155
 156   void set_param(Module_Param& param);
 157
 158   void encode_text(Text_Buf& text_buf) const;
 159   void decode_text(Text_Buf& text_buf);
 160
 161   boolean is_present() const;
 162   boolean match_omit() const;
 163 #ifdef TITAN_RUNTIME_2
 164   void valueofv(Base_Type* value) const {*(static_cast<VERDICTTYPE*>(value)) = valueof();}
 165   void set_value(template_sel other_value) {*this = other_value;}
 166   void copy_value(const Base_Type* other_value) {*this = *(static_cast<const VERDICTTYPE*>(other_value));}
 167   Base_Template* clone() const {return new VERDICTTYPE_template(*this);}
 168   const TTCN_Typedescriptor_t* get_descriptor() const {return &VERDICTTYPE_descr_;}
 169   boolean matchv(const Base_Type* other_value) const {return match(*(static_cast<const VERDICTTYPE*>(other_value)));}
 170   void log_matchv(const Base_Type* match_value) const {log_match(*(static_cast<const VERDICTTYPE*>(match_value)));}
 171 #else
 172   void check_restriction(template_res t_res, const char* t_name=NULL) const;
 173 #endif
 174 };
 175
 176 #endif