Troubleshoot and Debug

Question 1

Contract.requires(…)

Answer 1

specifices a precondition that must be met before the method is allowed to be called

Question 2

Contract.Ensures( …, “…”)

Answer 2

specifies a post-condition that is evaluated after a method is invoked.

Question 3

Debug.Assert(…)

Answer 3

will display a message box if condition is not met but does not escape the method

Question 4

Trace.Assert(…, “…”

Answer 4

writes to the trace log if condition is not met)