How to match netSymbol or variableSymbol to portSymbol under Explicit-Ansi-Port Declaration?

[yanggeorge]

When using non-ansi port declartion or implict ansi port declaration, every portSymbol would have a internalSymbol which points to the netSymbol or variableSymbol. But when using explicit ansi port declaration, I find that the elaborated portSymbol's internalSymbol is nullptr.

module top(input .a(a1), input .b(b1)); 
  wire a1;
  reg b1;
endmodule

Here is the json.

{
  "design": {
    "name": "$root",
    "kind": "Root",
    "addr": 2199024587008,
    "members": [
      {
        "name": "",
        "kind": "CompilationUnit",
        "addr": 2199025903000
      },
      {
        "name": "top",
        "kind": "Instance",
        "addr": 2199025904456,
        "body": {
          "name": "top",
          "kind": "InstanceBody",
          "addr": 2199025903392,
          "members": [
            {
              "name": "a",
              "kind": "Port",
              "addr": 2199025904600,
              "type": "logic",
              "direction": "In"
            },
            {
              "name": "b",
              "kind": "Port",
              "addr": 2199025904776,
              "type": "reg",
              "direction": "In"
            },
            {
              "name": "a1",
              "kind": "Net",
              "addr": 2199025903680,
              "type": "logic",
              "netType": {
                "name": "wire",
                "kind": "NetType",
                "addr": 2199024584320,
                "type": "logic"
              }
            },
            {
              "name": "b1",
              "kind": "Variable",
              "addr": 2199025904080,
              "type": "reg",
              "lifetime": "Static"
            }
          ],
          "definition": "2199025681280 top"
        },
        "connections": [
        ]
      }
    ]
  },
  "definitions": [
    {
      "name": "top",
      "kind": "Definition",
      "addr": 2199025681280,
      "defaultNetType": "2199024584320 wire",
      "definitionKind": "Module",
      "defaultLifetime": "Static",
      "unconnectedDrive": "None"
    }
  ]
}%  

So how to match the portSymbol to variableSymbol to portSymbol ? Is there an API to handle this situation?

[MikePopoloski]

Yes, PortSymbol has a getInternalExpr function that will give you that expression. It looks like it's not included in the AST JSON dump right now.