pattern.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Pattern matching for bytecode instructions
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_JAVA_BYTECODE_PATTERN_H
#define CPROVER_JAVA_BYTECODE_PATTERN_H
 
#include "bytecode_info.h"
 
class patternt
{
public:
  explicit patternt(const char *_p) : p(_p)
  {
  }
  explicit patternt(const char *_p) : p(_p) {…}
 
  // match with '?'
  bool operator==(const u1 bytecode) const
  {
    const char *what = bytecode_info[bytecode].mnemonic;
 
    std::size_t i;
 
    for(i = 0; what[i] != 0; i++)
      if(p[i] == 0)
        return false;
      else if(p[i] != '?' && p[i] != what[i])
        return false;
 
    return p[i] == 0;
  }
  bool operator==(const u1 bytecode) const {…}
 
  friend bool operator==(const u1 bytecode, const patternt &p)
  {
    return p == bytecode;
  }
  friend bool operator==(const u1 bytecode, const patternt &p) {…};
 
  friend bool operator!=(const u1 bytecode, const patternt &p)
  {
    return !(p == bytecode);
  }
  friend bool operator!=(const u1 bytecode, const patternt &p) {…};
 
protected:
  const char *p;
};
class patternt {…};
 
#endif // CPROVER_JAVA_BYTECODE_PATTERN_H