// Copyright 2015 The Vanadium Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

package concurrency

import (
	"sync"
)

// context stores the abstract state of resources used in an execution
// of a concurrent program.
type context struct {
	// mutexes stores the abstract state of mutexes.
	mutexes map[*sync.Mutex]*fakeMutex
	// rwMutexes stores the abstract state of read-write mutexes.
	rwMutexes map[*sync.RWMutex]*fakeRWMutex
}

// newContext if the context factory.
func newContext() *context {
	return &context{
		mutexes:   make(map[*sync.Mutex]*fakeMutex),
		rwMutexes: make(map[*sync.RWMutex]*fakeRWMutex),
	}
}