Uses of Class
jml2b.link.LinkContext

Packages that use LinkContext

jml2b.link
jml2b.structure.bytecode
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 LinkContext in jml2b.link

Methods in jml2b.link with parameters of type LinkContext

static int	LinkUtils.linkEnumeration(IJml2bConfiguration config, java.util.Enumeration e, LinkContext f) Links all the Linkable elements provided by the enumeration e using LinkContext f.
static int	LinkUtils.linkStatements(IJml2bConfiguration config, java.util.Enumeration e, LinkContext f)
static int	LinkUtils.typeCheckEnumeration(IJml2bConfiguration config, java.util.Enumeration e, LinkContext f)
void	Linkable.link(IJml2bConfiguration config, LinkContext f)
int	Linkable.linkStatements(IJml2bConfiguration config, LinkContext f)
Type	TypeCheckable.typeCheck(IJml2bConfiguration config, LinkContext f)

Constructors in jml2b.link with parameters of type LinkContext

LinkContext(LinkContext l, LinkInfo f)

Uses of LinkContext in jml2b.structure.bytecode

Methods in jml2b.structure.bytecode with parameters of type LinkContext

void	ClassField.link(IJml2bConfiguration config, LinkContext f)
int	ClassField.linkStatements(IJml2bConfiguration config, LinkContext f)
void	ClassFile.link(IJml2bConfiguration config, LinkContext f)
int	ClassFile.linkStatements(IJml2bConfiguration config, LinkContext f)
void	ClassMethod.link(IJml2bConfiguration config, LinkContext f)
int	ClassMethod.linkStatements(IJml2bConfiguration config, LinkContext f)

Uses of LinkContext in jml2b.structure.java

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

void	Class.link(IJml2bConfiguration config, LinkContext f) Link the externally visible parts of the class.
Type	Class.typeCheck(IJml2bConfiguration config, LinkContext f)
int	Class.linkStatements(IJml2bConfiguration config, LinkContext f) Link the parts that cannot be directly referenced from the outside.
void	Field.link(IJml2bConfiguration config, LinkContext f)
int	Field.linkStatements(IJml2bConfiguration config, LinkContext f)
LinkInfo	Identifier.linkFieldIdent(IJml2bConfiguration config, LinkContext ctx, ParsedItem ident_box)
void	Invariant.link(IJml2bConfiguration config, LinkContext f)
int	Invariant.linkStatements(IJml2bConfiguration config, LinkContext f)
Type	Invariant.typeCheck(IJml2bConfiguration config, LinkContext f)
void	Method.link(IJml2bConfiguration config, LinkContext f)
int	Method.linkStatements(IJml2bConfiguration config, LinkContext f)
Type	Method.typeCheck(IJml2bConfiguration config, LinkContext f)
void	Parameters.link(IJml2bConfiguration config, LinkContext lc)
int	Parameters.linkStatements(IJml2bConfiguration config, LinkContext lc)
void	Type.link(IJml2bConfiguration config, LinkContext f)
int	Type.linkStatements(IJml2bConfiguration config, LinkContext f)
void	VarDeclParser.link(IJml2bConfiguration config, LinkContext f)
int	VarDeclParser.linkStatements(IJml2bConfiguration config, LinkContext f)

Uses of LinkContext in jml2b.structure.jml

Methods in jml2b.structure.jml with parameters of type LinkContext

void	Depends.link(IJml2bConfiguration config, LinkContext f)
int	Depends.linkStatements(IJml2bConfiguration config, LinkContext f)
void	Exsures.link(IJml2bConfiguration config, LinkContext c)
int	Exsures.linkStatements(IJml2bConfiguration config, LinkContext c)
Type	Exsures.typeCheck(IJml2bConfiguration config, LinkContext c)
Type	GuardedModifies.typeCheck(IJml2bConfiguration config, LinkContext f)
abstract LinkInfo	ModifiesClause.linkStatements(IJml2bConfiguration config, LinkContext f) Links the content of the clause.
Type	ModifiesDot.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	ModifiesEverything.linkStatements(IJml2bConfiguration config, LinkContext f)
Type	ModifiesEverything.typeCheck(IJml2bConfiguration config, LinkContext f)
Type	ModifiesIdent.typeCheck(IJml2bConfiguration config, LinkContext f)
Type	ModifiesLbrack.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	ModifiesList.linkStatements(IJml2bConfiguration config, LinkContext f)
Type	ModifiesList.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	ModifiesNothing.linkStatements(IJml2bConfiguration config, LinkContext f)
Type	ModifiesNothing.typeCheck(IJml2bConfiguration config, LinkContext f)
void	Represents.link(IJml2bConfiguration config, LinkContext f)
int	Represents.linkStatements(IJml2bConfiguration config, LinkContext f)
Type	Represents.typeCheck(IJml2bConfiguration config, LinkContext f)
Type	SpecArrayDotDot.typeCheck(IJml2bConfiguration config, LinkContext f)
Type	SpecArrayExpr.typeCheck(IJml2bConfiguration config, LinkContext f)
Type	SpecArrayStar.typeCheck(IJml2bConfiguration config, LinkContext f)
void	SpecCase.link(IJml2bConfiguration config, LinkContext f)
int	SpecCase.linkStatements(IJml2bConfiguration config, LinkContext f)
Type	SpecCase.typeCheck(IJml2bConfiguration config, LinkContext f)

Constructors in jml2b.structure.jml with parameters of type LinkContext

SpecCase(IJml2bConfiguration config, LinkContext f)
Construct and link an empty by default spec case.

Uses of LinkContext in jml2b.structure.statement

Methods in jml2b.structure.statement with parameters of type LinkContext

LinkInfo	ArrayInitializer.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	ArrayInitializer.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	BinaryExp.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	BinaryExp.typeCheck(IJml2bConfiguration config, LinkContext f)
void	Expression.linkParameters(IJml2bConfiguration config, LinkContext f, java.util.Vector parameters) Links the parameters list of a method call and the resulting type to the parameters vector.
LinkInfo	Expression.linkMethod(IJml2bConfiguration config, LinkContext f, java.util.Vector parameters) Links a method call.
LinkInfo	IsSubtypeOfExp.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	IsSubtypeOfExp.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	MethodCallExp.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	MethodCallExp.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	QuantifiedExp.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	QuantifiedExp.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	QuestionExp.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	QuestionExp.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	StAssert.linkStatement(IJml2bConfiguration config, LinkContext f) Links the asserted predicate
Type	StAssert.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	StBlock.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	StBlock.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	StControlFlowBreak.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	StControlFlowBreak.typeCheck(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)
Type	StIf.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	StImplementsLabel.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	StImplementsLabel.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	StLabel.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	StLabel.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	StLoops.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	StLoops.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	StSequence.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	StSequence.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	StSkip.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	StSkip.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	StSpecBlock.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	StSpecBlock.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	StSwitch.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	StSwitch.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	StTry.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	StTry.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	StVarDecl.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	StVarDecl.typeCheck(IJml2bConfiguration config, LinkContext f)
void	Statement.link(IJml2bConfiguration config, LinkContext f)
int	Statement.linkStatements(IJml2bConfiguration config, LinkContext f)
abstract LinkInfo	Statement.linkStatement(IJml2bConfiguration config, LinkContext f) Links the statement.
LinkInfo	TTypeExp.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	TTypeExp.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	TerminalExp.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	TerminalExp.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	UnaryExp.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	UnaryExp.typeCheck(IJml2bConfiguration config, LinkContext f)
LinkInfo	WithTypeExp.linkStatement(IJml2bConfiguration config, LinkContext f)
Type	WithTypeExp.typeCheck(IJml2bConfiguration config, LinkContext f)