internal PrologInstruction(PrologInstructionStream instructionStream, int index)
{
if (instructionStream == null)
{
throw new ArgumentNullException("instructionStream");
}
m_instructionStream = instructionStream;
m_index = index;
m_isCurrentLocation = false;
m_isBreakpoint = false;
}
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 OnStackFrameChanged(PrologStackFrame stackFrame)
{
Instructions = stackFrame != null ? stackFrame.InstructionStream : null;
}
internal void InvalidateInstructionStream()
{
m_wamInstructionStream = null;
if (m_prologInstructionStream != null)
{
m_prologInstructionStream = null;
RaisePropertyChanged(new PropertyChangedEventArgs("PrologInstructionStream"));
}
}
void OnStackFrameChanged(PrologStackFrame stackFrame)
{
Instructions = stackFrame != null ? stackFrame.InstructionStream : null;
}
