de.uka.ilkd.key.prover.impl

Class DefaultTaskFinishedInfo

java.lang.Object

de.uka.ilkd.key.prover.impl.DefaultTaskFinishedInfo

All Implemented Interfaces:

TaskFinishedInfo

Direct Known Subclasses:

ProofMacroFinishedInfo

public class DefaultTaskFinishedInfo
extends java.lang.Object
implements TaskFinishedInfo

Field Summary

Fields

Modifier and Type	Field and Description
private int	appliedRules
private int	closedGoals
private Proof	proof
private java.lang.Object	result
private java.lang.Object	source
private long	timeInMillis

Constructor Summary

Constructors

Constructor and Description
DefaultTaskFinishedInfo(java.lang.Object source, java.lang.Object result, Proof proof, long time, int appliedRules, int closedGoals)

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

source

private final java.lang.Object source

result

private final java.lang.Object result

proof

private final Proof proof

timeInMillis

private final long timeInMillis

appliedRules

private final int appliedRules

closedGoals

private final int closedGoals

Constructor Detail

DefaultTaskFinishedInfo

public DefaultTaskFinishedInfo(java.lang.Object source,
                               java.lang.Object result,
                               Proof proof,
                               long time,
                               int appliedRules,
                               int closedGoals)

Method Detail

getTime

public long getTime()

Specified by:

getTime in interface TaskFinishedInfo

getResult

public java.lang.Object getResult()

Specified by:

getResult in interface TaskFinishedInfo

getSource

public java.lang.Object getSource()

Specified by:

getSource in interface TaskFinishedInfo

getAppliedRules

public int getAppliedRules()

Specified by:

getAppliedRules in interface TaskFinishedInfo

getClosedGoals

public int getClosedGoals()

Specified by:

getClosedGoals in interface TaskFinishedInfo

getProof

public Proof getProof()

Specified by:

getProof in interface TaskFinishedInfo

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object