@mholubowski please edit or post in a comment a list of the features you want to be implemented first in descending order so I knew what to do first. The list should supposedly include, but not be limited to:

• Completion based on explicitly created associative arrays returned from a function (done - #4)

• Support type info from psalm phpdoc annotations (done - #2)

• Make completion popup appear automatically when you type quotes. (done - klesun/deep-assoc-lang-server@a3c1912)

• Preserve type info in various language constructs: foreach, $arr[$i]['key'], etc... (estimate: 4 days)

  • (partial) klesun/deep-assoc-lang-server@7639f39 - key access expression
  • klesun/deep-assoc-lang-server@d6b8f19 - foreach

• Support psalm return type (done - klesun/deep-assoc-lang-server@14f058c)

• Global files with @psalm-import-type support - PSALM-like type definitions to reuse in doc comments (done)

  • (partial) klesun/deep-assoc-lang-server@ccc0690 - basic support, no resolution of type aliases inside the type imported from other file yet
  • klesun/deep-assoc-lang-server@403285d support for type aliases in imported types

• Try to integrate with PSALM language server (cancelled as not needed: completion will not depend on runtime, and for error analysis you should use Psalm (PHP Static Analysis Linting Machine) extension)

• Try to research how to hide global completions out of the box without manually disabling them in PHP > Basic Completion. Seems to be possible (done in c4b1f5d)

• Infer type of key assigned to a var like $arr['someKey'] = ... (done in klesun/deep-assoc-lang-server@39fd144)

• Suppport ternary, elvis and null coalesce operators

• Infer types from built-in functions like array_keys, array_shift, array_column, etc...

• GoTo key definition (estimate: 1 day)

• Type inference in anonymous functions, like in array_map, array_filter, etc... (estimate: 2 days)

• Function argument key completion (estimate: 1 day)

  • (partial) klesun/deep-assoc-lang-server@faa550e - only first level

• Type completion in psalm docs: int, string, array, classes, aliases, etc...

• GoTo classes in doc type expressions

• Support types from @var phpdoc

• Add intelisense for @psalm-import-type: completion, GoTo, highlight wrong type names

• Specify function return value as type in phpdoc

Not sure following is needed/prioritized before stuff above is done:

• Continuous keys resolution and optimization: suggest keys one by one as soon as they are resolved, without waiting for whole structure to be resolved (estimate: 3 days)

• Key value type preview in completion

• Private function usage-based argument completion

• Object field/method completion based on deep-assoc resolution (relevant in anonymous functions mostly)

• String value completion (for enum-like string values) (done - klesun/deep-assoc-lang-server@2fb11e9)

• Connected database based row var keys completion

• Built-in function argument/return keys completion (like stream_context_create(['http' => [...]]))

• Original deep-assoc = php doc format

Examples:

$segment = ['key1' => 123, 'key2' => 234];
$segment['']; // should suggest: key1, key2

function getPassenger() {
    return ['key3' => 567, 'key4' => 678];
}
$passenger = getPassenger();
$passenger['']; // should suggest: key3, key4

Dear @dogzy123, please implement a PsalmTypeExprParser.ts module that would provide a parse() function. parse() should take a single string argument in format:
(see: https://psalm.dev/docs/annotating_code/type_syntax/atomic_types/)

array{
    key1: string,
    key2: int,
    keyzhopa: \Some\Thing<\DateTime>,
    keypizda: array<array{
        keyololo1: float,
        keyololo2: float
    }>
}

and return an object of following structure:

{
    "kind": "TAssoc",
    "keys": {
        "key1": {"kind":"TClass","fqn":"string","generics":[]},
        "key2": {"kind":"TClass","fqn":"int","generics":[]},
        "keyzhopa": {
            "kind": "TClass",
            "fqn": "SomeThing",
            "generics": [{"kind":"TClass","fqn":"DateTime"}]
        },
        "keypizda": {
            "kind": "TClass",
            "fqn": "array",
            "generics": [
                {
                    "kind": "TAssoc",
                    "keys": {
                        "keyololo1": {"kind":"TClass","fqn":"float"},
                        "keyololo2": {"kind":"TClass","fqn":"float"}
                    }
                }
            ]
        }
    }
}

Preferable with typescript.

Please, see the java implementation of same parser here

If you grep for "provide_psalm" in the phpstorm plugin project, you'll find some more useful examples of the PSALM format

P.S. if possible, please cover few examples of input values with mochajs unit tests

Seems like you do not work with syntax tree directly in vscode - you work with a language server. Looking on how to use it from Intelliphense.

https://github.com/bmewburn/vscode-intelephense

The first indexing works fine, but on the second project opening I receive this error: deep-assoc index exc.

Debugging the extension, this is the info about the error:

[2022-04-03 12:49:56.977] [renderer1] [error] [Extension Host] Error: Request knownDocuments defines 1 params but recevied none.
    at handleResponse (/home/barbu/.vscode/extensions/klesun.deep-assoc-completion-vscode-0.9.0/node_modules/vscode-jsonrpc/lib/common/connection.js:477:48)
    at processMessageQueue (/home/barbu/.vscode/extensions/klesun.deep-assoc-completion-vscode-0.9.0/node_modules/vscode-jsonrpc/lib/common/connection.js:292:17)
    at Immediate.<anonymous> (/home/barbu/.vscode/extensions/klesun.deep-assoc-completion-vscode-0.9.0/node_modules/vscode-jsonrpc/lib/common/connection.js:276:13)
    at processImmediate (node:internal/timers:464:21)

It comes froom WorkspaceDiscovery.ts, line 223.. If I disable the knownDocumentsRequest call and timestamp to 0 and cachedUriSet to [], then the extension doesn't throw that error any more.

It seems as if Intelephense's knownDocuments method doesn't receive everything it wants.

Thank you!

Hello,
This extension works very well. But when the associative array is a property (static or not) of a class, the auto completion no longer works. Is there a solution?

After install. I wrote code like

$aa=['a'=>1];

$a = $aa['....

However i got nothing.

I tried to follow the "Steps to run", however what does 'hit F5 to run sandbox instance of vscode' mean? F5 is debug mode right?

Thank you for this extension! It would fill a great need in PHP when using VS Code.

I have an error on projects that have "tsconfig.json" in the root of the project:

.vscode/extensions/klesun.deep-assoc-completion-vscode-0.9.0/node_modules/deep-assoc-lang-server/src/server.ts:1
import { createConnection, ProposedFeatures, TextDocumentSyncKind, RequestType, } from 'vscode-languageserver';
^^^^^^

SyntaxError: Cannot use import statement outside a module
    at Object.compileFunction (node:vm:352:18)
    at wrapSafe (node:internal/modules/cjs/loader:1085:15)
    at Module._compile (node:internal/modules/cjs/loader:1119:27)
    at Module.m._compile (/home/barbu/.vscode/extensions/klesun.deep-assoc-completion-vscode-0.9.0/node_modules/ts-node/dist/index.js:791:29)
    at Module._extensions..js (node:internal/modules/cjs/loader:1216:10)
    at Object.require.extensions.<computed> [as .ts] (/home/barbu/.vscode/extensions/klesun.deep-assoc-completion-vscode-0.9.0/node_modules/ts-node/dist/index.js:793:16)
    at Module.load (node:internal/modules/cjs/loader:1035:32)
    at Module._load (node:internal/modules/cjs/loader:876:12)
    at Function.c._load (node:electron/js2c/asar_bundle:5:13331)
    at Module.require (node:internal/modules/cjs/loader:1059:19)
[Info  - 10:31:08 AM] Connection to server got closed. Server will restart.

The task at hand is to make it possible for a developer to write php code with static typing of associative arrays similar to typescript interfaces.

• Completion/GoTo
• Wrong keys error checks
• Ability to define global type aliases, like @psalm-type

I considered using hack, but that does not seem to be an option anymore in 2k20

First thing to do is to make basic completion from PSALM-ish phpdoc comment and type inference.

I just thought of one thing: what if we declare global types using .d.ts files and typescript syntax? Just a random idea, I did not think deep about problems like specifying php classes in this structure...

And here comes another idea: using files with hack syntax for global type defs! These would supposedly have syntax support from the hack plugins out of the box!

I'm trying to use this plugin in vscode but the runtime status said "Not yet activated" (see screenshot). I tried to use it using the example reported in the details but nothing appen when I press Ctrl + Space. I also disabled the php.suggest.basic.

What can I do for activating the plugin? Thanks!

Support Questionmarks to make keys optional like this:

/**
 * @param array{
 *   host:string,
 *   port?:string|int
 * } $config
 */