Method String

cfa/if_return.go:60–68

String returns a string representation of prim in DOT format. Example output: digraph if_return { cond -> body cond -> exit }

()

//       cond -> exit
//    }
func (prim IfReturn) String() string {
	cond, body, exit := label(prim.Cond), label(prim.Body), label(prim.Exit)
	const format = `
digraph if_return {
	%v -> %v
	%v -> %v
}`
	return fmt.Sprintf(format[1:], cond, body, cond, exit)
}

// FindIfReturn returns the first occurrence of a 1-way conditional with a body
// return statement in g, and a boolean indicating if such a primitive was