Uses of Class
jml2b.link.LinkInfo

Packages that use LinkInfo

jml2b.link
jml2b.structure.java
jml2b.structure.jml	Provides the classes necessary to create and manage jml clauses such that depends, represents, specification cases, modifies and exsures.
jml2b.structure.statement	Provides the classes necessary to create and manage java and jml statements and expressions.

Uses of LinkInfo in jml2b.link

Constructors in jml2b.link with parameters of type LinkInfo

LinkContext(LinkContext l, LinkInfo f)

Uses of LinkInfo in jml2b.structure.java

Methods in jml2b.structure.java that return LinkInfo

LinkInfo

Identifier.linkFieldIdent(IJml2bConfiguration config, LinkContext ctx, ParsedItem ident_box)

Uses of LinkInfo in jml2b.structure.jml

Methods in jml2b.structure.jml that return LinkInfo

abstract LinkInfo	ModifiesClause.linkStatements(IJml2bConfiguration config, LinkContext f) Links the content of the clause.
LinkInfo	ModifiesEverything.linkStatements(IJml2bConfiguration config, LinkContext f)
LinkInfo	ModifiesList.linkStatements(IJml2bConfiguration config, LinkContext f)
LinkInfo	ModifiesNothing.linkStatements(IJml2bConfiguration config, LinkContext f)

Uses of LinkInfo in jml2b.structure.statement

Methods in jml2b.structure.statement that return LinkInfo

LinkInfo	ArrayInitializer.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	BinaryExp.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	Expression.linkMethod(IJml2bConfiguration config, LinkContext f, java.util.Vector parameters) Links a method call.
LinkInfo	IsSubtypeOfExp.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	MethodCallExp.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	QuantifiedExp.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	QuestionExp.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	StAssert.linkStatement(IJml2bConfiguration config, LinkContext f) Links the asserted predicate
LinkInfo	StBlock.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	StControlFlowBreak.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	StDoWhile.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	StFor.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	StIf.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	StImplementsLabel.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	StLabel.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	StLoops.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	StSequence.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	StSkip.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	StSpecBlock.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	StSwitch.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	StTry.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	StVarDecl.linkStatement(IJml2bConfiguration config, LinkContext f)
abstract LinkInfo	Statement.linkStatement(IJml2bConfiguration config, LinkContext f) Links the statement.
LinkInfo	TTypeExp.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	TerminalExp.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	UnaryExp.linkStatement(IJml2bConfiguration config, LinkContext f)
LinkInfo	WithTypeExp.linkStatement(IJml2bConfiguration config, LinkContext f)