Changeset f6e3e34 for src/Parser/DeclarationNode.cc

Timestamp:

Apr 3, 2018, 11:13:10 AM (7 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, with_gc

Children:

92fea32

Parents:

3d2b7bc

Message:

Add StaticAssertDecl? node

File:

• src/Parser/DeclarationNode.cc (modified) (5 diffs)

src/Parser/DeclarationNode.cc

@@ -71 +71 @@
         attr.expr = nullptr;
         attr.type = nullptr;
+
+        assert.condition = nullptr;
+        assert.message = nullptr;
 }
 
@@ -88 +91 @@
         // asmName, no delete, passed to next stage
         delete initializer;
+
+        delete assert.condition;
+        delete assert.message;
 }
 
@@ -117 +123 @@
         newnode->attr.expr = maybeClone( attr.expr );
         newnode->attr.type = maybeClone( attr.type );
+
+        newnode->assert.condition = maybeClone( assert.condition );
+        newnode->assert.message = maybeClone( assert.message );
         return newnode;
 } // DeclarationNode::clone
@@ -434 +443 @@
         return newnode;
 }
+
+DeclarationNode * DeclarationNode::newStaticAssert( ExpressionNode * condition, Expression * message ) {
+        DeclarationNode * newnode = new DeclarationNode;
+        newnode->assert.condition = condition;
+        newnode->assert.message = message;
+        return newnode;
+}
+
 
 void appendError( string & dst, const string & src ) {
@@ -1052 +1069 @@
         } // if
 
+        if ( assert.condition ) {
+                return new StaticAssertDecl( maybeBuild< Expression >( assert.condition ), strict_dynamic_cast< ConstantExpr * >( maybeClone( assert.message ) ) );
+        }
+
         // SUE's cannot have function specifiers, either
         //