Method Prim

cfa/if_else.go:42–55

Prim returns a representation of the high-level control flow primitive, as a mapping from control flow primitive node names to control flow graph node names. Example mapping: "cond": "A" "body_true": "B" "body_false": "C" "exit": "D"

()

//    "body_false": "C"
//    "exit":       "D"
func (prim IfElse) Prim() *primitive.Primitive {
	cond, bodyTrue, bodyFalse, exit := label(prim.Cond), label(prim.BodyTrue), label(prim.BodyFalse), label(prim.Exit)
	return &primitive.Primitive{
		Prim: "if_else",
		Nodes: map[string]string{
			"cond":       cond,
			"body_true":  bodyTrue,
			"body_false": bodyFalse,
			"exit":       exit,
		},
		Entry: cond,
		Exit:  exit,
	}
}

// String returns a string representation of prim in DOT format.
//