next up previous contents
Next: About this document ... Up: Developing Applications with ECLiPSe Previous: List Handling   Contents


Index

accumulator
Description | Do Loops
action
Description
AirPlanner
Application structure
alternative
Description
API
API
application interfaces
API
application structure
Application structure
arg/3
Terms and structures
argument checking
Argument checking
array
Vectors and arrays | Description | Arrays
atom/1
Terms and structures
atomic data types
Named structures
backbone_line
API
bagof
Comments
batch processing
Application structure
best and rest
Description
best practice
Intended audience | Reviewing
block comment
Comments
block/3
Control
braces
How to use DCGs
call pattern
Mode declaration
call/1
Control
cartesian
Description
change data
Internal data representation
CHIC-II
Related work
choice point
Comments
choicepoint
Unwanted choicepoints
clause
Predicates and clauses
close/1
I/O
combinatorial problems
Testing
combine
Description
combine_traffic/2
Example
comma separated files
Using printf
comment
Comments
comment directive
Documentation | Style rules | Comments | Predicate definition
comment, module
Comment directive
comment, predicate
Comment directive
compare/3
Terms and structures
compare_index_interface/3
Example
compound/1
Terms and structures
concat_string/2
I/O
conjunction
Control
constraint variables
Placeholder variables
constraints
API
convert_to_router_mib/3
Example
correctness
Correctness and Performance | Testing
coverage
Line Coverage | Profiling
create terms
Comments
create_contribution/5
Example
creep
Tracing
cut
Description | Comments | Style rules | Control
data base
Using printf
data flow graph
Data flow considerations
data format
Good and bad data
data structures
Internal data representation
data transformation
Data transformation structure
DCG
External data representation | How to use DCGs | I/O
dead code
Style rules
debugger
Debugger
definite clause grammar
External data representation | How to use DCGs
delete data
Internal data representation
destructive assignment
Internal data representation
difference
Description
dim
Vectors and arrays | Comments
dim/2
Arrays
directives section
Comment directive
disjunction
Style rules | Control
disjunction, formatting
Disjunctions
do loop
Description | Do Loops
do loop, formatting
Do loops
document
Documentation query
duplicate entries
Comments
eclipse_date
How to use DCGs
else
Failure
end of line
How to use DCGs
environment limit
Environment limits
error
If it doesn't Work
error message
Heeding warnings | Run-time errors
error, run time
Run-time errors
error_checking
Argument checking
EXDR
I/O | I/O
exists/1
I/O
EXIT
Unwanted choicepoints
exit_block/1
Control
export
Making predicates available
export directive
Modules
export struct
Named structures
external data
External data representation
fact
External data representation
facts
Description
failure
Understanding failure | Failure
failure loop
Style rules
file name
Style rules
fill matrix
Description
fill_rest_with_empty/2
Example
fill_with_hops/3
Example
filter
Description
find_interface/3
Multi-representation structures
findall
Description
findall/3
List Handling
fixed column format
Good and bad data
flow_prepare_data
Modules
flow_structures
Named structures
flush/1
I/O
for
Description | Do Loops
foreach
Description | Description | Do Loops
foreach, multiple
Comments
foreacharg
Description | Do Loops
foreacharg, nested
Description
formal parameter
Description
format
Using printf
format, fixed column
Good and bad data
FORTRAN
Good and bad data
fromto
Description | Do Loops
fullstop
Reading input data into
functor/3
Terms and structures
gather_hops/1
Example
ground
Mode declaration
ground terms
Creating Prolog data
group
Description
group term
Example
guard
Description
hash tables
Hash tables
hash_add/3
Hash Tables
hash_create/1
Hash Tables
hash_find/3
Hash Tables
HTML
Comment directive | Report generation
if then else
Failure | Style rules | Control
if then else, formatting
If-then-elses
implication
Control
indentation
General guidelines
initial value
Comments
inline
Description
inline comment
Comments
input arguments
Queries
insert_topology/2
Example
insert_topology_op/5
Example
instantiated
Mode declaration
integer/1
Terms and structures
interface_mib_add/3
Example
interface_type/3
Example
internal data
Internal data representation
invocation number
Jumping to a program
is/2
Arithmetic
iteration, array
Description
iteration, list
Description
iteration, term
Description
Java
Application structure | API
jump
Jumping to a program
key
Hash tables
large scale combinatorial optimization
Classical LSCO structure
leap
Tracing
length/2
List Handling
lib
Using packaged functionality
lib directive
Modules
library
Using packaged functionality
line comment
Comments
line coverage
Line Coverage
line profiling
Profiling
list
Lists | Description
list, construction
Description
local struct
Named structures
logging
Checking program points
lookup
Description | Description
loop
Description | Description
loop body, empty
Example
LSCO
Classical LSCO structure
main memory
Data transformation structure
matrix, fill
Description
member/2
Style rules
memberchk/2
Style rules | List Handling
memory
Environment limits
merge
Description
meta predicate
Comments
methodology
Related work
minimum
Description
missing answer
Missing answer
missing predicate
Heeding warnings
mode declaration
Mode declaration | Comments
mode directive
Predicate definition
mode_group/3
Example
module
Modules
module comment
Comment directive
module directive
Modules
module name
Modules and files
module qualification
General guidelines
multi representation
Multi-representation structures
name space
Making predicates available
name, module
Modules and files
name, predicate
Predicates
name, variable
Variables
named structure
Named structures | Style rules
naming scheme
Naming schemes
navigation
Report generation
NDI mapper
Application structure | Data transformation structure | How to use DCGs
negation
Control
nested structure
Nested structures vs. key
nl/1
I/O
no
Failure
non consecutive clauses
Comments
non terminal symbol
How to use DCGs
non_zero_measurements/2
Example
not/1
Control
number/1
Terms and structures
numeric constants
Style rules
of
Terms and structures
once/1
Control
open/3
Run-time errors | I/O
operator definition
Creating Prolog data
ordered pairs
Description
output arguments
Queries
output files
Creating output data files
Overflow
Environment limits
pairs, ordered
Description
param
Comments | Do Loops
parse tree
How to use DCGs
performance
Correctness and Performance
performance testing
Testing
phrase
How to use DCGs | How to use DCGs
phrase/3
I/O
placeholder variables
Placeholder variables
predicate
Predicates and clauses
predicate comment
Comment directive
predicate name
Predicates | Style rules
prepare_data/12
Making predicates available
print_depth
Checking program points
printf
Using printf
profiler
Line Coverage
profiling
Profiling
programming concept
Overview
Prolog term
External data representation
propagation rules
Missing answer
query
Queries
rapid prototyping
Related work
read data
Reading input data into
read/2
I/O
read_exdr/2
I/O
read_file
How to use DCGs
read_string/4
How to use DCGs | I/O
read_token
How to use DCGs
real/1
Terms and structures
recursion
Description
reference manual
Comment directive
regression testing
Testing
remove data
Internal data representation
report
Report generation
reviewing
Reviewing
RiskWise
Application structure | Multi-representation structures
RouterTrafficSample
How to use DCGs
run time error
Run-time errors
scanf
Simple tabular format
selected_customer/3
Example
selected_min_max/2
Example
set_flag
Checking program points
set_group_of_interfaces/2
Example
setof
Comments
single assignment
Internal data representation
singleton
Style rules
singleton variable
Variables | Heeding warnings | Comments
skip
Tracing
sort/2/4
List Handling
spreadsheet
Using printf
spy point
Tracing
start symbol
How to use DCGs
string/1
Terms and structures
struct
Named structures
struct/1
Terms and structures
structure
Lists
structure, named
Named structures
structure, nested
Nested structures vs. key
stubs
Stubs
subscript
Vectors and arrays
subscript/3
Arrays
sum
Description
symbol, non terminal
How to use DCGs
symbol, terminal
How to use DCGs
tab separated files
Using printf
tabular format
Simple tabular format
team composition
Related work
terminal symbol
How to use DCGs
test data
Early testing
testing
Early testing | Testing
To Invoc
Jumping to a program
tokenizer
How to use DCGs
top
Predicates
tracer
Debugger
transformation
Description
true
Example | Comments | Failure
true/0
Control
try_to_combine/3
Example
tuning
Early testing
type error
Run-time errors
type mismatch
Run-time errors
underscore
Variables
unwanted choicepoint
Unwanted choicepoints
use_module
Using packaged functionality | Named structures
use_module directive
Modules
user defined predicate
Failure
var/1
Terms and structures
variable name
Variables | Style rules
vector
Vectors and arrays | Description
vector addition
Comments
vector_add/3
Comments
warning messages
Heeding warnings
with
Named structures | Terms and structures
write
Simple tabular format
write/2
I/O
write_exdr/2
I/O
writeln/2
I/O
writeq
Creating Prolog data
writeq/2
I/O
wrong answer
Wrong answer


Warwick Harvey
2004-08-07