Tue Feb 7 12:25:33 WET 2006 Miguel Vilaca <jmvilaca@di.uminho.pt>
* Bug fix
Copying the lhs interface to the corresponding rhs in cases that this rhs already had something, leads to errors. Now it only copies the interface to an empty rhs. When this rhs is not empty the user is asked whether or not the rhs should be subscribed.
{
hunk ./src/INRule.hs 30
+import IntMap (empty)[_^M_][_$_]
hunk ./src/INRule.hs 117
- rule { ruleRHS = setNodeAssocs lhs' $ ruleRHS rule [_^M_][_$_]
+ rule { ruleRHS = setNodeAssocs lhs' . emptyNodesAndEdges $ ruleRHS rule [_^M_][_$_]
hunk ./src/INRule.hs 121
+ emptyNodesAndEdges net = net { networkNodes = IntMap.empty[_^M_][_$_]
+ , networkEdges = IntMap.empty }[_^M_][_$_]
hunk ./src/NetworkUI.hs 384
- hsplit sp 5 350 ( -- to remove. just for debug [_$_]
+ hsplit sp 5 500 ( -- to remove. just for debug [_$_]
hunk ./src/NetworkUI.hs 389
- (hsplit sp3 5 150
+ (hsplit sp3 5 250
hunk ./src/NetworkUI.hs 873
- copy <- if not everything || isEmpty rhs
+ copy <- if isEmpty rhs
hunk ./src/NetworkUI.hs 883
- else PD.superficialUpdateDocument [_$_]
+ else PD.updateDocument ("copy of LHS interface to RHS on rule " ++ rule) [_$_]
}