Příklad: Budu mět nějakou funkci/metodu, která bude validovat, zda dotyčný smí alkohol. Takže prohlásíme, že příchozí objekt musí být schopen se prokázat věkem.

intf.java

class Age
{
	private int val;
	Age(int val) 
	{
		assertInt(0, 150);
		this.val; 
	}
	int getVal() 
	{ 
		return this.val; 
	}
}

interface Ageable
{
	Age getAge();
}

interface HumanAgeable extends Ageable
{
}

class Foo
{
	static assertAlcohol(HumanAgeable entry) 
	{
		if (entry.getAge().getVal() < 18) {
			throw new AssertException();
		}
	}
}