当前位置: 首页>>代码示例>>C#>>正文


C# Trace.InsertStep方法代码示例

本文整理汇总了C#中Trace.InsertStep方法的典型用法代码示例。如果您正苦于以下问题:C# Trace.InsertStep方法的具体用法?C# Trace.InsertStep怎么用?C# Trace.InsertStep使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在Trace的用法示例。


在下文中一共展示了Trace.InsertStep方法的2个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C#代码示例。

示例1: GenerateTrace

        public Trace GenerateTrace()
        {
            Trace t = new Trace();

            for (TraversalInfo ti = this; ti.Predecessor != null; ti = ti.Predecessor)
            {
                if (ZingerConfiguration.CompactTraces && !ti.Predecessor.HasMultipleSuccessors)
                {
                    // Its obvious how we got here, don't waste space
                    // storing this trace step
                    continue;
                }
                ViaChoose vc = ti.Via as ViaChoose;
                ViaExecute ve = ti.Via as ViaExecute;

                if (vc != null)
                    t.InsertStep(new TraceStep(false, vc.ChoiceNumber));
                else if (ve != null)
                    t.InsertStep(new TraceStep(true, ve.ProcessExecuted));
                else
                    throw new NotImplementedException("Summaries not yet supported in traces");
            }

            return t;
        }
开发者ID:ZingModelChecker,项目名称:Zing,代码行数:25,代码来源:TraversalInfo.cs

示例2: GenerateNonCompactTrace

        /// <summary>
        /// Generate Noncompact trace for Error Reporting
        /// </summary>
        /// <returns></returns>
        public Trace GenerateNonCompactTrace()
        {
            Trace t = new Trace();

            for (TraversalInfo ti = this; ti.Predecessor != null; ti = ti.Predecessor)
            {
                ViaChoose vc = ti.Via as ViaChoose;
                ViaExecute ve = ti.Via as ViaExecute;

                if (vc != null)
                    t.InsertStep(new TraceStep(false, vc.ChoiceNumber));
                else if (ve != null)
                    t.InsertStep(new TraceStep(true, ve.ProcessExecuted));
                else
                    throw new NotImplementedException("Summaries not yet supported in traces");
            }

            return t;
        }
开发者ID:ZingModelChecker,项目名称:Zing,代码行数:23,代码来源:TraversalInfo.cs


注:本文中的Trace.InsertStep方法示例由纯净天空整理自Github/MSDocs等开源代码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。