JetBrains\PhpStorm

The attribute specifies possible array keys and their types.

The attribute specifies the expected values of an entity: return values for functions and arguments' values for methods.

Mark a property (or all class properties in the case of a class) as immutable.

Specifies that the parameter is a string that represents source code in a different language.

You can use this facility to mark the function as halting the execution flow.

The attribute specifies possible object field names and their types.

The attribute marks the function that has no impact on the program state or passed parameters used after the function execution.