# HG changeset patch
# User paulb@localhost.localdomain
# Date 1185580590 -7200
# Node ID 35cc350e666adf7968eacd077f9479b98c9653db
# Parent  ca350f002a7446fa9044ed6d72d1f82bea7c9883
Added a note about instance type fixing/filtering.


diff -r ca350f002a74 -r 35cc350e666a docs/architecture.txt
--- a/docs/architecture.txt	Fri Jul 27 20:54:33 2007 +0200
+++ b/docs/architecture.txt	Sat Jul 28 01:56:30 2007 +0200
@@ -75,3 +75,13 @@
 subsequently be useful.
 
 [1] http://java.sun.com/docs/white/delegates.html
+
+Instance Filtering
+==================
+
+Depending on the mechanism employed to identify distinct kinds of instances,
+the annotation process may produce a number of instance types which are
+effectively equivalent. A filtering process may be run in order to identify
+equivalent instance types and to reduce all instance types to a genuinely
+distinct set, modifying also annotations referring to such instance types so
+that they subsequently refer only to those in the resulting set.