Wed Jan 9 16:14:12 WET 2008 Miguel Vilaca <jmvilaca@di.uminho.pt>
* Bug Fixes
Fix:
- document history bug when adding a new rule
- editing bug that allowed a port to connect to itself
- INCheck bug over previous entry (port connected to itself)
{
hunk ./src/CommonUI.hs 557
- PD.superficialUpdateDocument [_$_]
+ PD.updateDocument ("add rule <<" ++ newName ++ ">>")
hunk ./src/CommonUI.hs 845
- do warningDialog theFrame "No symbols" "There are no symbols other than interface ones.\nAdd symbol first."
+ do warningDialog theFrame "No symbols" "There are no symbols other than interface one.\nAdd symbol first."
hunk ./src/INChecks.hs 256
- g nnr port = isNothing $ edgeConnectedOnPort network nnr port
+ g nnr port = maybe True (== (nnr,port)) $ otherExtremeOfEdgeConnectedOnPort network nnr port
hunk ./src/Network.hs 365
- (sameFromAndTo (Edge { edgeFrom = fromNodeNr
+ (\edge ->
+ sameFromAndTo (Edge { edgeFrom = fromNodeNr
hunk ./src/Network.hs 371
- , edgeInfo = undefined }))
+ , edgeInfo = undefined }) edge
+ || sameFromAndTo (Edge { edgeFrom = toNodeNr
+ , portFrom = toPort
+ , edgeTo = fromNodeNr
+ , portTo = fromPort
+ , edgeVia = undefined
+ , edgeInfo = undefined }) edge)
hunk ./src/Network.hs 483
+ || (fromNodeNr, fromPort) == (toNodeNr, toPort) -- prohibit edges from a port to itself
hunk ./src/Ports.hs 4
+ , PortName
hunk ./src/Ports.hs 27
-We separate the input and output ports of the node, respectively in the first and second pair's components.
-
hunk ./src/Ports.hs 30
-type Port = (String,DoublePoint) [_$_]
+type PortName = String
+type Port = (PortName, DoublePoint)
hunk ./src/SpecialSymbols.hs 9
- [ interfaceSymbol
- , copySymbol
+ interfaceSymbol : managementSymbols
+
+managementSymbols =
+ [ copySymbol
}