public class ProofEnvironmentEvent
extends java.util.EventObject
Constructor and Description |
---|
ProofEnvironmentEvent(ProofEnvironment source,
ProofOblInput po,
ProofAggregate proofList) |
Modifier and Type | Method and Description |
---|---|
ProofOblInput |
getPo() |
ProofAggregate |
getProofList() |
ProofEnvironment |
getSource() |
public ProofEnvironmentEvent(ProofEnvironment source, ProofOblInput po, ProofAggregate proofList)
public ProofEnvironment getSource()
getSource
in class java.util.EventObject
public ProofAggregate getProofList()
public ProofOblInput getPo()
Copyright © 2003-2019 The KeY-Project.