public virtual IAnalysisSet AddNodeValue(Node node, NodeValueKind kind, IAnalysisSet variable)
{
NodeValue next;
_nodeValues.TryGetValue(node, out next);
#if DEBUG
var tmp = next;
while (tmp != null)
{
Debug.Assert(tmp.Kind != kind);
tmp = tmp.Next;
}
#endif
_nodeValues[node] = new NodeValue(kind, variable, next);
return(variable);
}
public NodeValue(NodeValueKind kind, IAnalysisSet variable, NodeValue value)
{
Kind = kind;
Variable = variable;
Next = value;
}
public NodeValue(NodeValueKind kind, IAnalysisSet variable, NodeValue value) {
Kind = kind;
Variable = variable;
Next = value;
}
public virtual IAnalysisSet AddNodeValue(Node node, NodeValueKind kind, IAnalysisSet variable) {
NodeValue next;
_nodeValues.TryGetValue(node, out next);
#if DEBUG
var tmp = next;
while (tmp != null) {
Debug.Assert(tmp.Kind != kind);
tmp = tmp.Next;
}
#endif
_nodeValues[node] = new NodeValue(kind, variable, next);
return variable;
}
