SafeEvenNumberChecker.java
No OneTemporary
Actions

Authored By

Unknown

Size

424 B

Referenced Files

None

Subscribers

None

SafeEvenNumberChecker.java
View Options

	package lsp;

	public class SafeEvenNumberChecker extends EvenNumberChecker {
	// unsafe - violates LSP
	// stronger preconditions: expects non-negative number
	// weaker post-condition: does not guarantee that no runtime exception is thrown
	@Override
	public boolean isEvenNumber(int i) {
	if (i < 0)
	throw new IllegalArgumentException(
	"Negative numbers are not allowed here");
	else
	return i % 2 == 0;
	}
	}

File Metadata

Mime Type: text/plain
Expires: Sun, Nov 15, 4:53 AM (16 h, 28 m)
Storage Engine: blob
Storage Format: Raw Data
Storage Handle: 152077
Default Alt Text: SafeEvenNumberChecker.java (424 B)

Event Timeline