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

User Tools

Site Tools

Prolog Analyses

This feature is still in Beta state. If you have any feedback, please let us know.

The PDT offers the possibility to integrate user-defined Prolog analyses and their results into the Eclipse UI. The view Prolog Analyses lists all available analyses and their results. For each result of an analysis a so called marker is created. These markers are visible in the editor and in the navigator, just like the markers created for Prolog warnings and errors.

The Prolog Analyses view Markers for results shown in the editor

The integration of a Prolog analysis is done by providing clauses for a few multifile predicates. The PDT Tutorial project contains a small example which demonstrates this integration.

There are two subpages which explain:

research/pdt/docs/prolog_analyses.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2024