souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
31 class StringConstant :
public Constant {
44 void print(std::ostream& os)
const override {
const std::string & getConstant() const
Get string representation of Constant.
StringConstant * clone() const override
Create clone.
void print(std::ostream &os) const override
Output to a given output stream.
Constant(std::string value, SrcLocation loc={})
StringConstant(std::string value, SrcLocation loc={})
void setSrcLoc(SrcLocation l)
Set source location for the Node.
const SrcLocation & getSrcLoc() const
Return source location of the Node.