C# Online Compiler | .NET Fiddle

using System;
using System.Collections.Generic;

/*****************************************

#ReturnVsContinue

    -interface-

    _return @(|return|)
    _continue @(|continue|)

    -machine-

    $Child => $Parent
        |return| log("saw return in $Child") ^
        |continue|  log("saw continue in $Child") :>

    $Parent
        |return| log("saw return in $Parent") ^
        |continue| log("saw continue in $Parent") :>

    -actions-

    log [msg:string]
##


******************************************/

// ------------------------------------- // 

public class FrameEvent {
	public FrameEvent(string message, Dictionary<string,object> parameters) {
		this._message = message;
		this._parameters = parameters;
	}
	public string _message;
	public Dictionary<string,Object> _parameters;
	public Object _return;
}


// ------------------------------------- // 

// emitted from framec_v0.3.44
public partial class ReturnVsContinue {
    public ReturnVsContinue() {
        
        _state_ = _sChild_;
    }
    
    //===================== Interface Block ===================//
    
    public void _return() {
        FrameEvent e = new FrameEvent("return",null);
        _state_(e);
    }
    
    public void _continue() {
        FrameEvent e = new FrameEvent("continue",null);
        _state_(e);
    }
    
    
    //===================== Machine Block ===================//
    
    private void _sChild_(FrameEvent e) {
        if (e._message.Equals("return")) {
            log_do("saw return in $Child");
            return;
        }
        else if (e._message.Equals("continue")) {
            log_do("saw continue in $Child");
            
        }
        _sParent_(e);
        
    }
    
    private void _sParent_(FrameEvent e) {
        if (e._message.Equals("return")) {
            log_do("saw return in $Parent");
            return;
        }
        else if (e._message.Equals("continue")) {
            log_do("saw continue in $Parent");
            
        }
    }
    
    //===================== Actions Block ===================//
    
    protected virtual void log_do(string msg) { throw new NotImplementedException(); }
    
    
    //=============== Machinery and Mechanisms ==============//
    
    private delegate void FrameState(FrameEvent e);
    private FrameState _state_;
    
}

/********************

public partial class ReturnVsContinueController : ReturnVsContinue {

    protected override void log_do(string msg) {}
}

********************/



public partial class ReturnVsContinueController : ReturnVsContinue {

    protected override void log_do(string msg) {
		Console.WriteLine(msg);
	}
}


public class Program
{
	public static void Main()
	{
		var controller = new ReturnVsContinueController();
		controller._return();
		controller._continue();	

	}
}

    protected virtual void log_do(string msg) { throw new NotImplementedException(); }
 
using System;
using System.Collections.Generic;
​
/*****************************************
​
#ReturnVsContinue
​
    -interface-
​
    _return @(|return|)
    _continue @(|continue|)
​
    -machine-
​
    $Child => $Parent
        |return| log("saw return in $Child") ^
        |continue|  log("saw continue in $Child") :>
​
    $Parent
        |return| log("saw return in $Parent") ^
        |continue| log("saw continue in $Parent") :>
​
    -actions-
​

Cached Result

Environment version: .NET 9.0.0 (9.0.0)
Newtonsoft.Json version: Newtonsoft.Json, Version=12.0.0.0, Culture=neutral, PublicKeyToken=30ad4fe6b2a6aeed

Re-serialized UserPtr:
[
  {
    "name": "my_var1",
    "ptr": 1
  },
  {
    "name": "my_var2",
    "ptr": 2
  },
  {
    "name": "my_var3",
    "ptr": 2
  },
  {
    "name": "my_var4",
    "ptr": 4
  }
]
{
  "my_var1": 1,
  "my_var2": 2,
  "my_var3": 2,
  "my_var4": 4
}

Serialized UserPtrComplex:
[
  {
    "name": "my_var1",
    "ptr": 1
  },
  {
    "name": "my_var2",
    "ptr": "2"
  },
  {
    "name": "my_var3",
    "ptr": 3
  },
  {
    "name": "my_var4",
    "ptr": {
      "my_var1": 1,
      "my_var2": 2,
      "my_var3": 3,
      "my_var4": 4
    }
  }
]
Re-serialized UserPtrComplex:
[
  {
    "name": "my_var1",
    "ptr": 1
  },
  {
    "name": "my_var2",
    "ptr": "2"
  },
  {
    "name": "my_var3",
    "ptr": 3
  },
  {
    "name": "my_var4",
    "ptr": {
      "my_var1": 1,
      "my_var2": 2,
      "my_var3": 3,
      "my_var4": 4
    }
  }
]