Package: GenOperationStateVisitorException

GenOperationStateVisitorException

Coverage

1: package de.fhdw.wtf.generator.java.visitor;
2:
3: import de.fhdw.wtf.generator.java.generatorModel.GenFullParsedOperationState;
4: import de.fhdw.wtf.generator.java.generatorModel.GenSimpleOperationState;
5:
6: /**
7: * This visitor handles all GenOperationState-types. Maybe throws an exception.
8: *
9: * @param <Y>
10: * The type of exception that can be thrown by handle-methods.
11: */
12: public interface GenOperationStateVisitorException<Y extends java.lang.Exception> {
13:         
14:         /**
15:          * Handle method for objects of GenSimpleOperationState-type.
16:          *
17:          * @param s
18:          * GenSimpleOperationState to handle.
19:          * @throws Y
20:          * The exception that is thrown while handling.
21:          */
22:         void handle(GenSimpleOperationState s) throws Y;
23:         
24:         /**
25:          * Handle method for objects of GenFullParsedOperationState-type.
26:          *
27:          * @param s
28:          * GenFullParsedOperationState to handle.
29:          * @throws Y
30:          * The exception that is thrown while handling.
31:          */
32:         void handle(GenFullParsedOperationState s) throws Y;
33:         
34: }