Method Exec

interpreter/interpretable.go:637–666

Exec implements the InterpretableV2 interface method.

(frame *ExecutionFrame)

// Exec implements the InterpretableV2 interface method.
func (bin *evalBinary) Exec(frame *ExecutionFrame) ref.Val {
	lVal := bin.lhs.Exec(frame)
	strict := !bin.nonStrict
	if strict && types.IsError(lVal) {
		return lVal
	}
	rVal := bin.rhs.Exec(frame)
	if strict && types.IsError(rVal) {
		return rVal
	}
	if strict {
		var unk *types.Unknown
		unk, _ = types.MaybeMergeUnknowns(lVal, unk)
		unk, _ = types.MaybeMergeUnknowns(rVal, unk)
		if unk != nil {
			return unk
		}
	}
	// If the implementation is bound and the argument value has the right traits required to
	// invoke it, then call the implementation.
	if bin.impl != nil && (bin.trait == 0 || (!strict && types.IsUnknownOrError(lVal)) || lVal.Type().HasTrait(bin.trait)) {
		return types.LabelErrNode(bin.id, bin.impl(lVal, rVal))
	}
	// Otherwise, if the argument is a ReceiverType attempt to invoke the receiver method on the
	// operand (arg0).
	if lVal.Type().HasTrait(traits.ReceiverType) {
		return types.LabelErrNode(bin.id, lVal.(traits.Receiver).Receive(bin.function, bin.overload, []ref.Val{rVal}))
	}
	return types.NewErrWithNodeID(bin.id, "no such overload: %s", bin.function)
}

// Eval implements the Interpretable interface method.
func (bin *evalBinary) Eval(ctx Activation) ref.Val {