Uses of Class
jml2b.util.JpoOutputStream

Packages that use JpoOutputStream

jml2b.pog.lemma
jml2b.pog.substitution	Provides the classes necessary to create and manage substitutions.
jml2b.pog.util
jml2b.structure.java
jpov.structure
jpov.substitution
jpov.viewer.source

Uses of JpoOutputStream in jml2b.pog.lemma

Methods in jml2b.pog.lemma with parameters of type JpoOutputStream

void	GoalOrigin.save(JpoOutputStream s) Saves the goal origin in a .jpo file
void	GoalStatus.save(JpoOutputStream s) Saves the goal status in the a .jpo file
void	NonObviousGoal.save(IJml2bConfiguration config, JpoOutputStream s, JmlFile jf) Saves the goal in a .jpo file
void	Proofs.saveThl(IJml2bConfiguration config, JpoOutputStream s, JmlFile jf)
void	Proofs.save(IJml2bConfiguration config, JpoOutputStream s, JmlFile jf) Saves the proof in the a .jpo file
abstract void	ProverStatus.save(JpoOutputStream s) Saves the goal status in the a .jpo file
void	SimpleLemma.save(IJml2bConfiguration config, JpoOutputStream s, JmlFile jf)
void	VirtualFormula.save(IJml2bConfiguration config, JpoOutputStream s, int index, JmlFile jf) Saves the virtual formula into a .jpo file

Uses of JpoOutputStream in jml2b.pog.substitution

Methods in jml2b.pog.substitution with parameters of type JpoOutputStream

void	SubArrayElement.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubArrayElementSingle.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubArrayLength.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubForm.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubInstances.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubInstancesSet.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubInstancesSingle.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubMemberField.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubTmpVar.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubTypeof.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubTypeofSet.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubTypeofSingle.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	Substitution.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf) Saves the substitution in a .jpo file

Uses of JpoOutputStream in jml2b.pog.util

Methods in jml2b.pog.util with parameters of type JpoOutputStream

void	ColoredInfo.save(JpoOutputStream s, int index, JmlFile f) Saves the colored info in a .jpo file if it is declared in a specified JML file

Uses of JpoOutputStream in jml2b.structure.java

Methods in jml2b.structure.java with parameters of type JpoOutputStream

void	Class.save(IJml2bConfiguration config, JpoOutputStream s, JmlFile jf) .jpo file
void	JmlFile.save(IJml2bConfiguration config, JpoOutputStream s) .jpo file
void	Method.save(IJml2bConfiguration config, JpoOutputStream s, JmlFile jf) .jpo file
void	ParsedItem.save(JpoOutputStream s) Saves the item in a .jpo file

Uses of JpoOutputStream in jpov.structure

Methods in jpov.structure with parameters of type JpoOutputStream

void	Field.save(JpoOutputStream s)
void	JmlFile.save(IJml2bConfiguration config, JpoOutputStream s) Saves the JML file into a .jpo file

Uses of JpoOutputStream in jpov.substitution

Methods in jpov.substitution with parameters of type JpoOutputStream

void	SubArrayElement.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubArrayElementSingle.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubArrayLength.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubForm.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubInstancesSet.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubInstancesSingle.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubMemberField.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubTmpVar.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubTypeofSet.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	SubTypeofSingle.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf)
void	Substitution.save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf) Saves the substitution in a .jpo file

Uses of JpoOutputStream in jpov.viewer.source

Methods in jpov.viewer.source with parameters of type JpoOutputStream

void	Box.save(JpoOutputStream s, int index) Saves the box to a .jpo file.