public IInterpetedOperation <IInterpetedAnyType> IfTrueOperation(IIfOperation co)
{
if (backing.TryGetValue(co, out var res))
{
return(res);
}
else
{
var op = new InterpetedIfTrueOperation();
backing.Add(co, op);
op.Init(
co.Left.Convert(this).Cast <IInterpetedOperation <IBoxedBool> >(),
co.Right.Convert(this).Cast <IInterpetedOperation <IInterpedEmpty> >());
return(op);
}
}
public IInterpetedOperation IfTrueOperation(IIfOperation co)
{
if (backing.TryGetValue(co, out var res))
{
return(res);
}
else
{
var op = new InterpetedIfTrueOperation();
backing.Add(co, op);
op.Init(
co.Left.Convert(this),
co.Right.Convert(this));
return(op);
}
}
public IReadOnlyList <IMemberDefinition> IfTrueOperation(IIfOperation co)
{
return(Walk(co.Operands));
}
public Nothing IfTrueOperation(IIfOperation co)
{
Push(co).Walk(co.Operands);
return(new Nothing());
}
public Nothing IfTrueOperation(IIfOperation co)
{
Walk(co.Operands, co);
return(new Nothing());
}
