search

emacs-elsa / Elsa

Emacs Lisp Static Analyzer and gradual type system.
GNU General Public License v3.0
640 stars 26 forks source link

Add variables from emacs.c #147

Open Fuco1 opened 5 years ago

Fuco1 commented 5 years ago 
   2528:  DEFVAR_LISP ("command-line-args", Vcommand_line_args,
   2532:  DEFVAR_LISP ("system-type", Vsystem_type,
   2547:  DEFVAR_LISP ("system-configuration", Vsystem_configuration,
   2551:  DEFVAR_LISP ("system-configuration-options", Vsystem_configuration_options,
   2555:  DEFVAR_LISP ("system-configuration-features", Vsystem_configuration_features,
   2564:  DEFVAR_BOOL ("noninteractive", noninteractive1,
   2567:  DEFVAR_LISP ("kill-emacs-hook", Vkill_emacs_hook,
   2578:  DEFVAR_LISP ("path-separator", Vpath_separator,
   2586:  DEFVAR_LISP ("invocation-name", Vinvocation_name,
   2590:  DEFVAR_LISP ("invocation-directory", Vinvocation_directory,
   2594:  DEFVAR_LISP ("installation-directory", Vinstallation_directory,
   2603:  DEFVAR_LISP ("system-messages-locale", Vsystem_messages_locale,
   2607:  DEFVAR_LISP ("previous-system-messages-locale",
   2612:  DEFVAR_LISP ("system-time-locale", Vsystem_time_locale,
   2616:  DEFVAR_LISP ("previous-system-time-locale", Vprevious_system_time_locale,
   2620:  DEFVAR_LISP ("before-init-time", Vbefore_init_time,
   2624:  DEFVAR_LISP ("after-init-time", Vafter_init_time,
   2629:  DEFVAR_BOOL ("inhibit-x-resources", inhibit_x_resources,
   2633:  DEFVAR_LISP ("emacs-copyright", Vemacs_copyright,
   2637:  DEFVAR_LISP ("emacs-version", Vemacs_version,
   2646:  DEFVAR_LISP ("report-emacs-bug-address", Vreport_emacs_bug_address,
   2650:  DEFVAR_LISP ("dynamic-library-alist", Vdynamic_library_alist,