public void CheckDelete(int surr1, int surr2, int surr3, Sym12TernaryTableUpdater target)
{
if (source.Contains(surr1, surr2) && !target.Contains12(surr1, surr2))
{
throw ForeignKeyViolation(surr1, surr2, surr3);
}
}
public void CheckDelete(int arg1, int arg2, int arg3, Sym12TernaryTableUpdater updater)
{
if (source.Contains(arg3) && !target.Contains3(arg3))
{
throw ForeignKeyViolation(arg1, arg2, arg3);
}
}
public ForeignKeyCheckerUST12(UnaryTableUpdater source, Sym12TernaryTableUpdater target)
{
Debug.Assert(source.store == target.store12);
this.source = source;
this.target = target;
}
public ForeignKeyCheckerST3U(Sym12TernaryTableUpdater source, UnaryTableUpdater target)
{
Debug.Assert(source.store3 == target.store);
this.source = source;
this.target = target;
}
