Uses of Class
uk.ac.sheffield.vtts.model.Language

Packages that use Language

Package	Description
uk.ac.sheffield.vtts.model	This package contains Broker@Cloud components for modelling service specifications and test suites, and for modelling expressions in the formal expression language.

Uses of Language in uk.ac.sheffield.vtts.model

Methods in uk.ac.sheffield.vtts.model that return Language

Modifier and Type	Method and Description
Language	Language.addLanguage(Language language) Includes the set of sequences from another language in the set of sequences in this language.
Language	Language.addSequence(Sequence sequence) Adds a sequence to the set of sequences in this language.
static Language	Language.createBoundedPlus(Alphabet alphabet, int length) Creates a language containing all non-empty sequences up to a given length, chosen from an alphabet.
static Language	Language.createBoundedStar(Alphabet alphabet, int length) Creates a language containing all sequences up to a given length, chosen from an alphabet.
static Language	Language.createExactly(Alphabet alphabet, int length) Creates a language containing all sequences of a given length, chosen from an alphabet.
Language	Machine.getStateCover() Calculates the state cover for this Machine.
protected Language	Service.getStateCover(Alphabet alphabet) Calculates the state cover for this Service.
protected Language	Machine.getStateCover(Alphabet alphabet) Calculates the state cover for this Machine.
Language	Machine.getTransitionCover(int length) Calculates the n-transition cover for this Machine.
Language	Language.product(Alphabet alphabet) Creates the product of this language and every event in an alphabet.
Language	Language.product(Language other) Creates the product of this language and every sequence in another language.

Methods in uk.ac.sheffield.vtts.model with parameters of type Language

Modifier and Type	Method and Description
Language	Language.addLanguage(Language language) Includes the set of sequences from another language in the set of sequences in this language.
protected TestSuite	Service.generateTestSuite(Language language) Generates the TestSuite for this Service, by simulating the Service using a bounded Language.
Language	Language.product(Language other) Creates the product of this language and every sequence in another language.