SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


The Prolog Editor

The Editor supports many features that are useful for arbitrary Prolog files (syntax highlighting and checking, context help, code completion) and some that are particularly useful for conditional transformations (arity and variable binding warnings).

Syntax and Singleton Variable Highlighting

Syntax highlighting in the Prolog editor

In this image you can see the different colors in the Prolog editor. See the preferences page if you want to change these colors.

Singleton variables are highlighted by red color while typing. See for instance the variable Y in the single/1 predicate above.

Warning and Errors Annotations

All SWI-Prolog errors and warnings are displayed as required by the Eclipse user interface guidelines:

  • Syntax errors are highlighted by a red underline and corresponding markers in the sidebars of the editor.
  • Warnings are highlighted by a yellow underline and corresponding markers in the sidebars of the editor.

All errors and warnings are displayed also in the Eclipse Package Explorer and Eclipse Problems View (see Screenshot):

Warnings in the PDT

Outline

Missing documentation & screenshot ←- FIXME

Quick Outline

Missing documentation & screenshot ←- FIXME

Code Completion

The Prolog Editor supports code completion for built-in predicates and all user-defined predicates loaded into the Prolog system. Code completion in the Prolog editor uses the default Eclipse key binding (Ctrl+Space). Code completion is module aware, i.e. if you type a module name only the module selected will be used for completion.

Auto completion in the Prolog Editor

Find Primary Definition

Missing documentation & screenshot ←- FIXME

Find Definitions / Declarations

Missing documentation & screenshot ←- FIXME

Find References

Missing documentation & screenshot ←- FIXME

Editor Context Menu

Missing documentation & screenshot ←- FIXME

research/pdt/docs_archive/v0.x/editor.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2022