Uses of Interface
jml2b.structure.java.IJmlFile

Packages that use IJmlFile

jml2b.formula	Provides the classes necessary to create and manage formulas.
jml2b.pog.substitution	Provides the classes necessary to create and manage substitutions.
jpov.structure
jpov.substitution

Uses of IJmlFile in jml2b.formula

Methods in jml2b.formula with parameters of type IJmlFile

void	BinaryForm.save(IJml2bConfiguration config, IOutputStream s, IJmlFile jf)
void	ElementsForm.save(IJml2bConfiguration config, IOutputStream s, IJmlFile jf)
static Formula	Formula.create(IJml2bConfiguration config, JpoInputStream s, IJmlFile fi) Create a formula from a token read into a stream.
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 IJmlFile in jml2b.pog.substitution

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

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 IJmlFile in jpov.structure

Classes in jpov.structure that implement IJmlFile

class

JmlFile This class implements the root node of the tree.

Constructors in jpov.structure with parameters of type IJmlFile

Method(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a method from a loaded .jpo file

Uses of IJmlFile in jpov.substitution

Methods in jpov.substitution with parameters of type IJmlFile

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

Constructors in jpov.substitution with parameters of type IJmlFile

SubArrayElement(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution

SubArrayElementSingle(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution

SubArrayLength(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution

SubForm(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution.

SubInstancesSet(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution for instances

SubInstancesSingle(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution for instances

SubMemberField(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution

SubTmpVar(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution from a loaded .jpo file

SubTypeofSet(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution for typeof

SubTypeofSingle(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution for typeof