|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcz.cuni.mff.procasor.procases.ProcaseTasks
Interface for the cz.cuni.mff.procasor.procases package. Provides simple access to all of its functionality, namely use case to Pro-case transformation and UML State Machine derivation.
Method Summary | |
static java.lang.String |
generateBehaviorProtocol(UseCaseModel model)
Creates a behavior protocol for a use case model of an entity. |
static java.lang.String |
generateIndentedProcase(UseCase useCase,
java.lang.String indentation)
Generates Pro-case for the given use case, uses the given indentation. |
static java.lang.String |
generateProcase(UseCase useCase)
Generates Pro-case for the given use case. |
static java.lang.String |
generateUMLStateMachine(Entity entity,
UseCase useCase)
Creates a UML State Machine for the given use case |
static java.lang.String |
generateUMLStateMachines(Project project,
java.io.Writer writer)
Writes UML State Machines for all use cases in the project. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
public static java.lang.String generateProcase(UseCase useCase) throws cz.cuni.mff.procasor.procases.ProcaseDerivationException, cz.cuni.mff.procasor.procases.UseCaseUnfitException
useCase
- the use case to be transformed
cz.cuni.mff.procasor.procases.ProcaseDerivationException
- when the transformation fails
cz.cuni.mff.procasor.procases.UseCaseUnfitException
- if the use case is invalid or its semantic information is not completepublic static java.lang.String generateIndentedProcase(UseCase useCase, java.lang.String indentation) throws cz.cuni.mff.procasor.procases.ProcaseDerivationException, cz.cuni.mff.procasor.procases.UseCaseUnfitException
useCase
- the use case to be transformedindentation
- every line of the Pro-case will be prefixed with this string
cz.cuni.mff.procasor.procases.ProcaseDerivationException
- when the transformation fails
cz.cuni.mff.procasor.procases.UseCaseUnfitException
- if the use case is invalid or its semantic information is not completepublic static java.lang.String generateUMLStateMachines(Project project, java.io.Writer writer) throws java.io.IOException
project
- Project to be transformedwriter
- Writer that will be used for the output
java.io.IOException
- if an error occures while writing the result to the outputpublic static java.lang.String generateUMLStateMachine(Entity entity, UseCase useCase) throws cz.cuni.mff.procasor.procases.UseCaseUnfitException
entity
- Entity the use case belongs touseCase
- Use case that will be transformed
cz.cuni.mff.procasor.procases.UseCaseUnfitException
- if the use case is invalid or its semantic information is not completepublic static java.lang.String generateBehaviorProtocol(UseCaseModel model) throws cz.cuni.mff.procasor.procases.UseCaseExpressionCorruptException
model
- use case model that will be transformed
cz.cuni.mff.procasor.procases.UseCaseExpressionCorruptException
- when use case expression of the given model is invalid
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |