Method String

cfa/pre_loop.go:60–69

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

()

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

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