Uses of Interface
jml2b.util.IOutputStream

Packages that use IOutputStream

jml2b.formula	Provides the classes necessary to create and manage formulas.
jml2b.languages
jml2b.languages.java
jml2b.util

Uses of IOutputStream in jml2b.formula

Methods in jml2b.formula with parameters of type IOutputStream

void	BasicType.save(IOutputStream s)
void	BinaryForm.save(IJml2bConfiguration config, IOutputStream s, IJmlFile jf)
void	ElementsForm.save(IJml2bConfiguration config, IOutputStream s, IJmlFile jf)
abstract void	Formula.save(IJml2bConfiguration config, IOutputStream s, IJmlFile jf) Saves the formula in a .jpo file
void	QuantifiedForm.save(IJml2bConfiguration config, IOutputStream s, IJmlFile jf)
void	TTypeForm.save(IJml2bConfiguration config, IOutputStream s, IJmlFile jf)
void	TerminalForm.save(IJml2bConfiguration config, IOutputStream s, IJmlFile jf)
void	TriaryForm.save(IJml2bConfiguration config, IOutputStream s, IJmlFile jf)
void	UnaryForm.save(IJml2bConfiguration config, IOutputStream s, IJmlFile jf)

Uses of IOutputStream in jml2b.languages

Methods in jml2b.languages with parameters of type IOutputStream

void	ILanguage.save(IOutputStream s, TerminalForm f) Saves a terminal formula in a jpo file.
void	ILanguage.save(IOutputStream s, ITranslationResult result) Saves the result of a translation in a jpo file.

Uses of IOutputStream in jml2b.languages.java

Methods in jml2b.languages.java with parameters of type IOutputStream

void	JavaLanguage.save(IOutputStream s, TerminalForm f)
void	JavaLanguage.save(IOutputStream s, ITranslationResult result)

Uses of IOutputStream in jml2b.util

Classes in jml2b.util that implement IOutputStream

class

JpoOutputStream