Being a newbie Kotlin coder, I wonder, if there are some good practices or even language constructs for declaring pre-conditions in functions. In Java I have been using Guava's Preconditions check...

I have a db upgrade script to change some datatypes on a few columns. I want to do a preCondition check, and call ALTER TABLE only when it is a DECIMAL datatype, but I will want it to be changed to...

I'm learning how to program but one thing I can't quite get my head around is preconditions and postconditions. Is an if statement before calling a function considered a precondition, or is there ...

I have a db upgrade script to remove the non-null constraint on a column. I want to do a precondition check, and call ALTER TABLE only when it is non-null. The master.xml script is a progressive ...

Why is ReSharper judging me for this code? private Control GetCorrespondingInputControl(SupportedType supportedType, object settingValue) { this.ValidateCorrespondingValueType(supportedType, se...

Using a std::shared_ptr expresses shared ownership and optionality (with its possibility to be null). I find myself in situations where I want to express shared ownership only in my code, and no o...

Usually when writing a public method I do some error checking e.g. public SomeResult processSomething (int i, List<String> items) { if( i < 0 ) { throw new IllegalArgumentException(); ...

Is it possible to use Precondition in YAML i didn't find any sources except this page http://www.liquibase.org/documentation/yaml_format.html But I am looking for the equivalent of : <changeSe...

I have currently an issue with liquibase preconditions. I would like to insert something only if a precondition request does'nt answer 0 or null... I explain : <changeSet id="myId" author="myN...

How do you write tests for Swift methods that have preconditions? Here is an example: func doublePositive(n:Int) -> Int { precondition(n >= 0) return 2*n } Using XCTAssertThrowsError doe...

I hava a project on github that is analysed by codacy . The analysis suggest to "Avoid using null" for the following line of code: def doSomethingWithPath(path:Path) = { require(path != null, "Pa...

It's very simple question, I often use com.google.common.base.Preconditions in my projects to validate arguments and parameters, for example: Preconditions.checkNotNull(parameter, "message"); Prec...

I'm pretty new to Guava (let's be honest, I'm not "pretty new", I'm a complete rookie on that subject) and so I decided to go through some documentation and got quite amazed while reading thi...

For example when using Preconditions.checkArgument, is the error message supposed to reflect the passing case or the failing case of the check in question? import static com.google.common.base.Pre...

Do you know some nice alternative to Apache Commons Validate or Guava Preconditions that would throw IllegalArgumentException instead of NullPointerException when checking if object is not null (ex...

I don't like the java assert keyword, because it is not always enabled in production code. I am looking for a good "ProductionAssert" class to use, that always runs the noted assertions. One candi...

Actual precondition of a subtype is created by combining ( using logical OR ) preconditions of a base type and preconditions of a subtype, which makes the resulting precondition less restrictive A...

When writing preconditions for different functions with similar parameters, I want to group assertions or exceptions into a static method, rather than writing them out explicitly. For example, inst...

This is for a java class I'm taking. The book mentions preconditions and postconditions but doesn't give any examples how to code them. It goes on to talk about asserts, I have that down, but the a...

I'm a fan of the "fail early" strategy and want to check that methods params have correct values for example. In Java I'd use something like Guava: checkArgument(count > 0, "must be positive: %...

Off the top of my head, I can think of 4 ways to check for null arguments: Debug.Assert(context != null); Contract.Assert(context != null); Contract.Requires(context != null); if (context == null)...

When doing null checks in Java code, and you throw IllegalArgumentExceptions for null values, what kind of message template do you use? We tend to use something like this public User getUser(Stri...

We've been profiling our code recently and we've come across a few annoying hotspots. They're in the form assert(a == b, a + " is not equal to " + b) Because some of these asserts can be in code...

I understand that in the DbC method, preconditions and postconditions are attached to a function. What I'm wondering is if that applies to member functions as well. For instance, assuming I use i...