Example #1
0
        private void InitNode(AST ast)
        {
            if (!NodeMapping.ContainsKey(ast))
            {
                PathConstraints.Add(new HashSet <int>());
                NodeMapping.Add(ast, PathConstraints.Count() - 1);
            }

            if (!ast.isRoot())
            {
                PathConstraints.Last().UnionWith(
                    ParentConstraints(ast)
                    );
            }
        }