query methods

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@6525 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

Author: kroening

src/goto-analyzer/taint_parser.h

@@ -24,6 +24,21 @@ class taint_parse_treet
   public:
     enum { SOURCE, SINK, SANITIZER } kind;
     enum { THIS, PARAMETER, RETURN_VALUE } where;
+    
+    inline bool is_source() const
+    {
+      return kind==SOURCE;
+    }
+
+    inline bool is_sink() const
+    {
+      return kind==SINK;
+    }
+
+    inline bool is_sanitizer() const
+    {
+      return kind==SANITIZER;
+    }
 
     irep_idt function_identifier;
     irep_idt taint;