Method String

cfa/post_loop.go:54–62

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

()

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

// FindPostLoop returns the first occurrence of a post-test loop in g, and a
// boolean indicating if such a primitive was found.