jadex.bridge.service.annotation

Annotation Type PostConditions

@Target(value=METHOD)
@Retention(value=RUNTIME)
public @interface PostConditions

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
PostCondition[]	value Supply a number of postconditions.

Element Detail

value

public abstract PostCondition[] value

Supply a number of postconditions.