Exemple #1
0
 public static ReadOnlyCollection<Ref> UsagesOfParam(this Node node, Param param)
 {
     return node.MkArray().UsagesOfParam(param);
 }
Exemple #2
0
 public static ReadOnlyCollection<Ref> UsagesOfParam(this Block block, Param param)
 {
     return ((Node)block).UsagesOfParam(param);
 }
Exemple #3
0
 public static ReadOnlyCollection<Ref> UsagesOfParam(this IEnumerable<Node> nodes, Param param)
 {
     return nodes.SelectMany(node => node.CSharpEvaluationOrder().OfType<Ref>().Where(@ref => @ref.Sym == param)).ToReadOnly();
 }