public override Type VisitBasicType(BasicType node) { if (node.IsBool) { if (constructVal) { ReturnResult(IsaBoogieTerm.BoolVal(arg)); } else { ReturnResult(IsaBoogieTerm.ConvertValToBool(arg)); } } else if (node.IsInt) { if (constructVal) { ReturnResult(IsaBoogieTerm.IntVal(arg)); } else { ReturnResult(IsaBoogieTerm.ConvertValToInt(arg)); } } else { throw new NotImplementedException(); } return(node); }
public override Type VisitBasicType(BasicType node) { if (node.IsBool) { ReturnResult(v => IsaBoogieTerm.BoolVal(v)); } else if (node.IsInt) { ReturnResult(v => IsaBoogieTerm.IntVal(v)); } else { throw new NotImplementedException(); } return(node); }