Jass - Index

Index

 
A
Ant    <1> <2> <3> <4> <5> <6> <7> <8> <9> <10> <11>
Assertion    <1> <2> <3> <4> <5>
  -at runtime    <1> <2>
  -comment    <1> <2>
  -grammar    <1> <2>
  -label    <1> <2> <3> <4> <5>
  -overview of types    <1> <2>
  -thrown exceptions    <1> <2>
Assertion comment    <1> <2>
  -example    <1> <2>
 
B
Basic Process   
  -ANY    <1> <2> <3> <4>
  -STOP    <1> <2>
  -TERM    <1> <2>
.b    <1> <2>
.begin    <1> <2>
Bugs    <1> <2>
 
C
CALL-Operator    <1> <2>
Changeonly    <1> <2>
  -equals()    <1> <2> <3>
  -example    <1> <2> <3> <4> <5>
Changes    <1> <2>
Check   
  -example    <1> <2> <3>
Check statement    <1> <2>
  -example    <1> <2>
  -grammar    <1> <2>
Choice    <1> <2>
  -example    <1> <2>
Class invariant    <1> <2>
  -example    <1> <2> <3> <4> <5>
  -grammar    <1> <2>
  -Trace-Assertion    <1> <2>
Compilation mode   
  -contract    <1> <2> <3>
  -interference    <1> <2> <3>
  -nothing    <1> <2> <3>
  -warning    <1> <2> <3>
Conditional method invocations   
  -data exchange    <1> <2>
Contract   
  -Violation    <1> <2> <3>
Correctness formulae    <1> <2> <3>
 
D
Data exchange    <1> <2>
  -examples    <1> <2>
Design By Contract   
  -aims    <1> <2> <3>
  -applying the concept to Java    <1> <2> <3>
  -comparison to Trace-Assertions    <1> <2>
 
E
Eclipse    <1> <2> <3> <4> <5> <6> <7> <8>
.e    <1> <2>
Eiffel    <1> <2> <3>
.end    <1> <2>
Example   
  -buffer    <1> <2>
  -Running Jass    <1> <2> <3>
 
F
Forall/Exists   
  -example    <1> <2> <3> <4>
  -grammar    <1> <2>
 
I
Invariant   
  -example    <1> <2> <3> <4> <5>
  -grammar    <1> <2> <3> <4> <5> <6> <7>
 
J
Jass   
  -commandline options    <1> <2> <3>
  -commandline syntax    <1> <2>
  -compilation modes    <1> <2> <3>
  -compile controls    <1> <2>
  -compile options    <1> <2>
  -general options    <1> <2>
  -handbook    <1> <2>
.jass    <1> <2> <3>
Jass   
  -JavaDoc example    <1> <2>
  -name pattern    <1> <2> <3>
JavaDoc   
  -Jass    <1> <2> <3> <4>
Java   
  -executing in Trace-Assertions    <1> <2>
JML    <1> <2>
 
K
Keyword   
  -CALL    <1> <2>
  -changeonly    <1> <2> <3> <4> <5>
  -check    <1> <2> <3> <4> <5>
  -ensure    <1> <2> <3> <4> <5>
  -EXECUTE    <1> <2>
  -invariant (class)    <1> <2> <3> <4> <5>
  -invariant (loop)    <1> <2> <3>
  -Old    <1> <2> <3> <4> <5>
  -require    <1> <2> <3> <4> <5>
  -rescue    <1> <2> <3> <4> <5>
  -Result    <1> <2> <3> <4> <5>
  -retry    <1> <2> <3> <4> <5>
  -trace    <1> <2>
  -WHERE    <1> <2>
 
L
Loop   
  -example    <1> <2> <3>
  -invariant    <1> <2> <3>
Loops    <1> <2> <3> <4> <5>
Loop   
  -variant    <1> <2> <3>
 
O
Old   
  -example    <1> <2> <3> <4> <5>
  -java.lang.Cloneable    <1> <2> <3> <4> <5>
 
P
Parallelism   
  -example    <1> <2> <3> <4>
Postcondition   
  -example    <1> <2> <3> <4> <5>
  -grammar    <1> <2> <3> <4> <5> <6> <7>
Precondition   
  -example    <1> <2> <3> <4> <5> <6> <7> <8> <9> <10>
  -grammar    <1> <2> <3> <4> <5> <6> <7>
Process   
  -basic    <1> <2>
  -choice    <1> <2>
  -example    <1> <2>
  -parallelism    <1> <2> <3> <4>
  -variable    <1> <2>
Process variables   
  -example    <1> <2> <3> <4>
 
R
Refinement   
  -constraints for inheritance    <1> <2>
  -example    <1> <2> <3> <4>
  -in Eiffel    <1> <2>
  -in Jass    <1> <2>
  -jassGetSuperState    <1> <2>
  -jass.runtime.RefinementException    <1> <2>
  -jass.runtime.Refinement    <1> <2>
Rescue   
  -example    <1> <2> <3>
Rescue block   
  -example    <1> <2> <3> <4> <5>
  -grammar    <1> <2> <3> <4> <5> <6> <7> <8> <9> <10>
Result    <1> <2>
Retry   
  -example    <1> <2> <3>
 
S
Specification    <1> <2> <3>
 
T
Trace-Alphabet   
  -examples    <1> <2>
  -using wildcards    <1> <2>
Trace-Assertion   
  -alphabet    <1> <2>
  -basic process    <1> <2>
  -branches    <1> <2>
  -choice    <1> <2>
  -conjunction of expressions    <1> <2>
  -data exchange    <1> <2>
  -Java code    <1> <2>
  -parallelism    <1> <2> <3> <4>
  -variable    <1> <2>
Trace    <1> <2>
 
V
Variant   
  -example    <1> <2> <3> <4> <5>
  -grammar    <1> <2> <3> <4> <5> <6> <7>
The Jass Page - printer friendly - last update 12/06/05
online version at http://csd.informatik.uni-oldenburg.de/~jass