public RoutedClauseEventArgs(Clause clause)
        {
            if (clause == null)
            {
                throw new ArgumentNullException("clause");
            }

            Clause = clause;
        }
        public RoutedClauseEventArgs(Clause clause, RoutedEvent routedEvent, object source)
            : base(routedEvent, source)
        {
            if (clause == null)
            {
                throw new ArgumentNullException("clause");
            }

            Clause = clause;
        }
        public RoutedClauseEventArgs(Clause clause, RoutedEvent routedEvent)
            : base(routedEvent)
        {
            if (clause == null)
            {
                throw new ArgumentNullException("clause");
            }

            m_clause = clause;
        }
Пример #4
0
        internal PrologStackFrame(PrologStackFrameList container, int stackIndex)
        {
            if (container == null)
            {
                throw new ArgumentNullException("container");
            }
            if (stackIndex < 0)
            {
                throw new ArgumentOutOfRangeException("stackIndex");
            }

            Container = container;
            StackIndex = stackIndex;

            _instructionStream = null;
            _variables = null;
            _clause = null;
        }
 void OnExplorerClauseChanged(Clause clause)
 {
     InstructionStream.Clear();
     if (clause == null) return;
     foreach (var item in clause.PrologInstructionStream) InstructionStream.Add(item);
 }