Change table data_processing_immediate to use the new notation. Also

src/trusted/validator_arm/dgen_test_output.py

 #!/usr/bin/python
 #
 # Copyright (c) 2012 The Native Client Authors. All rights reserved.
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 #
 
 """
 Responsible for generating the testing decoders based on
 parsed table representations.
@@ skipping 165 matching lines @@
 # Note: DECODER will be replaced by 'actual' and 'baseline', defining
 # how both types of symbols are generated.
 
 CLASS = '%(DECODER)s_%(rule)s'
 NAMED_CLASS = 'Named%(DECODER)s_%(rule)s'
 INSTANCE = '%(DECODER_class)s_instance_'
 BASE_TESTER='%(decoder_base)sTester%(base_test_case)s'
 BASE_BASE_TESTER='%(decoder_base)sTester%(qualifier)s'
 DECODER_TESTER='%(baseline)sTester_%(test_case)s'
 
-def _negated_constraint(constraint):
-  """Returns the negated pattern for the pattern text passed in."""
-  if constraint[0] == '~':
-    return constraint[1:]
-  else:
-    return '~' + constraint
-
 def _safety_to_check(safety):
   return [s for s in safety if not isinstance(s, str)]
 
 def _interesting_patterns(patterns):
   """ Filters out non-interesting patterns."""
   # Only include rows not corresponding to rule pattern,
   # and not always true.
   return [ p for p in patterns if (
       (not p.column or p.column.name() != '$pattern')
       and not p.matches_any())]
@@ skipping 711 matching lines @@
     if row.patterns or action.constraints().restrictions:
       out.write(CONSTRAINT_TESTER_PARSE_HEADER % values)
       if row.patterns:
         out.write(ROW_CONSTRAINTS_HEADER % values);
         for p in row.patterns:
           out.write(CONSTRAINT_CHECK % p.negate().to_commented_bool())
       if action.constraints().restrictions:
         out.write(PATTERN_CONSTRAINT_RESTRICTIONS_HEADER)
         for c in action.constraints().restrictions:
           out.write(CONSTRAINT_CHECK %
-                    dgen_core.BitPattern.parse(
-                        _negated_constraint(c),
-                        dgen_core.BitField('constraint', 31, 0))
-                    .to_commented_bool())
+                    c.negate().to_commented_bool())
       out.write(CONSTRAINT_TESTER_CLASS_FOOTER % values)
     if safety_to_check:
       out.write(SAFETY_TESTER_HEADER % values)
       for check in safety_to_check:
         out.write(SAFETY_TESTER_CHECK %
                   check.to_commented_bool());
       out.write(SAFETY_TESTER_FOOTER % values)
 
 def _generate_rule_testers(decoder, values, out):
   """Generates the testers that tests the rule associated with
@@ skipping 40 matching lines @@
      values, to its corresponding index. This is done to reduce the
      number of compares to find the index, speeding up code
      generation.
      """
   map = {}
   index = 0
   for v in values:
     map[dgen_core.neutral_repr(v)] = index
     index += 1
   return map