public class ProofEnvironment
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private InitConfig |
initConfig |
private java.util.List<ProofEnvironmentListener> |
listeners |
private java.util.Set<ProofAggregate> |
proofs |
Constructor and Description |
---|
ProofEnvironment(InitConfig initConfig)
constructs a proof environment with the given initial
configuration of the proofs contained in the environment.
|
Modifier and Type | Method and Description |
---|---|
void |
addProofEnvironmentListener(ProofEnvironmentListener l) |
java.lang.String |
description()
returns a short String description of the environment.
|
boolean |
equals(java.lang.Object cmp)
returns true iff the java model equals those of the argument
proof environment.
|
protected void |
fireProofRegistered(ProofEnvironmentEvent e) |
protected void |
fireProofUnregistered(ProofEnvironmentEvent e) |
InitConfig |
getInitConfigForEnvironment()
returns the initial configuration of which a copy can be
used to load proofs belonging to this environment.
|
JavaModel |
getJavaModel()
retrieves the java model underlying this environment.
|
ProofEnvironmentListener[] |
getProofEnvironmentListeners() |
java.util.Set<ProofAggregate> |
getProofs()
retrieves all proofs registered at this environment
|
Services |
getServicesForEnvironment()
returns the
Services instance for the environment |
int |
hashCode() |
void |
registerProof(ProofOblInput po,
ProofAggregate pl)
registers a proof loaded with the given
ProofOblInput . |
void |
removeProofEnvironmentListener(ProofEnvironmentListener l) |
void |
removeProofList(ProofAggregate pl) |
java.lang.String |
toString() |
private final InitConfig initConfig
private final java.util.Set<ProofAggregate> proofs
private final java.util.List<ProofEnvironmentListener> listeners
public ProofEnvironment(InitConfig initConfig)
public JavaModel getJavaModel()
public Services getServicesForEnvironment()
Services
instance for the environmentServices
instance for the environmentpublic InitConfig getInitConfigForEnvironment()
public void registerProof(ProofOblInput po, ProofAggregate pl)
ProofOblInput
. The method adds
the proof list generated by the input to the suitable contract if one
is found. In all cases the proof is added to the proofs of this
environment and the proofs are marked to belong to this environment.public void addProofEnvironmentListener(ProofEnvironmentListener l)
public void removeProofEnvironmentListener(ProofEnvironmentListener l)
public ProofEnvironmentListener[] getProofEnvironmentListeners()
protected void fireProofRegistered(ProofEnvironmentEvent e)
protected void fireProofUnregistered(ProofEnvironmentEvent e)
public java.util.Set<ProofAggregate> getProofs()
public void removeProofList(ProofAggregate pl)
public boolean equals(java.lang.Object cmp)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String description()
public java.lang.String toString()
toString
in class java.lang.Object