01: /**
02: * <copyright>
03: * </copyright>
04: *
05: * $Id$
06: */package newprocess.validation;
07:
08: import newprocess.Expression;
09:
10: /**
11: * A sample validator interface for {@link newprocess.Event}.
12: * This doesn't really do anything, and it's not a real EMF artifact.
13: * It was generated by the org.eclipse.emf.examples.generator.validator plug-in to illustrate how EMF's code generator can be extended.
14: * This can be disabled with -vmargs -Dorg.eclipse.emf.examples.generator.validator=false.
15: */
16: public interface EventValidator {
17: boolean validate();
18:
19: boolean validateHasPostcondition(Expression value);
20:
21: boolean validateReentrant(boolean value);
22: }
|