public class ProofEnvironmentEvent
extends java.util.EventObject
Modifier and Type | Field and Description |
---|---|
private ProofOblInput |
po |
private ProofAggregate |
proofList |
private static long |
serialVersionUID |
Constructor and Description |
---|
ProofEnvironmentEvent(ProofEnvironment source,
ProofOblInput po,
ProofAggregate proofList) |
Modifier and Type | Method and Description |
---|---|
ProofOblInput |
getPo() |
ProofAggregate |
getProofList() |
ProofEnvironment |
getSource() |
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 java.util.EventObject
public ProofAggregate getProofList()
public ProofOblInput getPo()