public CodeExpression VisitTest(TestExp t)
{
var cond = t.Condition.Accept(this);
var cons = t.Consequent.Accept(this);
var alt = t.Alternative.Accept(this);
return(new CodeConditionExpression(cond, cons, alt));
}
public DataType VisitTest(TestExp i)
{
DataType type1, type2;
i.Condition.Accept(this);
if (i.Consequent != null)
{
type1 = i.Consequent.Accept(this);
}
else
{
type1 = DataType.Cont;
}
if (i.Alternative != null)
{
type2 = i.Alternative.Accept(this);
}
else
{
type2 = DataType.Cont;
}
return(UnionType.Union(type1, type2));
}
public void VisitTest(TestExp tuple)
{
throw new NotImplementedException();
}
public void VisitTest(TestExp tuple)
{
throw new NotImplementedException();
}
