Representation of a global option.  
 More...
#include <Pragma.h>
|  | 
| bool | equal (const Node &node) const override | 
|  | Abstract equality check for two AST nodes.  More... 
 | 
|  | 
| void | print (std::ostream &os) const override | 
|  | Output to a given output stream.  More... 
 | 
|  | 
Representation of a global option. 
Definition at line 37 of file Pragma.h.
◆ Pragma()
  
  | 
        
          | souffle::ast::Pragma::Pragma | ( | std::string | key, |  
          |  |  | std::string | value, |  
          |  |  | SrcLocation | loc = {} |  
          |  | ) |  |  |  | inline | 
 
 
◆ clone()
  
  | 
        
          | Pragma* souffle::ast::Pragma::clone | ( |  | ) | const |  | inlineoverridevirtual | 
 
 
◆ equal()
  
  | 
        
          | bool souffle::ast::Pragma::equal | ( | const Node & |  | ) | const |  | inlineoverrideprotectedvirtual | 
 
 
◆ getkvp()
  
  | 
        
          | std::pair<std::string, std::string> souffle::ast::Pragma::getkvp | ( |  | ) | const |  | inline | 
 
 
◆ print()
  
  | 
        
          | void souffle::ast::Pragma::print | ( | std::ostream & | os | ) | const |  | inlineoverrideprotectedvirtual | 
 
 
◆ key
  
  | 
        
          | std::string souffle::ast::Pragma::key |  | protected | 
 
Name of the key. 
Definition at line 62 of file Pragma.h.
 
 
◆ value
  
  | 
        
          | std::string souffle::ast::Pragma::value |  | protected | 
 
 
The documentation for this class was generated from the following file: