infer_clone

Commit Graph

Author	SHA1	Message	Date
Gabriela Cunha Sampaio	e04f0a0ffa	[pulse] Modeling checkNotNull function Summary: Creating model for the checkNotNull function from the Preconditions class in Pulse (Java). Whenever `checkNotNull(x)` is called, Pulse will assume that `x!= null`. Reviewed By: ezgicicek Differential Revision: D26075176 fbshipit-source-id: 40dcd395b	4 years ago

Author

SHA1

Message

Date

Gabriela Cunha Sampaio

e04f0a0ffa

[pulse] Modeling checkNotNull function

Summary: Creating model for the checkNotNull function from the Preconditions class in Pulse (Java). Whenever `checkNotNull(x)` is called, Pulse will assume that `x!= null`.

Reviewed By: ezgicicek

Differential Revision: D26075176

fbshipit-source-id: 40dcd395b

1 Commits (8ed44df7f6a830af0ddc591eb3010d540b667ea0)