public CorrectVerifyValState()
{
var firstBlock = new CorrectVerifyValBlock();
Blocks = new() { firstBlock };
WorkingBlock = firstBlock;
}
public void Ops(CorrectVerifyValOps ops)
{
if (ops == CorrectVerifyValOps.AndOp)
{
return;
}
if (ops == CorrectVerifyValOps.AndOpWithNewScope)
{
var block = new CorrectVerifyValBlock();
WorkingBlock.AddBlock(block, true);
WorkingBlock = block;
}
if (ops == CorrectVerifyValOps.OrOp)
{
var block = new CorrectVerifyValBlock();
Blocks.Add(block);
WorkingBlock = block;
}
if (ops == CorrectVerifyValOps.OrOpWithSameScope)
{
var block = new CorrectVerifyValBlock();
WorkingBlock.AddBlock(block, false);
WorkingBlock = block;
}
}
public void JumpToRoot()
{
#if NETFRAMEWORK
WorkingBlock = Blocks[Blocks.Count - 1];
#else
WorkingBlock = Blocks[^ 1];
