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 |