codet: introduce codet operand methods

Author: Daniel Kroening

src/util/std_code.h

@@ -119,6 +119,39 @@ class codet:public exprt
   {
     check_code(code, vm);
   }
+
+protected:
+  typedef std::vector<codet> code_operandst;
+
+  code_operandst &code_operands()
+  { return (code_operandst &)get_sub(); }
+
+  const code_operandst &code_operands() const
+  { return (const code_operandst &)get_sub(); }
+
+  codet &code_op0()
+  { return code_operands().front(); }
+
+  codet &code_op1()
+  { return code_operands()[1]; }
+
+  codet &code_op2()
+  { return code_operands()[2]; }
+
+  codet &code_op3()
+  { return code_operands()[3]; }
+
+  const codet &code_op0() const
+  { return code_operands().front(); }
+
+  const codet &code_op1() const
+  { return code_operands()[1]; }
+
+  const codet &code_op2() const
+  { return code_operands()[2]; }
+
+  const codet &code_op3() const
+  { return code_operands()[3]; }
 };
 
 namespace detail // NOLINT
@@ -770,12 +803,12 @@ class code_switcht:public codet
 
   const codet &body() const
   {
-    return to_code(op1());
+    return code_op1();
   }
 
   codet &body()
   {
-    return static_cast<codet &>(op1());
+    return code_op1();
   }
 
 protected:
@@ -836,12 +869,12 @@ class code_whilet:public codet
 
   const codet &body() const
   {
-    return to_code(op1());
+    return code_op1();
   }
 
   codet &body()
   {
-    return static_cast<codet &>(op1());
+    return code_op1();
   }
 
 protected:
@@ -902,12 +935,12 @@ class code_dowhilet:public codet
 
   const codet &body() const
   {
-    return to_code(op1());
+    return code_op1();
   }
 
   codet &body()
   {
-    return static_cast<codet &>(op1());
+    return code_op1();
   }
 
 protected:
@@ -997,12 +1030,12 @@ class code_fort:public codet
 
   const codet &body() const
   {
-    return to_code(op3());
+    return code_op3();
   }
 
   codet &body()
   {
-    return static_cast<codet &>(op3());
+    return code_op3();
   }
 
 protected:
@@ -1352,12 +1385,12 @@ class code_labelt:public codet
 
   codet &code()
   {
-    return static_cast<codet &>(op0());
+    return code_op0();
   }
 
   const codet &code() const
   {
-    return static_cast<const codet &>(op0());
+    return code_op0();
   }
 
 protected:
@@ -1429,12 +1462,12 @@ class code_switch_caset:public codet
 
   codet &code()
   {
-    return static_cast<codet &>(op1());
+    return code_op1();
   }
 
   const codet &code() const
   {
-    return static_cast<const codet &>(op1());
+    return code_op1();
   }
 
 protected:
@@ -2407,12 +2440,12 @@ class code_try_catcht:public codet
 
   codet &try_code()
   {
-    return static_cast<codet &>(op0());
+    return code_op0();
   }
 
   const codet &try_code() const
   {
-    return static_cast<const codet &>(op0());
+    return code_op0();
   }
 
   code_declt &get_catch_decl(unsigned i)