Package: DBGPXCmdOvertureCommandType

DBGPXCmdOvertureCommandType

nameinstructionbranchcomplexitylinemethod
DBGPXCmdOvertureCommandType(String, int, String)
M: 8 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
lookup(String)
M: 29 C: 0
0%
M: 4 C: 0
0%
M: 3 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%
static {...}
M: 180 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 6 C: 0
0%
M: 1 C: 0
0%
toString()
M: 3 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%

Coverage

1: package org.overture.interpreter.debug;
2:
3: public enum DBGPXCmdOvertureCommandType
4: {
5:         INIT("init"), CREATE("create"), CURRENT_LINE("currentline"), SOURCE(
6:                         "source"), COVERAGE("coverage"), WRITE_COMPLETE_COVERAGE(
7:                         "write_complete_coverage"), LATEX("latex"), POG("pog"), STACK(
8:                         "stack"), TRACE("trace"), LIST("list"), FILES("files"), CLASSES(
9:                         "classes"), MODULES("modules"), DEFAULT("default"), LOG("log");
10:
11:         public String value;
12:
13:         DBGPXCmdOvertureCommandType(String value)
14:         {
15:                 this.value = value;
16:         }
17:
18:         public static DBGPXCmdOvertureCommandType lookup(String string)
19:                         throws DBGPException
20:         {
21:•                for (DBGPXCmdOvertureCommandType cmd : values())
22:                 {
23:•                        if (cmd.value.equals(string))
24:                         {
25:                                 return cmd;
26:                         }
27:                 }
28:
29:                 throw new DBGPException(DBGPErrorCode.PARSE, string);
30:         }
31:
32:         @Override
33:         public String toString()
34:         {
35:                 return value;
36:         }
37: }