Changeset 367725d for src/Validate/ReplacePseudoFunc.cpp

Timestamp:

Jan 22, 2024, 3:23:12 AM (5 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

544deb9

Parents:

ac939461

Message:

Update enum.tex

File:

• src/Validate/ReplacePseudoFunc.cpp (modified) (2 diffs)

src/Validate/ReplacePseudoFunc.cpp

@@ -17 +17 @@
 ast::Expr const * ReplacePseudoFuncCore::postvisit( ast::ApplicationExpr const * expr) {
     auto fname = ast::getFunctionName( expr );
-    if ( fname == "posE" ) {
+    if ( fname == "posE" || fname == "valueE" || fname == "labelE" ) {
         // std::cerr << "Found App in ReplacePseudoFunc" << std::endl;
         if ( expr->args.size() != 1 ) {
@@ -35 +35 @@
         for ( size_t i = 0; i < base->members.size(); i++ ) {
             if ( base->members[i]->name == referredName ) {
-                return ast::ConstantExpr::from_int( expr->location, i );
+                if ( fname == "posE ")
+                    return ast::ConstantExpr::from_int( expr->location, i );
+                else if (fname == "labelE" )
+                    return ast::ConstantExpr::from_string( expr->location, referredName );
+                else
+                    return new ast::TypeExpr( expr->location, argType );
             }
         }