Changeset 9236060 for src/SynTree

Timestamp:

Aug 14, 2017, 2:03:39 PM (8 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

74b007ba

Parents:

fd344aa (diff), 54cd58b0 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' into references

Location:

src/SynTree

Files:

• AddStmtVisitor.h (modified) (2 diffs)
• AggregateDecl.cc (modified) (2 diffs)
• Attribute.h (modified) (2 diffs)
• BaseSyntaxNode.h (modified) (2 diffs)
• Constant.cc (modified) (2 diffs)
• Constant.h (modified) (3 diffs)
• Declaration.cc (modified) (2 diffs)
• Declaration.h (modified) (19 diffs)
• Expression.cc (modified) (2 diffs)
• Expression.h (modified) (64 diffs)
• Initializer.cc (modified) (2 diffs)
• Initializer.h (modified) (10 diffs)
• Label.h (modified) (2 diffs)
• Mutator.cc (modified) (2 diffs)
• Mutator.h (modified) (4 diffs)
• NamedTypeDecl.cc (modified) (2 diffs)
• Statement.h (modified) (26 diffs)
• SynTree.h (modified) (3 diffs)
• Type.cc (modified) (2 diffs)
• Type.h (modified) (24 diffs)
• TypeDecl.cc (modified) (2 diffs)
• TypeSubstitution.h (modified) (2 diffs)
• VarExprReplacer.h (modified) (2 diffs)
• Visitor.cc (modified) (2 diffs)
• Visitor.h (modified) (3 diffs)

src/SynTree/AddStmtVisitor.h

@@ -10 +10 @@
 // Created On       : Wed Jun 22 12:05:48 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Jul 12 17:50:32 2016
-// Update Count     : 8
+// Last Modified On : Sat Jul 22 09:51:08 2017
+// Update Count     : 9
 //
 
-#ifndef ADD_STATEMENT_VISITOR_H
-#define ADD_STATEMENT_VISITOR_H
+#pragma once
 
 #include <list>
@@ -42 +41 @@
 };
 
-#endif // ADD_STATEMENT_VISITOR_H
+// Local Variables: //
+// tab-width: 4 //
+// mode: c++ //
+// compile-command: "make install" //
+// End: //

src/SynTree/AggregateDecl.cc

@@ -10 +10 @@
 // Created On       : Sun May 17 23:56:39 2015
 // Last Modified By : Andrew Beach
-// Last Modified On : Tus Jun 27 15:30:00 2017
-// Update Count     : 21
+// Last Modified On : Fri Aug  4 14:22:00 2017
+// Update Count     : 22
 //
 
@@ -40 +40 @@
         using std::endl;
 
-        os << typeString() << " " << get_name();
-        os << string( indent+2, ' ' ) << "with body " << has_body() << endl;
+        os << typeString() << " " << get_name() << ":";
+        if ( get_linkage() != LinkageSpec::Cforall ) {
+                os << " " << LinkageSpec::linkageName( get_linkage() );
+        } // if
+        os << " with body " << has_body() << endl;
 
         if ( ! parameters.empty() ) {

src/SynTree/Attribute.h

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Jan 18 16:27:11 2017
-// Update Count     : 38
+// Last Modified On : Sat Jul 22 09:54:14 2017
+// Update Count     : 39
 //
 
-#ifndef GCC_ATTRIBUTE_H
-#define GCC_ATTRIBUTE_H
+#pragma once
 
 #include "SynTree.h"
@@ -42 +41 @@
 const std::list< Attribute * > noAttributes;
 
-#endif
-
 // Local Variables: //
 // tab-width: 4 //

src/SynTree/BaseSyntaxNode.h

@@ -14 +14 @@
 //
 
-#ifndef BASE_SYNTAX_NODE_H
-#define BASE_SYNTAX_NODE_H
+#pragma once
 
 #include "Common/utility.h"
@@ -29 +28 @@
 };
 
-#endif // BASE_SYNTAX_NODE_H
-
 // Local Variables: //
 // tab-width: 4 //

src/SynTree/Constant.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Andrew Beach
-// Last Modified On : Thr Jun 22 10:11:00 2017
-// Update Count     : 28
+// Last Modified On : Fri Jul 14 14:50:00 2017
+// Update Count     : 29
 //
 
@@ -46 +46 @@
 }
 
+Constant Constant::null( Type * ptrtype ) {
+        if ( nullptr == ptrtype ) {
+                ptrtype = new PointerType(
+                        Type::Qualifiers(),
+                        new VoidType( Type::Qualifiers() )
+                        );
+        }
+
+        return Constant( ptrtype, "0", (unsigned long long int)0 );
+}
+
 unsigned long long Constant::get_ival() const {
         assertf( safe_dynamic_cast<BasicType*>(type)->isInteger(), "Attempt to retrieve ival from non-integer constant." );

src/SynTree/Constant.h

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Andrew Beach
-// Last Modified On : Thr Jun 22 10:13:00 2017
-// Update Count     : 15
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Sat Jul 22 09:54:46 2017
+// Update Count     : 17
 //
 
-#ifndef CONSTANT_H
-#define CONSTANT_H
+#pragma once
 
 #include "SynTree.h"
@@ -44 +43 @@
         static Constant from_double( double d );
 
+        /// generates a null pointer value for the given type. void * if omitted.
+        static Constant null( Type * ptrtype = nullptr );
+
         virtual void accept( Visitor & v ) { v.visit( this ); }
         virtual Constant * acceptMutator( Mutator & m ) { return m.mutate( this ); }
@@ -58 +60 @@
 };
 
-#endif // CONSTANT_H
-
 // Local Variables: //
 // tab-width: 4 //

src/SynTree/Declaration.cc

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Mar 16 07:49:18 2017
-// Update Count     : 24
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed Aug  9 14:38:00 2017
+// Update Count     : 25
 //
 
@@ -28 +28 @@
 
 Declaration::Declaration( const std::string &name, Type::StorageClasses scs, LinkageSpec::Spec linkage )
-                : name( name ), storageClasses( scs ), linkage( linkage ), uniqueId( 0 ) {
+                : name( name ), linkage( linkage ), storageClasses( scs ), uniqueId( 0 ) {
 }
 
 Declaration::Declaration( const Declaration &other )
-        : BaseSyntaxNode( other ), name( other.name ), storageClasses( other.storageClasses ), linkage( other.linkage ), uniqueId( other.uniqueId ) {
+        : BaseSyntaxNode( other ), name( other.name ), linkage( other.linkage ), extension( other.extension ), storageClasses( other.storageClasses ), uniqueId( other.uniqueId ) {
 }
 

src/SynTree/Declaration.h

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Andrew Beach
-// Last Modified On : Tus Jun 27 15:31:00 2017
-// Update Count     : 122
-//
-
-#ifndef DECLARATION_H
-#define DECLARATION_H
+// Last Modified On : Wed Aug  9 14:45:00 2017
+// Update Count     : 126
+//
+
+#pragma once
 
 #include <string>
@@ -28 +27 @@
 class Declaration : public BaseSyntaxNode {
   public:
+        std::string name;
+        LinkageSpec::Spec linkage;
+        bool extension = false;
+
         Declaration( const std::string &name, Type::StorageClasses scs, LinkageSpec::Spec linkage );
         Declaration( const Declaration &other );
@@ -54 +57 @@
         static void dumpIds( std::ostream &os );
         static Declaration *declFromId( UniqueId id );
-  private:
-        std::string name;
+
+  private:
         Type::StorageClasses storageClasses;
-        LinkageSpec::Spec linkage;
         UniqueId uniqueId;
-        bool extension = false;
 };
 
 class DeclarationWithType : public Declaration {
   public:
-        DeclarationWithType( const std::string &name, Type::StorageClasses scs, LinkageSpec::Spec linkage, const std::list< Attribute * > & attributes, Type::FuncSpecifiers fs );
-        DeclarationWithType( const DeclarationWithType &other );
-        virtual ~DeclarationWithType();
-
-        std::string get_mangleName() const { return mangleName; }
-        DeclarationWithType * set_mangleName( std::string newValue ) { mangleName = newValue; return this; }
-
-        std::string get_scopedMangleName() const { return mangleName + "_" + std::to_string(scopeLevel); }
-
-        int get_scopeLevel() const { return scopeLevel; }
-        DeclarationWithType * set_scopeLevel( int newValue ) { scopeLevel = newValue; return this; }
-
-        ConstantExpr *get_asmName() const { return asmName; }
-        DeclarationWithType * set_asmName( ConstantExpr *newValue ) { asmName = newValue; return this; }
-
-        std::list< Attribute * >& get_attributes() { return attributes; }
-        const std::list< Attribute * >& get_attributes() const { return attributes; }
-
-        Type::FuncSpecifiers get_funcSpec() const { return fs; }
-        //void set_functionSpecifiers( Type::FuncSpecifiers newValue ) { fs = newValue; }
-
-        virtual DeclarationWithType *clone() const = 0;
-        virtual DeclarationWithType *acceptMutator( Mutator &m ) = 0;
-
-        virtual Type *get_type() const = 0;
-        virtual void set_type(Type *) = 0;
-  private:
         // this represents the type with all types and typedefs expanded it is generated by SymTab::Validate::Pass2
         std::string mangleName;
@@ -98 +72 @@
         ConstantExpr *asmName;
         std::list< Attribute * > attributes;
+
+        DeclarationWithType( const std::string &name, Type::StorageClasses scs, LinkageSpec::Spec linkage, const std::list< Attribute * > & attributes, Type::FuncSpecifiers fs );
+        DeclarationWithType( const DeclarationWithType &other );
+        virtual ~DeclarationWithType();
+
+        std::string get_mangleName() const { return mangleName; }
+        DeclarationWithType * set_mangleName( std::string newValue ) { mangleName = newValue; return this; }
+
+        std::string get_scopedMangleName() const { return mangleName + "_" + std::to_string(scopeLevel); }
+
+        int get_scopeLevel() const { return scopeLevel; }
+        DeclarationWithType * set_scopeLevel( int newValue ) { scopeLevel = newValue; return this; }
+
+        ConstantExpr *get_asmName() const { return asmName; }
+        DeclarationWithType * set_asmName( ConstantExpr *newValue ) { asmName = newValue; return this; }
+
+        std::list< Attribute * >& get_attributes() { return attributes; }
+        const std::list< Attribute * >& get_attributes() const { return attributes; }
+
+        Type::FuncSpecifiers get_funcSpec() const { return fs; }
+        //void set_functionSpecifiers( Type::FuncSpecifiers newValue ) { fs = newValue; }
+
+        virtual DeclarationWithType *clone() const = 0;
+        virtual DeclarationWithType *acceptMutator( Mutator &m ) = 0;
+
+        virtual Type *get_type() const = 0;
+        virtual void set_type(Type *) = 0;
+
+  private:
         Type::FuncSpecifiers fs;
 };
@@ -104 +107 @@
         typedef DeclarationWithType Parent;
   public:
+        Type *type;
+        Initializer *init;
+        Expression *bitfieldWidth;
+
         ObjectDecl( const std::string &name, Type::StorageClasses scs, LinkageSpec::Spec linkage, Expression *bitfieldWidth, Type *type, Initializer *init,
                                 const std::list< Attribute * > attributes = std::list< Attribute * >(), Type::FuncSpecifiers fs = Type::FuncSpecifiers() );
@@ -123 +130 @@
         virtual void print( std::ostream &os, int indent = 0 ) const;
         virtual void printShort( std::ostream &os, int indent = 0 ) const;
-  private:
-        Type *type;
-        Initializer *init;
-        Expression *bitfieldWidth;
 };
 
@@ -132 +135 @@
         typedef DeclarationWithType Parent;
   public:
+        FunctionType *type;
+        CompoundStmt *statements;
+
         FunctionDecl( const std::string &name, Type::StorageClasses scs, LinkageSpec::Spec linkage, FunctionType *type, CompoundStmt *statements,
                                   const std::list< Attribute * > attributes = std::list< Attribute * >(), Type::FuncSpecifiers fs = Type::FuncSpecifiers() );
@@ -150 +156 @@
         virtual void print( std::ostream &os, int indent = 0 ) const;
         virtual void printShort( std::ostream &os, int indent = 0 ) const;
-  private:
-        FunctionType *type;
-        CompoundStmt *statements;
 };
 
@@ -158 +161 @@
         typedef Declaration Parent;
   public:
+        Type *base;
+        std::list< TypeDecl* > parameters;
+        std::list< DeclarationWithType* > assertions;
+
         NamedTypeDecl( const std::string &name, Type::StorageClasses scs, Type *type );
         NamedTypeDecl( const NamedTypeDecl &other );
@@ -172 +179 @@
         virtual void print( std::ostream &os, int indent = 0 ) const;
         virtual void printShort( std::ostream &os, int indent = 0 ) const;
-  protected:
-  private:
-        Type *base;
-        std::list< TypeDecl* > parameters;
-        std::list< DeclarationWithType* > assertions;
 };
 
@@ -183 +185 @@
   public:
         enum Kind { Any, Dtype, Ftype, Ttype };
+
+        Type * init;
+        bool sized;
+
         /// Data extracted from a type decl
         struct Data {
@@ -217 +223 @@
   private:
         Kind kind;
-        Type * init;
-        bool sized;
 };
 
@@ -224 +228 @@
         typedef NamedTypeDecl Parent;
   public:
-        TypedefDecl( const std::string &name, Type::StorageClasses scs, Type *type ) : Parent( name, scs, type ) {}
+        TypedefDecl( const std::string &name, Type::StorageClasses scs, Type *type, LinkageSpec::Spec spec = LinkageSpec::Cforall ) : Parent( name, scs, type ) { set_linkage( spec ); }
         TypedefDecl( const TypedefDecl &other ) : Parent( other ) {}
 
@@ -238 +242 @@
         typedef Declaration Parent;
   public:
-        AggregateDecl( const std::string &name, const std::list< Attribute * > & attributes = std::list< class Attribute * >(), LinkageSpec::Spec linkage = LinkageSpec::Cforall );
-        AggregateDecl( const AggregateDecl &other );
-        virtual ~AggregateDecl();
-
-        std::list<Declaration*>& get_members() { return members; }
-        std::list<TypeDecl*>& get_parameters() { return parameters; }
-
-        std::list< Attribute * >& get_attributes() { return attributes; }
-        const std::list< Attribute * >& get_attributes() const { return attributes; }
-
-        bool has_body() const { return body; }
-        AggregateDecl * set_body( bool body ) { AggregateDecl::body = body; return this; }
-
-        virtual void print( std::ostream &os, int indent = 0 ) const;
-        virtual void printShort( std::ostream &os, int indent = 0 ) const;
-  protected:
-        virtual std::string typeString() const = 0;
-
-  private:
         std::list<Declaration*> members;
         std::list<TypeDecl*> parameters;
         bool body;
         std::list< Attribute * > attributes;
+
+        AggregateDecl( const std::string &name, const std::list< Attribute * > & attributes = std::list< class Attribute * >(), LinkageSpec::Spec linkage = LinkageSpec::Cforall );
+        AggregateDecl( const AggregateDecl &other );
+        virtual ~AggregateDecl();
+
+        std::list<Declaration*>& get_members() { return members; }
+        std::list<TypeDecl*>& get_parameters() { return parameters; }
+
+        std::list< Attribute * >& get_attributes() { return attributes; }
+        const std::list< Attribute * >& get_attributes() const { return attributes; }
+
+        bool has_body() const { return body; }
+        AggregateDecl * set_body( bool body ) { AggregateDecl::body = body; return this; }
+
+        virtual void print( std::ostream &os, int indent = 0 ) const;
+        virtual void printShort( std::ostream &os, int indent = 0 ) const;
+  protected:
+        virtual std::string typeString() const = 0;
 };
 
@@ -266 +269 @@
         typedef AggregateDecl Parent;
   public:
-        StructDecl( const std::string &name, DeclarationNode::Aggregate kind = DeclarationNode::Struct, const std::list< Attribute * > & attributes = std::list< class Attribute * >(), LinkageSpec::Spec linkage = LinkageSpec::Cforall ) : Parent( name, attributes, linkage ), kind( kind ) {}
+        StructDecl( const std::string &name, DeclarationNode::Aggregate kind = DeclarationNode::Struct, const std::list< Attribute * > & attributes = std::list< class Attribute * >(), LinkageSpec::Spec linkage = LinkageSpec::Cforall ) : Parent( name, attributes, linkage ), kind( kind ), tagged( false ), parent_name( "" ) {}
+        StructDecl( const std::string &name, const std::string *parent, const std::list< Attribute * > & attributes = std::list< class Attribute * >(), LinkageSpec::Spec linkage = LinkageSpec::Cforall ) : Parent( name, attributes, linkage ), kind( DeclarationNode::Struct ), tagged( true ), parent_name( parent ? *parent : "" ) {}
         StructDecl( const StructDecl &other ) : Parent( other ) {}
 
@@ -273 +277 @@
         bool is_thread() { return kind == DeclarationNode::Thread; }
 
+        // Tagged/Tree Structure Excetion
+        bool get_tagged() { return tagged; }
+        void set_tagged( bool newValue ) { tagged = newValue; }
+        bool has_parent() { return parent_name != ""; }
+        std::string get_parentName() { return parent_name; }
+
         virtual StructDecl *clone() const { return new StructDecl( *this ); }
         virtual void accept( Visitor &v ) { v.visit( this ); }
@@ -279 +289 @@
         DeclarationNode::Aggregate kind;
         virtual std::string typeString() const;
+
+        bool tagged;
+        std::string parent_name;
 };
 
@@ -324 +337 @@
 class AsmDecl : public Declaration {
   public:
+        AsmStmt *stmt;
+
         AsmDecl( AsmStmt *stmt );
         AsmDecl( const AsmDecl &other );
@@ -336 +351 @@
         virtual void print( std::ostream &os, int indent = 0 ) const;
         virtual void printShort( std::ostream &os, int indent = 0 ) const;
-  private:
-        AsmStmt *stmt;
 };
 
 std::ostream & operator<<( std::ostream & out, const Declaration * decl );
 std::ostream & operator<<( std::ostream & os, const TypeDecl::Data & data );
-
-#endif // DECLARATION_H
 
 // Local Variables: //

src/SynTree/Expression.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Mar 30 16:41:13 2017
-// Update Count     : 52
+// Last Modified On : Tue Jul 25 14:15:47 2017
+// Update Count     : 54
 //
 
@@ -305 +305 @@
         if ( result->isVoid() ) {
                 os << "nothing";
+        } else {
+                result->print( os, indent+2 );
+        } // if
+        os << std::endl;
+        Expression::print( os, indent );
+}
+
+VirtualCastExpr::VirtualCastExpr( Expression *arg_, Type *toType ) : Expression(), arg(arg_) {
+        set_result(toType);
+}
+
+VirtualCastExpr::VirtualCastExpr( const VirtualCastExpr &other ) : Expression( other ), arg( maybeClone( other.arg ) ) {
+}
+
+VirtualCastExpr::~VirtualCastExpr() {
+        delete arg;
+}
+
+void VirtualCastExpr::print( std::ostream &os, int indent ) const {
+        os << "Virtual Cast of:" << std::endl << std::string( indent+2, ' ' );
+        arg->print(os, indent+2);
+        os << std::endl << std::string( indent, ' ' ) << "to:" << std::endl;
+        os << std::string( indent+2, ' ' );
+        if ( ! result ) {
+                os << "unknown";
         } else {
                 result->print( os, indent+2 );

src/SynTree/Expression.h

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Mar 30 16:44:00 2017
-// Update Count     : 41
+// Last Modified By : Andrew Beach
+// Last Modified On : Fri Aug  8 11:54:00 2017
+// Update Count     : 44
 //
 
-#ifndef EXPRESSION_H
-#define EXPRESSION_H
+#pragma once
 
 #include <map>
@@ -30 +29 @@
 class Expression : public BaseSyntaxNode{
   public:
+        Type * result;
+        TypeSubstitution * env;
+        Expression * argName; // if expression is used as an argument, it can be "designated" by this name
+        bool extension = false;
+
         Expression( Expression * _aname = nullptr );
         Expression( const Expression & other );
@@ -50 +54 @@
         virtual Expression * acceptMutator( Mutator & m ) = 0;
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  protected:
-        Type * result;
-        TypeSubstitution * env;
-        Expression * argName; // if expression is used as an argument, it can be "designated" by this name
-        bool extension = false;
 };
 
@@ -80 +79 @@
 class ApplicationExpr : public Expression {
   public:
-        ApplicationExpr( Expression * function, const std::list<Expression *> & args = std::list<Expression *>() );
+        Expression * function;
+
+        ApplicationExpr( Expression * function, const std::list<Expression *> & args = std::list< Expression * >() );
         ApplicationExpr( const ApplicationExpr & other );
         virtual ~ApplicationExpr();
@@ -93 +94 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
+
   private:
-        Expression * function;
         std::list<Expression *> args;
         InferredParams inferParams;
@@ -104 +105 @@
 class UntypedExpr : public Expression {
   public:
+        Expression * function;
+        std::list<Expression*> args;
+
         UntypedExpr( Expression * function, const std::list<Expression *> & args = std::list< Expression * >(), Expression *_aname = nullptr );
         UntypedExpr( const UntypedExpr & other );
@@ -124 +128 @@
         virtual void print( std::ostream & os, int indent = 0 ) const;
         virtual void printArgs(std::ostream & os, int indent = 0) const;
-  private:
-        Expression * function;
-        std::list<Expression*> args;
 };
 
@@ -132 +133 @@
 class NameExpr : public Expression {
   public:
+        std::string name;
+
         NameExpr( std::string name, Expression *_aname = nullptr );
         NameExpr( const NameExpr & other );
@@ -143 +146 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        std::string name;
 };
 
@@ -153 +154 @@
 class AddressExpr : public Expression {
   public:
+        Expression * arg;
+
         AddressExpr( Expression * arg, Expression *_aname = nullptr );
         AddressExpr( const AddressExpr & other );
@@ -164 +167 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        Expression * arg;
 };
 
@@ -171 +172 @@
 class LabelAddressExpr : public Expression {
   public:
+        Expression * arg;
+
         LabelAddressExpr( Expression * arg );
         LabelAddressExpr( const LabelAddressExpr & other );
@@ -182 +185 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        Expression * arg;
 };
 
@@ -189 +190 @@
 class CastExpr : public Expression {
   public:
+        Expression * arg;
+
         CastExpr( Expression * arg, Expression *_aname = nullptr );
         CastExpr( Expression * arg, Type * toType, Expression *_aname = nullptr );
@@ -195 +198 @@
 
         Expression * get_arg() const { return arg; }
-        void set_arg(Expression * newValue ) { arg = newValue; }
+        void set_arg( Expression * newValue ) { arg = newValue; }
 
         virtual CastExpr * clone() const { return new CastExpr( * this ); }
@@ -201 +204 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
+};
+
+/// VirtualCastExpr repersents a virtual dynamic cast, e.g. (virtual exception)e
+class VirtualCastExpr : public Expression {
+  public:
         Expression * arg;
+
+        VirtualCastExpr( Expression * arg, Type * toType );
+        VirtualCastExpr( const VirtualCastExpr & other );
+        virtual ~VirtualCastExpr();
+
+        Expression * get_arg() const { return arg; }
+        void set_arg( Expression * newValue ) { arg = newValue; }
+
+        virtual VirtualCastExpr * clone() const { return new VirtualCastExpr( * this ); }
+        virtual void accept( Visitor & v ) { v.visit( this ); }
+        virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
+        virtual void print( std::ostream & os, int indent = 0 ) const;
 };
 
@@ -208 +227 @@
 class UntypedMemberExpr : public Expression {
   public:
+        Expression * member;
+        Expression * aggregate;
+
         UntypedMemberExpr( Expression * member, Expression * aggregate, Expression *_aname = nullptr );
         UntypedMemberExpr( const UntypedMemberExpr & other );
@@ -221 +243 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        Expression * member;
-        Expression * aggregate;
 };
 
@@ -230 +249 @@
 class MemberExpr : public Expression {
   public:
+        DeclarationWithType * member;
+        Expression * aggregate;
+
         MemberExpr( DeclarationWithType * member, Expression * aggregate, Expression *_aname = nullptr );
         MemberExpr( const MemberExpr & other );
@@ -243 +265 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        DeclarationWithType * member;
-        Expression * aggregate;
 };
 
@@ -252 +271 @@
 class VariableExpr : public Expression {
   public:
+        DeclarationWithType * var;
+
         VariableExpr( DeclarationWithType * var, Expression *_aname = nullptr );
         VariableExpr( const VariableExpr & other );
@@ -265 +286 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        DeclarationWithType * var;
 };
 
@@ -272 +291 @@
 class ConstantExpr : public Expression {
   public:
+        Constant constant;
+
         ConstantExpr( Constant constant, Expression *_aname = nullptr );
         ConstantExpr( const ConstantExpr & other );
@@ -283 +304 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        Constant constant;
 };
 
@@ -290 +309 @@
 class SizeofExpr : public Expression {
   public:
+        Expression * expr;
+        Type * type;
+        bool isType;
+
         SizeofExpr( Expression * expr, Expression *_aname = nullptr );
         SizeofExpr( const SizeofExpr & other );
@@ -306 +329 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
+};
+
+/// AlignofExpr represents an alignof expression
+class AlignofExpr : public Expression {
+  public:
         Expression * expr;
         Type * type;
         bool isType;
-};
-
-/// AlignofExpr represents an alignof expression
-class AlignofExpr : public Expression {
-  public:
+
         AlignofExpr( Expression * expr, Expression *_aname = nullptr );
         AlignofExpr( const AlignofExpr & other );
@@ -331 +354 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        Expression * expr;
-        Type * type;
-        bool isType;
 };
 
@@ -340 +359 @@
 class UntypedOffsetofExpr : public Expression {
   public:
+        Type * type;
+        std::string member;
+
         UntypedOffsetofExpr( Type * type, const std::string & member, Expression *_aname = nullptr );
         UntypedOffsetofExpr( const UntypedOffsetofExpr & other );
@@ -353 +375 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        Type * type;
-        std::string member;
 };
 
@@ -361 +380 @@
 class OffsetofExpr : public Expression {
   public:
+        Type * type;
+        DeclarationWithType * member;
+
         OffsetofExpr( Type * type, DeclarationWithType * member, Expression *_aname = nullptr );
         OffsetofExpr( const OffsetofExpr & other );
@@ -374 +396 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        Type * type;
-        DeclarationWithType * member;
 };
 
@@ -382 +401 @@
 class OffsetPackExpr : public Expression {
 public:
+        StructInstType * type;
+
         OffsetPackExpr( StructInstType * type_, Expression * aname_ = 0 );
         OffsetPackExpr( const OffsetPackExpr & other );
@@ -392 +413 @@
         virtual void accept( Visitor & v ) { v.visit( this ); }
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
-
-        virtual void print( std::ostream & os, int indent = 0 ) const;
-
-private:
-        StructInstType * type;
+        virtual void print( std::ostream & os, int indent = 0 ) const;
 };
 
@@ -402 +419 @@
 class AttrExpr : public Expression {
   public:
+        Expression * attr;
+        Expression * expr;
+        Type * type;
+        bool isType;
+
         AttrExpr(Expression * attr, Expression * expr, Expression *_aname = nullptr );
         AttrExpr( const AttrExpr & other );
@@ -420 +442 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        Expression * attr;
-        Expression * expr;
-        Type * type;
-        bool isType;
 };
 
@@ -430 +447 @@
 class LogicalExpr : public Expression {
   public:
+        Expression * arg1;
+        Expression * arg2;
+
         LogicalExpr( Expression * arg1, Expression * arg2, bool andp = true, Expression *_aname = nullptr );
         LogicalExpr( const LogicalExpr & other );
@@ -444 +464 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
+
   private:
+        bool isAnd;
+};
+
+/// ConditionalExpr represents the three-argument conditional ( p ? a : b )
+class ConditionalExpr : public Expression {
+  public:
         Expression * arg1;
         Expression * arg2;
-        bool isAnd;
-};
-
-/// ConditionalExpr represents the three-argument conditional ( p ? a : b )
-class ConditionalExpr : public Expression {
-  public:
+        Expression * arg3;
+
         ConditionalExpr( Expression * arg1, Expression * arg2, Expression * arg3, Expression *_aname = nullptr );
         ConditionalExpr( const ConditionalExpr & other );
@@ -468 +491 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
+};
+
+/// CommaExpr represents the sequence operator ( a, b )
+class CommaExpr : public Expression {
+  public:
         Expression * arg1;
         Expression * arg2;
-        Expression * arg3;
-};
-
-/// CommaExpr represents the sequence operator ( a, b )
-class CommaExpr : public Expression {
-  public:
+
         CommaExpr( Expression * arg1, Expression * arg2, Expression *_aname = nullptr );
         CommaExpr( const CommaExpr & other );
@@ -490 +512 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        Expression * arg1;
-        Expression * arg2;
 };
 
@@ -498 +517 @@
 class TypeExpr : public Expression {
   public:
+        Type * type;
+
         TypeExpr( Type * type );
         TypeExpr( const TypeExpr & other );
@@ -509 +530 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        Type * type;
 };
 
@@ -516 +535 @@
 class AsmExpr : public Expression {
   public:
+        Expression * inout;
+        ConstantExpr * constraint;
+        Expression * operand;
+
         AsmExpr( Expression * inout, ConstantExpr * constraint, Expression * operand ) : inout( inout ), constraint( constraint ), operand( operand ) {}
         AsmExpr( const AsmExpr & other );
@@ -533 +556 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
+
         // https://gcc.gnu.org/onlinedocs/gcc-4.7.1/gcc/Machine-Constraints.html#Machine-Constraints
-        Expression * inout;
-        ConstantExpr * constraint;
-        Expression * operand;
 };
 
@@ -544 +564 @@
 class ImplicitCopyCtorExpr : public Expression {
 public:
-        ImplicitCopyCtorExpr( ApplicationExpr * callExpr );
-        ImplicitCopyCtorExpr( const ImplicitCopyCtorExpr & other );
-        virtual ~ImplicitCopyCtorExpr();
-
-        ApplicationExpr * get_callExpr() const { return callExpr; }
-        void set_callExpr( ApplicationExpr * newValue ) { callExpr = newValue; }
-
-        std::list< ObjectDecl * > & get_tempDecls() { return tempDecls; }
-        std::list< ObjectDecl * > & get_returnDecls() { return returnDecls; }
-        std::list< Expression * > & get_dtors() { return dtors; }
-
-        virtual ImplicitCopyCtorExpr * clone() const { return new ImplicitCopyCtorExpr( * this ); }
-        virtual void accept( Visitor & v ) { v.visit( this ); }
-        virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
-        virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
         ApplicationExpr * callExpr;
         std::list< ObjectDecl * > tempDecls;
         std::list< ObjectDecl * > returnDecls;
         std::list< Expression * > dtors;
+
+        ImplicitCopyCtorExpr( ApplicationExpr * callExpr );
+        ImplicitCopyCtorExpr( const ImplicitCopyCtorExpr & other );
+        virtual ~ImplicitCopyCtorExpr();
+
+        ApplicationExpr * get_callExpr() const { return callExpr; }
+        void set_callExpr( ApplicationExpr * newValue ) { callExpr = newValue; }
+
+        std::list< ObjectDecl * > & get_tempDecls() { return tempDecls; }
+        std::list< ObjectDecl * > & get_returnDecls() { return returnDecls; }
+        std::list< Expression * > & get_dtors() { return dtors; }
+
+        virtual ImplicitCopyCtorExpr * clone() const { return new ImplicitCopyCtorExpr( * this ); }
+        virtual void accept( Visitor & v ) { v.visit( this ); }
+        virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
+        virtual void print( std::ostream & os, int indent = 0 ) const;
 };
 
@@ -569 +589 @@
 class ConstructorExpr : public Expression {
 public:
+        Expression * callExpr;
+
         ConstructorExpr( Expression * callExpr );
         ConstructorExpr( const ConstructorExpr & other );
@@ -580 +602 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-private:
-        Expression * callExpr;
 };
 
@@ -587 +607 @@
 class CompoundLiteralExpr : public Expression {
   public:
+        Initializer * initializer;
+
         CompoundLiteralExpr( Type * type, Initializer * initializer );
         CompoundLiteralExpr( const CompoundLiteralExpr & other );
@@ -598 +620 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        Initializer * initializer;
 };
 
@@ -605 +625 @@
 class RangeExpr : public Expression {
   public:
+        Expression * low, * high;
+
         RangeExpr( Expression * low, Expression * high );
         RangeExpr( const RangeExpr & other );
@@ -617 +639 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        Expression * low, * high;
 };
 
@@ -624 +644 @@
 class UntypedTupleExpr : public Expression {
   public:
+        std::list<Expression*> exprs;
+
         UntypedTupleExpr( const std::list< Expression * > & exprs, Expression *_aname = nullptr );
         UntypedTupleExpr( const UntypedTupleExpr & other );
@@ -634 +656 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        std::list<Expression*> exprs;
 };
 
@@ -641 +661 @@
 class TupleExpr : public Expression {
   public:
+        std::list<Expression*> exprs;
+
         TupleExpr( const std::list< Expression * > & exprs, Expression *_aname = nullptr );
         TupleExpr( const TupleExpr & other );
@@ -651 +673 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        std::list<Expression*> exprs;
 };
 
@@ -658 +678 @@
 class TupleIndexExpr : public Expression {
   public:
+        Expression * tuple;
+        unsigned int index;
+
         TupleIndexExpr( Expression * tuple, unsigned int index );
         TupleIndexExpr( const TupleIndexExpr & other );
@@ -671 +694 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        Expression * tuple;
-        unsigned int index;
 };
 
@@ -679 +699 @@
 class TupleAssignExpr : public Expression {
   public:
+        StmtExpr * stmtExpr = nullptr;
+
         TupleAssignExpr( const std::list< Expression * > & assigns, const std::list< ObjectDecl * > & tempDecls, Expression * _aname = nullptr );
         TupleAssignExpr( const TupleAssignExpr & other );
@@ -690 +712 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        StmtExpr * stmtExpr = nullptr;
 };
 
@@ -697 +717 @@
 class StmtExpr : public Expression {
 public:
+        CompoundStmt * statements;
+        std::list< ObjectDecl * > returnDecls; // return variable(s) for stmt expression
+        std::list< Expression * > dtors; // destructor(s) for return variable(s)
+
         StmtExpr( CompoundStmt * statements );
         StmtExpr( const StmtExpr & other );
@@ -711 +735 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-private:
-        CompoundStmt * statements;
-        std::list< ObjectDecl * > returnDecls; // return variable(s) for stmt expression
-        std::list< Expression * > dtors; // destructor(s) for return variable(s)
 };
 
 class UniqueExpr : public Expression {
 public:
+        Expression * expr;
+        ObjectDecl * object;
+        VariableExpr * var;
+
         UniqueExpr( Expression * expr, long long idVal = -1 );
         UniqueExpr( const UniqueExpr & other );
@@ -738 +762 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
+
 private:
-        Expression * expr;
-        ObjectDecl * object;
-        VariableExpr * var;
         int id;
         static long long count;
@@ -758 +780 @@
 class UntypedInitExpr : public Expression {
 public:
+        Expression * expr;
+        std::list<InitAlternative> initAlts;
+
         UntypedInitExpr( Expression * expr, const std::list<InitAlternative> & initAlts );
         UntypedInitExpr( const UntypedInitExpr & other );
@@ -771 +796 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-private:
-        Expression * expr;
-        std::list<InitAlternative> initAlts;
 };
 
 class InitExpr : public Expression {
 public:
+        Expression * expr;
+        Designation * designation;
+
         InitExpr( Expression * expr, Designation * designation );
         InitExpr( const InitExpr & other );
@@ -792 +817 @@
         virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-private:
-        Expression * expr;
-        Designation * designation;
 };
 
 
 std::ostream & operator<<( std::ostream & out, const Expression * expr );
-
-#endif // EXPRESSION_H
 
 // Local Variables: //

src/SynTree/Initializer.cc

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Fri May 13 13:23:03 2016
-// Update Count     : 28
+// Last Modified By : Andrew Beach
+// Last Modified On : Thr Aug  3 11:33:00 2016
+// Update Count     : 29
 //
 
@@ -74 +74 @@
                         }
                 }
-                assertf( initializers.size() == designations.size(), "Created ListInit with mismatching initializers (%d) and designations (%d)", initializers.size(), designations.size() );
+                assertf( initializers.size() == designations.size(), "Created ListInit with mismatching initializers (%lu) and designations (%lu)", initializers.size(), designations.size() );
 }
 

src/SynTree/Initializer.h

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Mar 23 16:12:42 2017
-// Update Count     : 20
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed Aug  9 10:19:00 2017
+// Update Count     : 22
 //
 
-#ifndef INITIALIZER_H
-#define INITIALIZER_H
+#pragma once
 
 #include <cassert>
@@ -28 +27 @@
 class Designation : public BaseSyntaxNode {
 public:
+        std::list< Expression * > designators;
+
         Designation( const std::list< Expression * > & designators );
         Designation( const Designation & other );
@@ -38 +39 @@
         virtual Designation * acceptMutator( Mutator &m ) { return m.mutate( this ); }
         virtual void print( std::ostream &os, int indent = 0 ) const;
-private:
-        std::list< Expression * > designators;
 };
 
@@ -64 +63 @@
 class SingleInit : public Initializer {
   public:
+        //Constant *value;
+        Expression *value;      // has to be a compile-time constant
+
         SingleInit( Expression *value, bool maybeConstructed = false );
         SingleInit( const SingleInit &other );
@@ -75 +77 @@
         virtual Initializer *acceptMutator( Mutator &m ) { return m.mutate( this ); }
         virtual void print( std::ostream &os, int indent = 0 ) const;
-  private:
-        //Constant *value;
-        Expression *value;      // has to be a compile-time constant
 };
 
@@ -84 +83 @@
 class ListInit : public Initializer {
   public:
+        std::list<Initializer *> initializers;  // order *is* important
+        std::list<Designation *> designations;  // order/length is consistent with initializers
+
         ListInit( const std::list<Initializer*> &initializers,
                           const std::list<Designation *> &designators = {}, bool maybeConstructed = false );
@@ -103 +105 @@
         virtual Initializer *acceptMutator( Mutator &m ) { return m.mutate( this ); }
         virtual void print( std::ostream &os, int indent = 0 ) const;
-  private:
-        std::list<Initializer *> initializers;  // order *is* important
-        std::list<Designation *> designations;  // order/length is consistent with initializers
 };
 
@@ -114 +113 @@
 class ConstructorInit : public Initializer {
   public:
+        Statement * ctor;
+        Statement * dtor;
+
         ConstructorInit( Statement * ctor, Statement * dtor, Initializer * init );
         ConstructorInit( const ConstructorInit &other );
@@ -131 +133 @@
 
   private:
-        Statement * ctor;
-        Statement * dtor;
         // C-style initializer made up of SingleInit and ListInit nodes to use as a fallback
         // if an appropriate constructor definition is not found by the resolver
@@ -141 +141 @@
 std::ostream & operator<<( std::ostream & out, const Designation * des );
 
-#endif // INITIALIZER_H
-
 // Local Variables: //
 // tab-width: 4 //

src/SynTree/Label.h

@@ -10 +10 @@
 // Created On       : Wed Jun 8 12:53:12 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sun Aug  7 14:44:29 2016
-// Update Count     : 2
+// Last Modified On : Sat Jul 22 09:52:44 2017
+// Update Count     : 3
 //
 
-#ifndef LABEL_H
-#define LABEL_H
+#pragma once
 
 #include <string>
@@ -51 +50 @@
 static const std::list< Label > noLabels;
 
-#endif // LABEL_H
-
 // Local Variables: //
 // tab-width: 4 //

src/SynTree/Mutator.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Andrew Beach
-// Last Modified On : Thu Jun 22 13:43:00 2017
-// Update Count     : 24
+// Last Modified On : Mon Jul 24 16:32:00 2017
+// Update Count     : 25
 //
 
@@ -235 +235 @@
 }
 
+Expression *Mutator::mutate( VirtualCastExpr *castExpr ) {
+        castExpr->set_env( maybeMutate( castExpr->get_env(), *this ) );
+        castExpr->set_result( maybeMutate( castExpr->get_result(), *this ) );
+        castExpr->set_arg( maybeMutate( castExpr->get_arg(), *this ) );
+        return castExpr;
+}
+
 Expression *Mutator::mutate( UntypedMemberExpr *memberExpr ) {
         memberExpr->set_env( maybeMutate( memberExpr->get_env(), *this ) );

src/SynTree/Mutator.h

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Andrew Beach
-// Last Modified On : Thu Jun  8 15:45:00 2017
-// Update Count     : 14
+// Last Modified On : Mon Jul 24 16:31:00 2017
+// Update Count     : 16
 //
 #include <cassert>
@@ -18 +18 @@
 #include "Common/SemanticError.h"
 
-#ifndef MUTATOR_H
-#define MUTATOR_H
+#pragma once
 
 class Mutator {
@@ -60 +59 @@
         virtual Expression* mutate( LabelAddressExpr *labAddressExpr );
         virtual Expression* mutate( CastExpr *castExpr );
+        virtual Expression* mutate( VirtualCastExpr *castExpr );
         virtual Expression* mutate( UntypedMemberExpr *memberExpr );
         virtual Expression* mutate( MemberExpr *memberExpr );
@@ -151 +151 @@
 }
 
-#endif // MUTATOR_H
-
 // Local Variables: //
 // tab-width: 4 //

src/SynTree/NamedTypeDecl.cc

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Mar 16 07:49:44 2017
-// Update Count     : 13
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed Aug  9 13:28:00 2017
+// Update Count     : 14
 //
 
@@ -38 +38 @@
         if ( get_name() != "" ) {
                 os << get_name() << ": ";
+        } // if
+        if ( get_linkage() != LinkageSpec::Cforall ) {
+                os << LinkageSpec::linkageName( get_linkage() ) << " ";
         } // if
         get_storageClasses().print( os );

src/SynTree/Statement.h

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Andrew Beach
-// Last Modified On : Mon Jun 12 13:35:00 2017
-// Update Count     : 67
+// Last Modified On : Thr Aug  3 14:08:00 2017
+// Update Count     : 69
 //
 
-#ifndef STATEMENT_H
-#define STATEMENT_H
+#pragma once
 
 #include "BaseSyntaxNode.h"
@@ -27 +26 @@
 class Statement : public BaseSyntaxNode {
   public:
+        std::list<Label> labels;
+
         Statement( std::list<Label> labels );
         virtual ~Statement();
@@ -37 +38 @@
         virtual Statement *acceptMutator( Mutator &m ) = 0;
         virtual void print( std::ostream &os, int indent = 0 ) const;
-  protected:
-        std::list<Label> labels;
 };
 
 class CompoundStmt : public Statement {
   public:
+        std::list<Statement*> kids;
+
         CompoundStmt( std::list<Label> labels );
         CompoundStmt( const CompoundStmt &other );
@@ -55 +56 @@
         virtual CompoundStmt *acceptMutator( Mutator &m ) { return m.mutate( this ); }
         virtual void print( std::ostream &os, int indent = 0 ) const;
-  private:
-        std::list<Statement*> kids;
 };
 
@@ -68 +67 @@
         virtual NullStmt *acceptMutator( Mutator &m ) { return m.mutate( this ); }
         virtual void print( std::ostream &os, int indent = 0 ) const;
-
-  private:
 };
 
 class ExprStmt : public Statement {
   public:
+        Expression *expr;
+
         ExprStmt( std::list<Label> labels, Expression *expr );
         ExprStmt( const ExprStmt &other );
@@ -85 +84 @@
         virtual Statement *acceptMutator( Mutator &m ) { return m.mutate( this ); }
         virtual void print( std::ostream &os, int indent = 0 ) const;
-  private:
-        Expression *expr;
 };
 
 class AsmStmt : public Statement {
   public:
+        bool voltile;
+        ConstantExpr *instruction;
+        std::list<Expression *> output, input;
+        std::list<ConstantExpr *> clobber;
+        std::list<Label> gotolabels;
+
         AsmStmt( std::list<Label> labels, bool voltile, ConstantExpr *instruction, std::list<Expression *> input, std::list<Expression *> output, std::list<ConstantExpr *> clobber, std::list<Label> gotolabels );
         AsmStmt( const AsmStmt &other );
@@ -112 +115 @@
         virtual Statement *acceptMutator( Mutator &m ) { return m.mutate( this ); }
         virtual void print( std::ostream &os, int indent = 0 ) const;
-  private:
-        bool voltile;
-        ConstantExpr *instruction;
-        std::list<Expression *> output, input;
-        std::list<ConstantExpr *> clobber;
-        std::list<Label> gotolabels;
 };
 
 class IfStmt : public Statement {
   public:
+        Expression *condition;
+        Statement *thenPart;
+        Statement *elsePart;
+
         IfStmt( std::list<Label> labels, Expression *condition, Statement *thenPart, Statement *elsePart );
         IfStmt( const IfStmt &other );
@@ -137 +138 @@
         virtual Statement *acceptMutator( Mutator &m ) { return m.mutate( this ); }
         virtual void print( std::ostream &os, int indent = 0 ) const;
-  private:
-        Expression *condition;
-        Statement *thenPart;
-        Statement *elsePart;
 };
 
 class SwitchStmt : public Statement {
   public:
+        Expression * condition;
+
         SwitchStmt( std::list<Label> labels, Expression *condition, std::list<Statement *> &statements );
         SwitchStmt( const SwitchStmt &other );
@@ -160 +159 @@
         virtual void print( std::ostream &os, int indent = 0 ) const;
   private:
+        std::list<Statement *> statements;
+};
+
+class CaseStmt : public Statement {
+  public:
         Expression * condition;
-        std::list<Statement *> statements;
-};
-
-class CaseStmt : public Statement {
-  public:
+        std::list<Statement *> stmts;
+
         CaseStmt( std::list<Label> labels, Expression *conditions, std::list<Statement *> &stmts, bool isdef = false ) throw(SemanticError);
         CaseStmt( const CaseStmt &other );
@@ -187 +188 @@
         virtual void print( std::ostream &os, int indent = 0 ) const;
   private:
-        Expression * condition;
-        std::list<Statement *> stmts;
         bool _isDefault;
 };
@@ -194 +193 @@
 class WhileStmt : public Statement {
   public:
+        Expression *condition;
+        Statement *body;
+        bool isDoWhile;
+
         WhileStmt( std::list<Label> labels, Expression *condition,
                Statement *body, bool isDoWhile = false );
@@ -210 +213 @@
         virtual Statement *acceptMutator( Mutator &m ) { return m.mutate( this ); }
         virtual void print( std::ostream &os, int indent = 0 ) const;
-  private:
+};
+
+class ForStmt : public Statement {
+  public:
+        std::list<Statement *> initialization;
         Expression *condition;
+        Expression *increment;
         Statement *body;
-        bool isDoWhile;
-};
-
-class ForStmt : public Statement {
-  public:
+
         ForStmt( std::list<Label> labels, std::list<Statement *> initialization,
              Expression *condition = 0, Expression *increment = 0, Statement *body = 0 );
@@ -236 +240 @@
         virtual Statement *acceptMutator( Mutator &m ) { return m.mutate( this ); }
         virtual void print( std::ostream &os, int indent = 0 ) const;
-  private:
-        std::list<Statement *> initialization;
-        Expression *condition;
-        Expression *increment;
-        Statement *body;
 };
 
@@ -246 +245 @@
   public:
         enum Type { Goto = 0, Break, Continue };
+
+        // originalTarget kept for error messages.
+        const Label originalTarget;
+        Label target;
+        Expression *computedTarget;
+        Type type;
 
         BranchStmt( std::list<Label> labels, Label target, Type ) throw (SemanticError);
@@ -266 +271 @@
   private:
         static const char *brType[];
-        Label originalTarget;  // can give better error messages if we remember the label name that the user entered
-        Label target;
-        Expression *computedTarget;
-        Type type;
 };
 
 class ReturnStmt : public Statement {
   public:
+        Expression *expr;
+
         ReturnStmt( std::list<Label> labels, Expression *expr );
         ReturnStmt( const ReturnStmt &other );
@@ -285 +288 @@
         virtual Statement *acceptMutator( Mutator &m ) { return m.mutate( this ); }
         virtual void print( std::ostream &os, int indent = 0 ) const;
-  private:
-        Expression *expr;
 };
 
@@ -292 +293 @@
   public:
         enum Kind { Terminate, Resume };
+
+        const Kind kind;
+        Expression * expr;
+        Expression * target;
 
         ThrowStmt( std::list<Label> labels, Kind kind, Expression * expr, Expression * target = nullptr );
@@ -307 +312 @@
         virtual Statement *acceptMutator( Mutator &m ) { return m.mutate( this ); }
         virtual void print( std::ostream &os, int indent = 0 ) const;
-  private:
-        Kind kind;
-        Expression * expr;
-        Expression * target;
 };
 
 class TryStmt : public Statement {
   public:
+        CompoundStmt *block;
+        std::list<CatchStmt *> handlers;
+        FinallyStmt *finallyBlock;
+
         TryStmt( std::list<Label> labels, CompoundStmt *tryBlock, std::list<CatchStmt *> &handlers, FinallyStmt *finallyBlock = 0 );
         TryStmt( const TryStmt &other );
@@ -330 +335 @@
         virtual Statement *acceptMutator( Mutator &m ) { return m.mutate( this ); }
         virtual void print( std::ostream &os, int indent = 0 ) const;
-
-  private:
-        CompoundStmt *block;
-        std::list<CatchStmt *> handlers;
-        FinallyStmt *finallyBlock;
 };
 
@@ -340 +340 @@
   public:
         enum Kind { Terminate, Resume };
+
+        const Kind kind;
+        Declaration *decl;
+        Expression *cond;
+        Statement *body;
 
         CatchStmt( std::list<Label> labels, Kind kind, Declaration *decl,
@@ -358 +363 @@
         virtual Statement *acceptMutator( Mutator &m ) { return m.mutate( this ); }
         virtual void print( std::ostream &os, int indent = 0 ) const;
-
-  private:
-        Kind kind;
-        Declaration *decl;
-        Expression *cond;
-        Statement *body;
 };
 
 class FinallyStmt : public Statement {
   public:
+        CompoundStmt *block;
+
         FinallyStmt( std::list<Label> labels, CompoundStmt *block );
         FinallyStmt( const FinallyStmt &other );
@@ -379 +380 @@
         virtual Statement *acceptMutator( Mutator &m ) { return m.mutate( this ); }
         virtual void print( std::ostream &os, int indent = 0 ) const;
-  private:
-        CompoundStmt *block;
 };
 
@@ -387 +386 @@
 class DeclStmt : public Statement {
   public:
+        Declaration *decl;
+
         DeclStmt( std::list<Label> labels, Declaration *decl );
         DeclStmt( const DeclStmt &other );
@@ -398 +399 @@
         virtual Statement *acceptMutator( Mutator &m ) { return m.mutate( this ); }
         virtual void print( std::ostream &os, int indent = 0 ) const;
-  private:
-        Declaration *decl;
 };
 
@@ -408 +407 @@
 class ImplicitCtorDtorStmt : public Statement {
   public:
+        // Non-owned pointer to the constructor/destructor statement
+        Statement * callStmt;
+
         ImplicitCtorDtorStmt( Statement * callStmt );
         ImplicitCtorDtorStmt( const ImplicitCtorDtorStmt & other );
@@ -419 +421 @@
         virtual Statement *acceptMutator( Mutator &m ) { return m.mutate( this ); }
         virtual void print( std::ostream &os, int indent = 0 ) const;
-
-  private:
-        // Non-owned pointer to the constructor/destructor statement
-        Statement * callStmt;
 };
 
 
 std::ostream & operator<<( std::ostream & out, const Statement * statement );
-
-#endif // STATEMENT_H
 
 // Local Variables: //

src/SynTree/SynTree.h

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Andrew Beach
-// Last Modified On : Thu Jun  8 17:00:00 2017
-// Update Count     : 9
+// Last Modified On : Mon Jul 24 16:54:00 2017
+// Update Count     : 11
 //
 
-#ifndef SYNTREE_H
-#define SYNTREE_H
+#pragma once
 
 #include <string>
@@ -67 +66 @@
 class LabelAddressExpr;
 class CastExpr;
+class VirtualCastExpr;
 class MemberExpr;
 class UntypedMemberExpr;
@@ -136 +136 @@
 class Attribute;
 
-#endif // SYNTREE_H
-
 // Local Variables: //
 // tab-width: 4 //

src/SynTree/Type.cc

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Mar 17 08:42:47 2017
-// Update Count     : 28
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed Aug  2 11:11:00 2017
+// Update Count     : 29
 //
 
@@ -98 +98 @@
 }
 
+// Empty Variable declarations:
+const Type::FuncSpecifiers noFuncSpecifiers;
+const Type::StorageClasses noStorageClasses;
+const Type::Qualifiers noQualifiers;
+
 std::ostream & operator<<( std::ostream & out, const Type * type ) {
         if ( type ) {

src/SynTree/Type.h

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Mar 23 16:16:36 2017
-// Update Count     : 149
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed Aug  9 14:25:00 2017
+// Update Count     : 152
 //
 
-#ifndef TYPE_H
-#define TYPE_H
+#pragma once
 
 #include "BaseSyntaxNode.h"
@@ -128 +127 @@
         }; // Qualifiers
 
+        typedef std::list<TypeDecl *> ForallList;
+
+        Qualifiers tq;
+        ForallList forall;
+        std::list< Attribute * > attributes;
+
         Type( const Qualifiers & tq, const std::list< Attribute * > & attributes );
         Type( const Type & other );
@@ -146 +151 @@
         void set_atomic( bool newValue ) { tq.is_atomic = newValue; }
 
-        typedef std::list<TypeDecl *> ForallList;
         ForallList& get_forall() { return forall; }
 
@@ -172 +176 @@
         virtual Type *acceptMutator( Mutator & m ) = 0;
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        Qualifiers tq;
-        ForallList forall;
-        std::list< Attribute * > attributes;
-};
-
-extern Type::Qualifiers emptyQualifiers;                                // no qualifiers on constants
+};
+
+extern const Type::FuncSpecifiers noFuncSpecifiers;
+extern const Type::StorageClasses noStorageClasses;
+extern const Type::Qualifiers noQualifiers;                     // no qualifiers on constants
 
 class VoidType : public Type {
@@ -218 +220 @@
                 LongDoubleImaginary,
                 NUMBER_OF_BASIC_TYPES
-        };
+        } kind;
 
         static const char *typeNames[];                                         // string names for basic types, MUST MATCH with Kind
@@ -233 +235 @@
 
         bool isInteger() const;
-  private:
-        Kind kind;
 };
 
 class PointerType : public Type {
   public:
+        Type *base;
+
+        // In C99, pointer types can be qualified in many ways e.g., int f( int a[ static 3 ] )
+        Expression *dimension;
+        bool isVarLen;
+        bool isStatic;
+
         PointerType( const Type::Qualifiers & tq, Type *base, const std::list< Attribute * > & attributes = std::list< Attribute * >() );
         PointerType( const Type::Qualifiers & tq, Type *base, Expression *dimension, bool isVarLen, bool isStatic, const std::list< Attribute * > & attributes = std::list< Attribute * >() );
@@ -261 +268 @@
         virtual Type *acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
+};
+
+class ArrayType : public Type {
+  public:
         Type *base;
-
-        // In C99, pointer types can be qualified in many ways e.g., int f( int a[ static 3 ] )
         Expression *dimension;
         bool isVarLen;
         bool isStatic;
-};
-
-class ArrayType : public Type {
-  public:
+
         ArrayType( const Type::Qualifiers & tq, Type *base, Expression *dimension, bool isVarLen, bool isStatic, const std::list< Attribute * > & attributes = std::list< Attribute * >() );
         ArrayType( const ArrayType& );
@@ -291 +296 @@
         virtual Type *acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        Type *base;
-        Expression *dimension;
-        bool isVarLen;
-        bool isStatic;
 };
 
 class ReferenceType : public Type {
 public:
+        Type *base;
+
         ReferenceType( const Type::Qualifiers & tq, Type *base, const std::list< Attribute * > & attributes = std::list< Attribute * >() );
         ReferenceType( const ReferenceType & );
@@ -313 +315 @@
         virtual Type *acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-private:
-        Type *base;
 };
 
 class FunctionType : public Type {
   public:
+        std::list<DeclarationWithType*> returnVals;
+        std::list<DeclarationWithType*> parameters;
+
+        // Does the function accept a variable number of arguments following the arguments specified in the parameters list.
+        // This could be because of
+        // - an ellipsis in a prototype declaration
+        // - an unprototyped declaration
+        bool isVarArgs;
+
         FunctionType( const Type::Qualifiers & tq, bool isVarArgs, const std::list< Attribute * > & attributes = std::list< Attribute * >() );
         FunctionType( const FunctionType& );
@@ -333 +342 @@
         virtual Type *acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        std::list<DeclarationWithType*> returnVals;
-        std::list<DeclarationWithType*> parameters;
-
-        // Does the function accept a variable number of arguments following the arguments specified in the parameters list.
-        // This could be because of
-        // - an ellipsis in a prototype declaration
-        // - an unprototyped declaration
-        bool isVarArgs;
 };
 
 class ReferenceToType : public Type {
   public:
+        std::list< Expression* > parameters;
+        std::string name;
+        bool hoistType;
+
         ReferenceToType( const Type::Qualifiers & tq, const std::string & name, const std::list< Attribute * > & attributes );
         ReferenceToType( const ReferenceToType & other );
@@ -364 +368 @@
   protected:
         virtual std::string typeString() const = 0;
-        std::list< Expression* > parameters;
-        std::string name;
-  private:
-        bool hoistType;
 };
 
@@ -373 +373 @@
         typedef ReferenceToType Parent;
   public:
+        // this decl is not "owned" by the struct inst; it is merely a pointer to elsewhere in the tree,
+        // where the structure used in this type is actually defined
+        StructDecl *baseStruct;
+
         StructInstType( const Type::Qualifiers & tq, const std::string & name, const std::list< Attribute * > & attributes = std::list< Attribute * >()  ) : Parent( tq, name, attributes ), baseStruct( 0 ) {}
         StructInstType( const Type::Qualifiers & tq, StructDecl * baseStruct, const std::list< Attribute * > & attributes = std::list< Attribute * >()  );
@@ -396 +400 @@
   private:
         virtual std::string typeString() const;
-
-        // this decl is not "owned" by the struct inst; it is merely a pointer to elsewhere in the tree,
-        // where the structure used in this type is actually defined
-        StructDecl *baseStruct;
 };
 
@@ -405 +405 @@
         typedef ReferenceToType Parent;
   public:
+        // this decl is not "owned" by the union inst; it is merely a pointer to elsewhere in the tree,
+        // where the union used in this type is actually defined
+        UnionDecl *baseUnion;
+
         UnionInstType( const Type::Qualifiers & tq, const std::string & name, const std::list< Attribute * > & attributes = std::list< Attribute * >()  ) : Parent( tq, name, attributes ), baseUnion( 0 ) {}
         UnionInstType( const Type::Qualifiers & tq, UnionDecl * baseUnion, const std::list< Attribute * > & attributes = std::list< Attribute * >()  );
@@ -428 +432 @@
   private:
         virtual std::string typeString() const;
-
+};
+
+class EnumInstType : public ReferenceToType {
+        typedef ReferenceToType Parent;
+  public:
         // this decl is not "owned" by the union inst; it is merely a pointer to elsewhere in the tree,
         // where the union used in this type is actually defined
-        UnionDecl *baseUnion;
-};
-
-class EnumInstType : public ReferenceToType {
-        typedef ReferenceToType Parent;
-  public:
+        EnumDecl *baseEnum = nullptr;
+
         EnumInstType( const Type::Qualifiers & tq, const std::string & name, const std::list< Attribute * > & attributes = std::list< Attribute * >()  ) : Parent( tq, name, attributes ) {}
         EnumInstType( const Type::Qualifiers & tq, EnumDecl * baseEnum, const std::list< Attribute * > & attributes = std::list< Attribute * >()  );
@@ -451 +455 @@
   private:
         virtual std::string typeString() const;
-
-        // this decl is not "owned" by the union inst; it is merely a pointer to elsewhere in the tree,
-        // where the union used in this type is actually defined
-        EnumDecl *baseEnum = nullptr;
 };
 
@@ -460 +460 @@
         typedef ReferenceToType Parent;
   public:
+        // this member is filled in by the validate pass, which instantiates the members of the correponding
+        // aggregate with the actual type parameters specified for this use of the context
+        std::list< Declaration* > members;
+
         TraitInstType( const Type::Qualifiers & tq, const std::string & name, const std::list< Attribute * > & attributes = std::list< Attribute * >()  ) : Parent( tq, name, attributes ) {}
         TraitInstType( const TraitInstType & other );
@@ -473 +477 @@
   private:
         virtual std::string typeString() const;
-
-        // this member is filled in by the validate pass, which instantiates the members of the correponding
-        // aggregate with the actual type parameters specified for this use of the context
-        std::list< Declaration* > members;
 };
 
@@ -482 +482 @@
         typedef ReferenceToType Parent;
   public:
+        // this decl is not "owned" by the type inst; it is merely a pointer to elsewhere in the tree,
+        // where the type used here is actually defined
+        TypeDecl *baseType;
+        bool isFtype;
+
         TypeInstType( const Type::Qualifiers & tq, const std::string & name, TypeDecl *baseType, const std::list< Attribute * > & attributes = std::list< Attribute * >()  );
         TypeInstType( const Type::Qualifiers & tq, const std::string & name, bool isFtype, const std::list< Attribute * > & attributes = std::list< Attribute * >()  );
@@ -500 +505 @@
   private:
         virtual std::string typeString() const;
-        // this decl is not "owned" by the type inst; it is merely a pointer to elsewhere in the tree,
-        // where the type used here is actually defined
-        TypeDecl *baseType;
-        bool isFtype;
 };
 
 class TupleType : public Type {
   public:
+        std::list<Type *> types;
+        std::list<Declaration *> members;
+
         TupleType( const Type::Qualifiers & tq, const std::list< Type * > & types, const std::list< Attribute * > & attributes = std::list< Attribute * >()  );
         TupleType( const TupleType& );
@@ -536 +540 @@
         virtual Type *acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        std::list<Type *> types;
-        std::list<Declaration *> members;
 };
 
 class TypeofType : public Type {
   public:
+        Expression *expr;
+
         TypeofType( const Type::Qualifiers & tq, Expression *expr, const std::list< Attribute * > & attributes = std::list< Attribute * >()  );
         TypeofType( const TypeofType& );
@@ -556 +559 @@
         virtual Type *acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
+};
+
+class AttrType : public Type {
+  public:
+        std::string name;
         Expression *expr;
-};
-
-class AttrType : public Type {
-  public:
+        Type *type;
+        bool isType;
+
         AttrType( const Type::Qualifiers & tq, const std::string & name, Expression *expr, const std::list< Attribute * > & attributes = std::list< Attribute * >() );
         AttrType( const Type::Qualifiers & tq, const std::string & name, Type *type, const std::list< Attribute * > & attributes = std::list< Attribute * >()  );
@@ -582 +588 @@
         virtual Type *acceptMutator( Mutator & m ) { return m.mutate( this ); }
         virtual void print( std::ostream & os, int indent = 0 ) const;
-  private:
-        std::string name;
-        Expression *expr;
-        Type *type;
-        bool isType;
 };
 
@@ -628 +629 @@
 
 std::ostream & operator<<( std::ostream & out, const Type * type );
-
-#endif // TYPE_H
 
 // Local Variables: //

src/SynTree/TypeDecl.cc

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Mar 16 07:49:58 2017
-// Update Count     : 5
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed Aug  9 14:35:00 2017
+// Update Count     : 6
 //
 
@@ -18 +18 @@
 #include "Common/utility.h"
 
-TypeDecl::TypeDecl( const std::string &name, Type::StorageClasses scs, Type *type, Kind kind, Type * init ) : Parent( name, scs, type ), kind( kind ), init( init ), sized( kind == Any || kind == Ttype ) {
+TypeDecl::TypeDecl( const std::string &name, Type::StorageClasses scs, Type *type, Kind kind, Type * init ) : Parent( name, scs, type ), init( init ), sized( kind == Any || kind == Ttype ), kind( kind ) {
 }
 
-TypeDecl::TypeDecl( const TypeDecl &other ) : Parent( other ), kind( other.kind ), init( maybeClone( other.init ) ), sized( other.sized ) {
+TypeDecl::TypeDecl( const TypeDecl &other ) : Parent( other ), init( maybeClone( other.init ) ), sized( other.sized ), kind( other.kind ) {
 }
 

src/SynTree/TypeSubstitution.h

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Fri Apr 29 15:00:20 2016
-// Update Count     : 2
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Sat Jul 22 09:52:24 2017
+// Update Count     : 3
 //
 
-#ifndef TYPESUBSTITUTION_H
-#define TYPESUBSTITUTION_H
+#pragma once
 
 #include <map>
@@ -180 +179 @@
 std::ostream & operator<<( std::ostream & out, const TypeSubstitution & sub );
 
-#endif // TYPESUBSTITUTION_H
-
 // Local Variables: //
 // tab-width: 4 //

src/SynTree/VarExprReplacer.h

@@ -9 +9 @@
 // Author           : Rob Schluntz
 // Created On       : Wed Jan 13 16:29:30 2016
-// Last Modified By : Rob Schluntz
-// Last Modified On : Fri May 13 11:27:52 2016
-// Update Count     : 5
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Sat Jul 22 09:53:41 2017
+// Update Count     : 6
 //
 
-#ifndef VAR_EXPR_REPLACER_H
-#define VAR_EXPR_REPLACER_H
+#pragma once
 
 #include <map>
@@ -35 +34 @@
 };
 
-#endif // VAR_EXPR_REPLACER_H
-
 // Local Variables: //
 // tab-width: 4 //

src/SynTree/Visitor.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Andrew Beach
-// Last Modified On : Thu Jun 22 13:41:00 2017
-// Update Count     : 26
+// Last Modified On : Mon Jul 24 16:30:00 2017
+// Update Count     : 27
 //
 
@@ -192 +192 @@
 }
 
+void Visitor::visit( VirtualCastExpr *castExpr ) {
+        maybeAccept( castExpr->get_result(), *this );
+        maybeAccept( castExpr->get_arg(), *this );
+}
+
 void Visitor::visit( UntypedMemberExpr *memberExpr ) {
         maybeAccept( memberExpr->get_result(), *this );

src/SynTree/Visitor.h

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Andrew Beach
-// Last Modified On : Thr Jun 08 15:45:00 2017
-// Update Count     : 11
+// Last Modified On : Mon Jul 24 16:28:00 2017
+// Update Count     : 13
 //
 
-#ifndef VISITOR_H
-#define VISITOR_H
+#pragma once
 
 #include "SynTree.h"
@@ -61 +60 @@
         virtual void visit( NameExpr *nameExpr );
         virtual void visit( CastExpr *castExpr );
+        virtual void visit( VirtualCastExpr *castExpr );
         virtual void visit( AddressExpr *addressExpr );
         virtual void visit( LabelAddressExpr *labAddressExpr );
@@ -175 +175 @@
 }
 
-#endif // VISITOR_H
-
 // Local Variables: //
 // tab-width: 4 //