Uses of Class
jml2b.structure.jml.SpecCase

Packages that use SpecCase

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 SpecCase in jml2b.structure.java

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

void	Method.addAnnotation(IJml2bConfiguration config, Expression req, SpecCase sc)

Uses of SpecCase in jml2b.structure.jml

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

void	SpecCase.addAnnotation(IJml2bConfiguration config, SpecCase sc)

Uses of SpecCase in jml2b.structure.statement

Methods in jml2b.structure.statement that return SpecCase

SpecCase

StSpecBlock.getSp()