Exemplo n.º 1
0
        public static PSMElement GetSignificantAncestorOrSelf(PSMElement element, NodeMarker additionalSignificantNodeMarker)
        {
            PSMTreeIterator helper = new PSMTreeIterator(element);

            while (!((helper.CurrentNode is PSMClass && ((PSMClass)helper.CurrentNode).HasElementLabel) ||
                     helper.CurrentNode is PSMContentContainer ||
                     (additionalSignificantNodeMarker != null && additionalSignificantNodeMarker(helper.CurrentNode))) &&
                   helper.CanGoToParent())
            {
                helper.GoToParent();
            }

            if ((helper.CurrentNode is PSMClass && ((PSMClass)helper.CurrentNode).HasElementLabel) ||
                helper.CurrentNode is PSMContentContainer ||
                (additionalSignificantNodeMarker != null && additionalSignificantNodeMarker(helper.CurrentNode)))
            {
                return(helper.CurrentNode);
            }
            //else if (!helper.CanGoToParent())
            //    return helper.CurrentNode;
            else
            {
                return(null);
            }
        }
Exemplo n.º 2
0
            /// <summary>
            /// Setups all basic blocks (fills in the required information).
            /// </summary>
            /// <param name="nodeMarker">The current node marker.</param>
            /// <param name="current">The current block.</param>
            /// <param name="instructionIdx">The starting instruction index.</param>
            private void SetupBasicBlocks(
                NodeMarker nodeMarker,
                Block current,
                int instructionIdx)
            {
                if (!current.BasicBlock.Mark(nodeMarker))
                {
                    return;
                }

                var disassembledMethod = CodeGenerator.DisassembledMethod;

                current.InstructionOffset = instructionIdx;
                var stackCounter = current.StackCounter;

                for (int e = disassembledMethod.Count; instructionIdx < e; ++instructionIdx)
                {
                    var instruction = disassembledMethod[instructionIdx];
                    // Handle implicit cases: jumps to blocks without a jump instruction
                    if (blockMapping.TryGetValue(instruction.Offset, out Block other) &&
                        current != other)
                    {
                        // Wire current and new block
                        AddSuccessor(current, other);
                        other.StackCounter = stackCounter;
                        SetupBasicBlocks(nodeMarker, other, instructionIdx);
                        break;
                    }
                    else
                    {
                        // Update the current block
                        stackCounter             += (instruction.PushCount - instruction.PopCount);
                        current.InstructionCount += 1;

                        if (instruction.IsTerminator)
                        {
                            if (instruction.Argument is ILInstructionBranchTargets targets)
                            {
                                // Create appropriate temp targets
                                var targetOffsets = targets.GetTargetOffsets();
                                if (targetOffsets.Length > 1)
                                {
                                    foreach (var target in targetOffsets)
                                    {
                                        SetupBasicBlock(nodeMarker, current, stackCounter, target);
                                    }
                                }
                                else
                                {
                                    SetupBasicBlock(nodeMarker, current, stackCounter, targetOffsets[0]);
                                }
                            }
                            break;
                        }
                    }
                }
            }
Exemplo n.º 3
0
            private void SetupBasicBlock(
                NodeMarker nodeMarker,
                Block current,
                int stackCounter,
                int target)
            {
                var targetBlock = blockMapping[target];

                AddSuccessor(current, targetBlock);
                targetBlock.StackCounter = stackCounter;
                var targetIdx = offsetMapping[target];

                SetupBasicBlocks(nodeMarker, targetBlock, targetIdx);
            }
Exemplo n.º 4
0
 /// <summary>
 /// Returns true iff the reference marker is less or equal to the
 /// current marker value.
 /// </summary>
 /// <param name="referenceMarker">The reference marker.</param>
 /// <returns>
 /// True, iff the reference marker is less or equal to
 /// the current marker value.
 /// </returns>
 public bool IsMarked(NodeMarker referenceMarker) => Resolve().IsMarked(referenceMarker);
Exemplo n.º 5
0
 /// <summary>
 /// Marks the current node with the new marker value.
 /// </summary>
 /// <param name="newMarker">The new value to apply.</param>
 /// <returns>
 /// True, iff the old marker was not equal to the new marker
 /// (the node was not marked with the new marker value).
 /// </returns>
 public bool Mark(NodeMarker newMarker) => Resolve().Mark(newMarker);
Exemplo n.º 6
0
 public PSMElement GetSignificantAncestorOrSelf(NodeMarker additionalSignificantNodeMarker)
 {
     return(GetSignificantAncestorOrSelf(CurrentNode, additionalSignificantNodeMarker));
 }
Exemplo n.º 7
0
        public static IEnumerable <PSMElement> SignificantAncestors(PSMElement element, NodeMarker nodeMarker)
        {
            List <PSMElement> result = new List <PSMElement>();
            PSMTreeIterator   it     = new PSMTreeIterator(element);

            while (it.CanGoToParent())
            {
                it.GoToParent();
                PSMElement significantAncestorOrSelf = it.GetSignificantAncestorOrSelf(nodeMarker);
                result.AddIfNotContained(significantAncestorOrSelf);
            }

            return(result);
        }