public class ProofEnvironmentEvent extends EventObject
Modifier and Type | Field and Description |
---|---|
private ProofOblInput |
po |
private ProofAggregate |
proofList |
private static long |
serialVersionUID |
source
Constructor and Description |
---|
ProofEnvironmentEvent(ProofEnvironment source,
ProofOblInput po,
ProofAggregate proofList) |
Modifier and Type | Method and Description |
---|---|
ProofOblInput |
getPo() |
ProofAggregate |
getProofList() |
ProofEnvironment |
getSource() |
toString
private static final long serialVersionUID
private final ProofOblInput po
private final ProofAggregate proofList
public ProofEnvironmentEvent(ProofEnvironment source, ProofOblInput po, ProofAggregate proofList)
public ProofEnvironment getSource()
getSource
in class EventObject
public ProofAggregate getProofList()
public ProofOblInput getPo()