Uses of Class
jml2b.util.JpoInputStream

Packages that use JpoInputStream

jml2b.formula	Provides the classes necessary to create and manage formulas.
jml2b.languages
jml2b.languages.java
jml2b.pog	Provides the classes necessary to generate proof obligations.
jml2b.pog.lemma
jpov.structure
jpov.substitution
jpov.viewer.source

Uses of JpoInputStream in jml2b.formula

Methods in jml2b.formula with parameters of type JpoInputStream

static Formula

Formula.create(IJml2bConfiguration config, JpoInputStream s, IJmlFile fi) Create a formula from a token read into a stream.

Constructors in jml2b.formula with parameters of type JpoInputStream

BasicType(JpoInputStream s)

Uses of JpoInputStream in jml2b.languages

Methods in jml2b.languages with parameters of type JpoInputStream

ITranslationResult

ILanguage.load(JpoInputStream s) Load a terminal formula from a jpo file.

Uses of JpoInputStream in jml2b.languages.java

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

ITranslationResult

JavaLanguage.load(JpoInputStream s)

Uses of JpoInputStream in jml2b.pog

Methods in jml2b.pog with parameters of type JpoInputStream

ProverStatus

IProverStatus.factory(JpoInputStream s)

Uses of JpoInputStream in jml2b.pog.lemma

Constructors in jml2b.pog.lemma with parameters of type JpoInputStream

GoalOrigin(JpoInputStream s)
Constructs a goal origin from a loaded .jpo file

GoalStatus(JpoInputStream s)
Constructs a non obvious goal from a .jpo file

Uses of JpoInputStream in jpov.structure

Methods in jpov.structure with parameters of type JpoInputStream

static JmlFile

JmlFile.loadJmlFile(IJml2bConfiguration config, java.io.File jpoFile, JpoInputStream s) Loads the root node from a .jpo file

Constructors in jpov.structure with parameters of type JpoInputStream

Field(JpoInputStream s)

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

PartialJmlFile(JpoInputStream s)
Constructs a jml file from loaded informations

Uses of JpoInputStream in jpov.substitution

Constructors in jpov.substitution with parameters of type JpoInputStream

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

Uses of JpoInputStream in jpov.viewer.source

Constructors in jpov.viewer.source with parameters of type JpoInputStream

Box(JpoInputStream s)
Constructs a box from a .jpo file