Development Tools

asm

Assemble and disassemble predicates

Predicate Database and Compiler

Built-ins for creation of handling of executable code

coverage

Tool for obtaining code coverage information

cpviz

Wrapper library, subsuming all of CP-Viz

Debugging

Built-ins and command related to debugging

document

Tools for generating documentation from ECLiPSe sources

Development Environment and Global Settings

Built-ins related to the development environment

fcompile

ECLiPSe III compiler - backward compatibility

fd_prop_test_util

Tools for testing global constraints

ic_prop_test_util

Tools for testing global constraints

instprofile

Instrumentation / sampling based statistics profiler

instrument

Generic tool for code instrumentation

lint

Heuristic program checker

lips

Measure the system's speed using the naive reverse benchmark

mode_analyser

Instrumentation based mode analyser

port_profiler

Port Counting Profiler

pretty_print

Pretty-printing of complex terms

pretty_printer

This library pretty-prints a file in different formats.

profile

Profiling package for ECLiPSe programs

remote_tools

Allow the Tk development tools to be used remotely

source_processor

Tools for processing ECLiPSe sources

spell

Predicate name spelling correction

test_util

Utilities for automated program tests

time_log

Module for logging and collating test times

toplevel

Interactive ECLiPSe toplevel interpreter

vc_support

Library to support implementation of visualisation clients

viewable

Module for the management of viewables: arrays for visualisation

vis_structures

Structure definition for visualization

visualization

Definition of the log format for constraint and variable visualizers

visualize_tree

Entry point for VIZ visualisation tools

xref

Cross-referencing tool