Provides runtime-checks for method arguments and return values.