Package | Description |
---|---|
de.uka.ilkd.key.prover | |
de.uka.ilkd.key.prover.impl |
Modifier and Type | Method and Description |
---|---|
TaskStartedInfo.TaskKind |
TaskStartedInfo.getKind()
allows to query about the nature of task
|
static TaskStartedInfo.TaskKind |
TaskStartedInfo.TaskKind.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static TaskStartedInfo.TaskKind[] |
TaskStartedInfo.TaskKind.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
TaskStartedInfo.TaskKind |
DefaultTaskStartedInfo.getKind()
allows to query about the nature of task
|
Constructor and Description |
---|
DefaultTaskStartedInfo(TaskStartedInfo.TaskKind kind,
java.lang.String message,
int size) |
Copyright © 2003-2019 The KeY-Project.