| EMMA Coverage Report (generated Sun Feb 05 10:43:15 CET 2012) |
|---|
| [all classes][de.uka.ipd.sdq.spa.basicsolver.visitor.printhandler] |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| NPrintAlternativeHandler.java | 0% (0/1) | 0% (0/2) | 0% (0/7) | 0% (0/3) |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| class NPrintAlternativeHandler | 0% (0/1) | 0% (0/2) | 0% (0/7) | 0% (0/3) |
| NPrintAlternativeHandler (): void | 0% (0/1) | 0% (0/3) | 0% (0/1) | |
| handle (Alternative): void | 0% (0/1) | 0% (0/4) | 0% (0/2) |
| 1 | /** |
| 2 | * |
| 3 | */ |
| 4 | package de.uka.ipd.sdq.spa.basicsolver.visitor.printhandler; |
| 5 | |
| 6 | import de.uka.ipd.sdq.spa.basicsolver.visitor.AlternativeHandler; |
| 7 | import de.uka.ipd.sdq.spa.expression.Alternative; |
| 8 | |
| 9 | |
| 10 | /** |
| 11 | * @author Ihssane |
| 12 | * |
| 13 | */ |
| 14 | public class NPrintAlternativeHandler implements AlternativeHandler{ |
| 15 | |
| 16 | public void handle(Alternative alt) { |
| 17 | // alt.setResult("(" + alt.getLeftRegExp().getResult()+ alt |
| 18 | // .getRightRegExp().getResult() |
| 19 | // + ")"); |
| 20 | System.out.print("|"); |
| 21 | } |
| 22 | |
| 23 | } |
| [all classes][de.uka.ipd.sdq.spa.basicsolver.visitor.printhandler] |
| EMMA 2.0.9414 (unsupported private build) (C) Vladimir Roubtsov |