• Home
• com.danidemi.jlubricant
• jlubricant-samples
• 0.0.15
• source code
• HoareSamples.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

com.danidemi.jlubricant.samples.HoareSamples Maven / Gradle / Ivy

package com.danidemi.jlubricant.samples;

import com.danidemi.jlubricant.utils.hoare.Preconditions;

public class HoareSamples {

	public static void main(String[] args) {
		
		createPerson("john", null);
		
	}

	private static void createPerson(String name, String surname) {
		Preconditions.paramNotNull(name);
		Preconditions.condition("should be longer", surname!=null && surname.length() >= 2);
	}
	
}