Advertisement
Guest User

Untitled

a guest
Oct 20th, 2017
115
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.24 KB | None | 0 0
  1. def contract_post_parent=(check_depth, return_value, foo)
  2. self.contract_ensures_parent=(return_value, foo)
  3. if check_depth == false || Contracts::CLASS_DATA.call_depth == 1
  4. self.test_invariant_contracts("parent=(foo)")
  5. end
  6. end
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement