Get Method Specification Form

Method Declaration public: It is accessible in all classes in your application. protected: It is accessible within the class in which it is defined and in its subclass/es. private: It is accessible only within the class in which it is defined. default: It is declared/defined without using any modifier.

Method specifications describe the behavior of a method in terms of its preconditions and postconditions. Note that method specifications may only refer to specification properties, method arguments, and global variables (also known as public static properties), never to the concrete properties of the implementation.

Loosely worded, a specification is a description with declarations, where as the implementation is how it actually gets executed. Some language's encapsulate this terminology somewhat like C separating Header declarations from the implementation code.

The specification (which is not in code, but in words) describes what the method should be doing. The method signature is only the part the compiler needs.

As with method specifications, the purpose of a class specification is to document the intended behavior of the class (what its methods should do) rather than its implementation (how they are implemented).

Method specifications describe the behavior of a method in terms of its preconditions and postconditions. Note that method specifications may only refer to specification properties, method arguments, and global variables (also known as public static properties), never to the concrete properties of the implementation.