public class DefaultTaskStartedInfo extends java.lang.Object implements TaskStartedInfo
TaskStartedInfo
.TaskStartedInfo.TaskKind
Constructor and Description |
---|
DefaultTaskStartedInfo(TaskStartedInfo.TaskKind kind,
java.lang.String message,
int size) |
Modifier and Type | Method and Description |
---|---|
TaskStartedInfo.TaskKind |
getKind()
allows to query about the nature of task
|
java.lang.String |
getMessage()
returns a message with a description of the task, example: "Processing Strategy"
|
int |
getSize()
returns measure for the total size of the task.
|
java.lang.String |
toString() |
public DefaultTaskStartedInfo(TaskStartedInfo.TaskKind kind, java.lang.String message, int size)
public java.lang.String toString()
toString
in class java.lang.Object
public TaskStartedInfo.TaskKind getKind()
getKind
in interface TaskStartedInfo
public java.lang.String getMessage()
getMessage
in interface TaskStartedInfo
public int getSize()
getSize
in interface TaskStartedInfo
Copyright © 2003-2019 The KeY-Project.