Voorbeeld testcase met MiniJava voor Lazy evaluation van een And()

false.mjv

/**
Produceert output
0
*/

class Rogier {
	public static void main(String[] args) {
		if( false && (new AA()).bool() ) {
			System.out.println(4);
		} else {
			System.out.println(0);
		}
	}
}

class AA {
	public boolean bool() {
		System.out.println(405934);
		return true;
	}
}

true.mjv

/**
Produceert output
405934
4
*/

class Rogier {
	public static void main(String[] args) {
		if( true && (new AA()).bool() ) {
			System.out.println(4);
		} else {
			System.out.println(0);
		}
	}
}

class AA {
	public boolean bool() {
		System.out.println(405934);
		return true;
	}
}