本文整理汇总了C#中Expr.ComputeFreeVariables方法的典型用法代码示例。如果您正苦于以下问题:C# Expr.ComputeFreeVariables方法的具体用法?C# Expr.ComputeFreeVariables怎么用?C# Expr.ComputeFreeVariables使用的例子?那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Expr
的用法示例。
在下文中一共展示了Expr.ComputeFreeVariables方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C#代码示例。
示例1: ComputeBinderFreeVariables
public static void ComputeBinderFreeVariables(List<TypeVariable> typeParameters, List<Variable> dummies, Expr body, QKeyValue attributes, Set freeVars) {
Contract.Requires(dummies != null);
Contract.Requires(body != null);
foreach (var v in dummies) {
Contract.Assert(v != null);
Contract.Assert(!freeVars[v]);
}
body.ComputeFreeVariables(freeVars);
for (var a = attributes; a != null; a = a.Next) {
foreach (var o in a.Params) {
var e = o as Expr;
if (e != null) {
e.ComputeFreeVariables(freeVars);
}
}
}
foreach (var v in dummies) {
freeVars.AddRange(v.TypedIdent.Type.FreeVariables);
}
freeVars.RemoveRange(dummies);
freeVars.RemoveRange(typeParameters);
}