Method createMethodSet

types/methods.go:61–68

Precondition: !isInterface(T). EXCLUSIVE_LOCKS_REQUIRED(prog.methodsMu)

(T Type)

// Precondition: !isInterface(T).
// EXCLUSIVE_LOCKS_REQUIRED(prog.methodsMu)
func (prog *Program) createMethodSet(T Type) *ssaMethodSet {
	mset, ok := prog.methodSets.At(T).(*ssaMethodSet)
	if !ok {
		mset = &ssaMethodSet{mapping: make(map[string]*Function)}
		prog.methodSets.Set(T, mset)
	}
	return mset
}

// EXCLUSIVE_LOCKS_REQUIRED(prog.methodsMu)
func (prog *Program) addMethod(mset *ssaMethodSet, sel *Selection) *Function {