public class DefaultTaskFinishedInfo extends java.lang.Object implements TaskFinishedInfo
Constructor and Description |
---|
DefaultTaskFinishedInfo(java.lang.Object source,
java.lang.Object result,
Proof proof,
long time,
int appliedRules,
int closedGoals) |
Modifier and Type | Method and Description |
---|---|
int |
getAppliedRules() |
int |
getClosedGoals() |
Proof |
getProof() |
java.lang.Object |
getResult() |
java.lang.Object |
getSource() |
long |
getTime() |
java.lang.String |
toString() |
public DefaultTaskFinishedInfo(java.lang.Object source, java.lang.Object result, Proof proof, long time, int appliedRules, int closedGoals)
public long getTime()
getTime
in interface TaskFinishedInfo
public java.lang.Object getResult()
getResult
in interface TaskFinishedInfo
public java.lang.Object getSource()
getSource
in interface TaskFinishedInfo
public int getAppliedRules()
getAppliedRules
in interface TaskFinishedInfo
public int getClosedGoals()
getClosedGoals
in interface TaskFinishedInfo
public Proof getProof()
getProof
in interface TaskFinishedInfo
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.