source: trunk/autoquest-ui-core/src/main/java/de/ugoe/cs/autoquest/commands/usage/CMDgenerateFixedLengthSequences.java @ 922

Last change on this file since 922 was 922, checked in by sherbold, 12 years ago
  • renaming of packages from de.ugoe.cs.quest to de.ugoe.cs.autoquest
  • Property svn:mime-type set to text/plain
File size: 2.6 KB
Line 
1package de.ugoe.cs.autoquest.commands.usage;
2
3import java.util.Collection;
4import java.util.List;
5
6import de.ugoe.cs.autoquest.CommandHelpers;
7import de.ugoe.cs.autoquest.eventcore.Event;
8import de.ugoe.cs.autoquest.testgeneration.DrawFromAllSequencesGenerator;
9import de.ugoe.cs.autoquest.usageprofiles.IStochasticProcess;
10import de.ugoe.cs.util.console.Command;
11import de.ugoe.cs.util.console.Console;
12import de.ugoe.cs.util.console.GlobalDataContainer;
13
14/**
15 * <p>
16 * Command to generate all sequences of a given length.
17 * </p>
18 *
19 * @author Steffen Herbold
20 * @version 1.0
21 */
22public class CMDgenerateFixedLengthSequences implements Command {
23
24        /*
25         * (non-Javadoc)
26         *
27         * @see de.ugoe.cs.util.console.Command#run(java.util.List)
28         */
29        @Override
30        public void run(List<Object> parameters) {
31                String modelname;
32                String sequencesName;
33                int minLength;
34                int maxLength;
35                boolean all = true;
36                int numSequences = -1;
37                boolean validEnd = true;
38                try {
39                        modelname = (String) parameters.get(0);
40                        sequencesName = (String) parameters.get(1);
41                        minLength = Integer.parseInt((String) parameters.get(2));
42                        maxLength = Integer.parseInt((String) parameters.get(3));
43                        if (parameters.size() >= 5) {
44                                all = Boolean.parseBoolean((String) parameters.get(4));
45                        }
46                        if (parameters.size() >= 6) {
47                                numSequences = Integer.parseInt((String) parameters.get(5));
48                        }
49                        if (parameters.size() >= 7) {
50                                validEnd = Boolean.parseBoolean((String) parameters.get(6));
51                        }
52                } catch (Exception e) {
53                        throw new IllegalArgumentException();
54                }
55
56                IStochasticProcess model = null;
57                Object dataObject = GlobalDataContainer.getInstance()
58                                .getData(modelname);
59                if (dataObject == null) {
60                        CommandHelpers.objectNotFoundMessage(modelname);
61                        return;
62                } else if (!(dataObject instanceof IStochasticProcess)) {
63                        CommandHelpers.objectNotType(modelname, "IStochasticProcess");
64                        return;
65                }
66                model = (IStochasticProcess) dataObject;
67                DrawFromAllSequencesGenerator generator = new DrawFromAllSequencesGenerator(
68                                numSequences, minLength, maxLength, validEnd, all);
69                Collection<List<Event>> sequences = generator
70                                .generateTestSuite(model);
71
72                if (GlobalDataContainer.getInstance().addData(sequencesName, sequences)) {
73                        CommandHelpers.dataOverwritten(sequencesName);
74                }
75                Console.println("" + sequences.size() + " sequences generated");
76        }
77
78        /*
79         * (non-Javadoc)
80         *
81         * @see de.ugoe.cs.util.console.Command#help()
82         */
83        @Override
84        public String help() {
85                return "generateFixedLengthSequences <modelname> <sequencesName> <minlenght> <maxlength> {<all>} {<numSequences>} {<validEnd>}";
86        }
87
88}
Note: See TracBrowser for help on using the repository browser.