Method toVariableId

ecgo/builder/builder.go:154–168

toVariable will return (and allocate if neccesary) an Expression from given value if input is already an Expression, does nothing else, attempts to convert input to a big.Int (see utils.FromInterface) and returns a toVariable Expression

(input interface{})

// if input is already an Expression, does nothing
// else, attempts to convert input to a big.Int (see utils.FromInterface) and returns a toVariable Expression
func (builder *builder) toVariableId(input interface{}) int {

	switch t := input.(type) {
	case gnarkexpr.Expr:
		return t.WireID()
	case constraint.Element:
		return builder.ceToId(t)
	case *constraint.Element:
		return builder.ceToId(*t)
	default:
		// try to make it into a constant
		c := builder.field.FromInterface(t)
		return builder.ceToId(c)
	}
}

func (builder *builder) toVariable(input interface{}) frontend.Variable {
	return newVariable(builder.toVariableId(input))