tests/org.eclipse.epsilon.eol.engine.test.acceptance/src/org/eclipse/epsilon/eol/engine/test/acceptance/AnnotatedOperationTests.eol

@test
operation addShouldWorkWhenPreconditionIsSatisfied() {
	assertEquals(3, 2.add(1));
}

@test
operation addShouldFailWhenPreconditionIsUnsatisfied() {
	assertError(2.add(-1));
}

$pre i > 0 
operation Integer add(i : Integer) : Integer { 
	return self + i; 
}