Index: src/SynTree/Constant.cc
===================================================================
--- src/SynTree/Constant.cc	(revision bb0f9747bb959b47f371ebe5cd2a1aa7a336a58e)
+++ src/SynTree/Constant.cc	(revision d0bacde6abe2f6d19737a53fc6e4302220f86804)
@@ -10,6 +10,6 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Andrew Beach
-// Last Modified On : Fri Jul 14 14:50:00 2017
-// Update Count     : 29
+// Last Modified On : Fri Spt 28 14:49:00 2018
+// Update Count     : 30
 //
 
@@ -19,4 +19,5 @@
 
 #include "Constant.h"
+#include "Expression.h" // for ConstantExpr
 #include "Type.h"    // for BasicType, Type, Type::Qualifiers, PointerType
 
@@ -48,4 +49,14 @@
 Constant Constant::from_double( double d ) {
 	return Constant( new BasicType( Type::Qualifiers(), BasicType::Double ), std::to_string( d ), d );
+}
+
+Constant Constant::from_string( std::string const & str ) {
+	return Constant(
+		new ArrayType(
+			noQualifiers,
+			new BasicType( Type::Qualifiers( Type::Const ), BasicType::Char ),
+			new ConstantExpr( Constant::from_int( str.size() + 1 /* \0 */ )),
+			false, false ),
+		std::string("\"") + str + "\"", (unsigned long long int)0 );
 }
 
Index: src/SynTree/Constant.h
===================================================================
--- src/SynTree/Constant.h	(revision bb0f9747bb959b47f371ebe5cd2a1aa7a336a58e)
+++ src/SynTree/Constant.h	(revision d0bacde6abe2f6d19737a53fc6e4302220f86804)
@@ -9,7 +9,7 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Jul 22 09:54:46 2017
-// Update Count     : 17
+// Last Modified By : Andrew Beach
+// Last Modified On : Fri Spt 28 14:48:00 2018
+// Update Count     : 18
 //
 
@@ -51,4 +51,6 @@
 	/// generates a floating point constant of the given double
 	static Constant from_double( double d );
+	/// generates an array of chars constant of the given string
+	static Constant from_string( std::string const & s );
 
 	/// generates a null pointer value for the given type. void * if omitted.