Consider the method signature in the following code snippet: public static double getTriangleArea (double heightLen, double baseLen) Which of the following would be a valid postcondition for this method? A) Postcondition: getTriangleArea() = 0 B) Postcondition: getTriangleArea() 0 C) Postcondition: getTriangleArea()

Question

Consider the method signature in the following code snippet: public static double getTriangleArea (double heightLen, double baseLen)
Which of the following would be a valid postcondition for this method?
A) Postcondition: getTriangleArea() >= 0
B) Postcondition: getTriangleArea() > 0
C) Postcondition: getTriangleArea() <= baseLen
D) There are no valid postcoditions that could be specified for this method

Quizplus · Accepted Answer

The postcondition states that the area of the triangle is greater than 0, which is a valid condition for a triangle.

Consider the Method Signature in the Following Code Snippet: Public