public class ProofMacroFinishedInfo extends DefaultTaskFinishedInfo
Constructor and Description |
---|
ProofMacroFinishedInfo(ProofMacro macro,
Goal goal) |
ProofMacroFinishedInfo(ProofMacro macro,
ImmutableList<Goal> goals) |
ProofMacroFinishedInfo(ProofMacro macro,
Proof proof) |
ProofMacroFinishedInfo(ProofMacro macro,
Proof proof,
boolean cancelled) |
ProofMacroFinishedInfo(ProofMacro macro,
ProofMacroFinishedInfo info) |
Modifier and Type | Method and Description |
---|---|
void |
addInfo(java.lang.String key,
java.lang.Object value) |
static ProofMacroFinishedInfo |
getDefaultInfo(ProofMacro macro,
Proof proof) |
ImmutableList<Goal> |
getGoals() |
ProofMacro |
getMacro() |
java.lang.Object |
getValueFor(java.lang.String key) |
boolean |
isCancelled() |
getAppliedRules, getClosedGoals, getProof, getResult, getSource, getTime, toString
public ProofMacroFinishedInfo(ProofMacro macro, Goal goal)
public ProofMacroFinishedInfo(ProofMacro macro, ImmutableList<Goal> goals)
public ProofMacroFinishedInfo(ProofMacro macro, Proof proof)
public ProofMacroFinishedInfo(ProofMacro macro, Proof proof, boolean cancelled)
public ProofMacroFinishedInfo(ProofMacro macro, ProofMacroFinishedInfo info)
public void addInfo(java.lang.String key, java.lang.Object value)
public java.lang.Object getValueFor(java.lang.String key)
public ProofMacro getMacro()
public boolean isCancelled()
public ImmutableList<Goal> getGoals()
public static ProofMacroFinishedInfo getDefaultInfo(ProofMacro macro, Proof proof)
Copyright © 2003-2019 The KeY-Project.