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