package org.overture.interpreter.debug;
public enum DBGPXCmdOvertureCommandType
{
INIT("init"), CREATE("create"), CURRENT_LINE("currentline"), SOURCE(
"source"), COVERAGE("coverage"), WRITE_COMPLETE_COVERAGE(
"write_complete_coverage"), LATEX("latex"), POG("pog"), STACK(
"stack"), TRACE("trace"), LIST("list"), FILES("files"), CLASSES(
"classes"), MODULES("modules"), DEFAULT("default"), LOG("log");
public String value;
DBGPXCmdOvertureCommandType(String value)
{
this.value = value;
}
public static DBGPXCmdOvertureCommandType lookup(String string)
throws DBGPException
{
for (DBGPXCmdOvertureCommandType cmd : values())
{
if (cmd.value.equals(string))
{
return cmd;
}
}
throw new DBGPException(DBGPErrorCode.PARSE, string);
}
@Override
public String toString()
{
return value;
}
}