Last change
on this file since 417 was
227,
checked in by sherbold, 13 years ago
|
- extracted class de.ugoe.cs.eventbench.efg.EFGModelGenerator from de.ugoe.cs.eventbench.efg.commands.CMDefgToMM
+ added command efgToDFA
- extracted class de.ugoe.cs.eventbench.efg.GUITARTestCaseParser from de.ugoe.cs.eventbench.efg.commands.CMDefgTestCasesToSequences
|
-
Property svn:mime-type set to
text/plain
|
File size:
1.4 KB
|
Line | |
---|
1 | package de.ugoe.cs.eventbench.efg.commands;
|
---|
2 |
|
---|
3 | import java.security.InvalidParameterException;
|
---|
4 | import java.util.List;
|
---|
5 |
|
---|
6 | import de.ugoe.cs.eventbench.data.GlobalDataContainer;
|
---|
7 | import de.ugoe.cs.eventbench.efg.EFGModelGenerator;
|
---|
8 | import de.ugoe.cs.eventbench.models.DeterministicFiniteAutomaton;
|
---|
9 | import de.ugoe.cs.util.console.Command;
|
---|
10 | import de.ugoe.cs.util.console.Console;
|
---|
11 |
|
---|
12 | /**
|
---|
13 | * <p>
|
---|
14 | * Command to that loads an EFG and creates Deterministic Finite Automaton (DFA)
|
---|
15 | * with the same structure.
|
---|
16 | * </p>
|
---|
17 | *
|
---|
18 | * @author Steffen Herbold
|
---|
19 | * @version 1.0
|
---|
20 | */
|
---|
21 | public class CMDefgToDFA implements Command {
|
---|
22 |
|
---|
23 | /*
|
---|
24 | * (non-Javadoc)
|
---|
25 | *
|
---|
26 | * @see de.ugoe.cs.util.console.Command#run(java.util.List)
|
---|
27 | */
|
---|
28 | @Override
|
---|
29 | public void run(List<Object> parameters) {
|
---|
30 | String filename;
|
---|
31 | String modelname;
|
---|
32 | try {
|
---|
33 | filename = (String) parameters.get(0);
|
---|
34 | modelname = (String) parameters.get(1);
|
---|
35 | } catch (Exception e) {
|
---|
36 | throw new InvalidParameterException();
|
---|
37 | }
|
---|
38 |
|
---|
39 | EFGModelGenerator modelGenerator = new EFGModelGenerator();
|
---|
40 | DeterministicFiniteAutomaton model = modelGenerator
|
---|
41 | .efgToDeterministicFiniteAutomaton(filename);
|
---|
42 | GlobalDataContainer.getInstance().addData(modelname, model);
|
---|
43 | }
|
---|
44 |
|
---|
45 | /*
|
---|
46 | * (non-Javadoc)
|
---|
47 | *
|
---|
48 | * @see de.ugoe.cs.util.console.Command#help()
|
---|
49 | */
|
---|
50 | @Override
|
---|
51 | public void help() {
|
---|
52 | Console.println("Usage: efgToDFA <filename> <modelname>");
|
---|
53 | }
|
---|
54 |
|
---|
55 | }
|
---|
Note: See
TracBrowser
for help on using the repository browser.