infer_clone

Commit Graph

Author	SHA1	Message	Date
Cristiano Calcagno	1666d7f353	Model Map.put() alongside Map.containsKey(). Summary: public Added special modelling for m.put(k,v) as assigning value v to map m at key k. The modelling is analogous to the one for containsKey: the variable used to represent m.get(k) is generated, and assigned the value v. Reviewed By: jberdine Differential Revision: D2743844 fb-gh-sync-id: 56d3581	10 years ago
Cristiano Calcagno	3e199467f4	Complete copyright messages.	11 years ago
Open Source Synchronization	b8982270f2	initial synchronization	11 years ago

Author

SHA1

Message

Date

Cristiano Calcagno

1666d7f353

Model Map.put() alongside Map.containsKey().

Summary:
public

Added special modelling for m.put(k,v) as assigning value v to map m at key k.
The modelling is analogous to the one for containsKey: the variable used to represent m.get(k) is generated, and assigned the value v.

Reviewed By: jberdine

Differential Revision: D2743844

fb-gh-sync-id: 56d3581

Cristiano Calcagno

3e199467f4

Complete copyright messages.

Open Source Synchronization

b8982270f2

initial synchronization

3 Commits (339cf56eb960f4df1c58e16b95f1f6656d87a2f5)