internal Clause(ProcedureClauseList container, CodeSentence codeSentence)
{
if (container == null)
{
throw new ArgumentNullException("container");
}
if (codeSentence == null)
{
throw new ArgumentNullException("codeSentence");
}
Container = container;
_codeSentence = codeSentence;
}
internal Procedure(ProgramProcedureList container, Functor functor)
{
if (container == null)
{
throw new ArgumentNullException("container");
}
if (functor == null)
{
throw new ArgumentNullException("functor");
}
Container = container;
Functor = functor;
Clauses = new ProcedureClauseList(this, new ObservableCollection <Clause>());
}