souffle
2.0.2-371-g6315b36
|
An abstract base class for types. More...
#include <Type.h>
Public Member Functions | |
Type * | clone () const override=0 |
Create a clone (i.e. More... | |
const QualifiedName & | getQualifiedName () const |
Return type name. More... | |
void | setQualifiedName (QualifiedName name) |
Set type name. More... | |
Type (QualifiedName name={}, SrcLocation loc={}) | |
Public Member Functions inherited from souffle::ast::Node | |
virtual void | apply (const NodeMapper &) |
Apply the mapper to all child nodes. More... | |
std::string | extloc () const |
Return source location of the syntactic element. More... | |
virtual std::vector< const Node * > | getChildNodes () const |
Obtain a list of all embedded AST child nodes. More... | |
const SrcLocation & | getSrcLoc () const |
Return source location of the Node. More... | |
Node (SrcLocation loc={}) | |
bool | operator!= (const Node &other) const |
Inequality check for two AST nodes. More... | |
bool | operator== (const Node &other) const |
Equivalence check for two AST nodes. More... | |
void | setSrcLoc (SrcLocation l) |
Set source location for the Node. More... | |
virtual | ~Node ()=default |
Private Attributes | |
QualifiedName | name |
type name More... | |
Additional Inherited Members | |
Protected Member Functions inherited from souffle::ast::Node | |
virtual bool | equal (const Node &) const |
Abstract equality check for two AST nodes. More... | |
virtual void | print (std::ostream &os) const =0 |
Output to a given output stream. More... | |
|
inline |
Definition at line 39 of file Type.h.
References setQualifiedName().
|
overridepure virtual |
|
inline |
|
inline |
|
private |