Features PhpStorm WebStorm

Validating JavaScript code with JSDoc types annotations

Today’s post is about a nice feature set (many of you have been using for a long time) and its recent improvements. I’m talking about static type checking when type of parameter or variable on the left side of assignment or function return type is explicitly specified in JSDoc annotation. For 5.0 release we’ve supported Google Closure types syntax, so that quite complex situations can be handled more accurately and conveniently.

To start with let’s consider the most basic situation:

Every constructor function “becomes” a type and its name can be referenced inside JSDoc tags.
Array typesArray of elements of some type could also be specified with [] (for example, Point[]).

Return type is checked inside function and when its call result is used somewhere.
Union type

Type checking may even be helpful without explicit types annotations.

And this is my favorite case. You can specify callback’s ‘this’ and parameter types, and they will be known in passed anonymous function. Note that completion processor uses nearly the same info as type checking, so if type is specified in JSDoc annotation, properties of that type will be shown in completion list.

You can always change the type mismatch highlighting style in Settings | Inspections | JavaScript | General | Type mismatch problem to get it more emphasized or disable it at all.

Develop with pleasure!
– JetBrains Web IDE Team

Comments below can no longer be edited.

10 Responses to Validating JavaScript code with JSDoc types annotations

  1. Avatar

    Dylan Greene says:

    October 29, 2012

    I love this feature but it sometimes “guesses” the wrong arguments which leads to unnecessary confusion.

    Is there a way to override the jsdoc it guesses with the right one?

    An example, using Node/Express:

    Server.get('/signin', signIn);

    It thinks .get has no parameters because in Node’s net.js it doesn’t have any (it probably uses arguments to get the parameters).

    • Avatar

      Konstantin Ulitin says:

      October 31, 2012

      You can explicitly declare type with

      /** @type {function(string, *)} */

      • Avatar

        Dylan Greene says:

        October 31, 2012

        Never thought of such as simple workaround!

        Thank you!

      • Avatar

        Georgiy Ivankin says:

        January 17, 2013

        A great hack! However, it overrides the whole documentation. Is it possible to override part of it, e.g. change type definition but leave the description of function intact?

        • Avatar

          Konstantin Ulitin says:

          January 23, 2013

          Unfortunately, it is not possible now.

  2. Avatar

    A M-A says:

    January 14, 2013

    So I’m having trouble documenting AMD style modules. As soon as I have a local variable named the same as my API type it won’t enforce the JSDoc documentation.

    require([‘MyClass’], function (MyClass) {
    var myClass = new MyClass(); //MyClass is documented elsewhere but not enforced

    Any clues on how to do this?

  3. Avatar

    ksafonov says:

    January 23, 2013

    This is not supported at the moment. May I ask you to submit a ticket at http://youtrack.jetbrains.com/issues/WEB? This way others will see it and you will be notified on our progress at the first hand. Thanks!

  4. Avatar

    Oliver Mannion says:

    February 19, 2013

    Love this feature. I have a question though. How do I document a parameter with multiple types. The following:

    @param {function(Ajax.Response | Document)} okCallback


    Unresolved variable or type ‘Response | Document)’

    • Avatar

      Konstantin Ulitin says:

      February 20, 2013

      You should add parens wrapping these types, i.e.
      @param {function((Ajax.Response | Document))} okCallback

  5. Avatar

    ST says:

    March 6, 2013

    What about validating CoffeeScript code the same way? Do you have plans to implement it?

Discover more