big one
authorMalcolm.Wallace@cs.york.ac.uk
local dateFri, 07 Oct 2005 11:23:45
dateFri, 07 Oct 2005 10:23:45
hash20051007102345-6871e-cf826fdb0ef3237ccfe9a2fd6836c80e0174c942
big one

Lots of overlapping things here.
* class Read is no longer a superclass of Parse
* add more parameterised InfoKind types to various Network types
- global info (mainly for checking against node info) on Network
- edge info on Edge
* GUI options to show/edit the new info
- removed boxes around GUI labels, and moved labels closer to their blobs.
- info on Edges now shown
* class InfoKind becomes multi-parameter, linking two info types
(e.g. node with global, edge with global)
* new multi-parameter class Analysis, whose member method essentially
takes a whole network and returns a new one.

FPTC is now a specific instance of the general GUI + class Analysis.
* data FaultModel records global info: failure types of interest.
* the original FPTC analysis from the previous tool has been plumbed in.
21 file(s) changed:
Makefile +38 -3
src/Analysis.hs [added]
src/ContextMenu.hs +10 -5
src/DisplayOptions.hs +8 -3
src/Document.hs +15 -14
src/FPTC/Analysis.hs [added]
src/FPTC/Expressions.hs +70 -9
src/FPTC/FaultSpec.hs +1 -1
src/FPTC/PointTrace.hs [added]
src/GUIEvents.hs +14 -11
src/InfoKind.hs +11 -24
src/Main.hs +8 -3
src/Network.hs +67 -50
src/NetworkControl.hs +69 -43
src/NetworkFile.hs +55 -30
src/NetworkUI.hs +53 -29
src/NetworkView.hs +33 -23
src/Node.hs +3 -3
src/Parse.hs +15 -14
src/State.hs +25 -19
src/StateUtil.hs +2 -2