Package | Description |
---|---|
hu.elte.txtuml.api.layout |
Provides the txtUML layout API.
|
hu.elte.txtuml.api.model |
Provides the JtxtUML modeling API.
|
hu.elte.txtuml.api.model.execution | |
hu.elte.txtuml.api.model.execution.diagnostics | |
hu.elte.txtuml.api.model.execution.impl |
Provides the default txtUML model execution engine with its subpackages
containing base classes for different model executor implementations.
|
hu.elte.txtuml.api.model.execution.impl.assoc |
Provides helper classes for association management in model executor
implementations.
|
hu.elte.txtuml.api.model.execution.impl.base |
Contains base classes for model executor implementations.
|
hu.elte.txtuml.api.model.execution.impl.seqdiag |
Sequence diagram execution implementation package.
|
hu.elte.txtuml.api.model.execution.impl.singlethread |
Contains base classes for model executor implementations which use only one
thread.
|
hu.elte.txtuml.api.model.execution.log |
Contains logger classes which write into the
Logger.executor
log about different kind of events in a model executor. |
hu.elte.txtuml.api.model.execution.seqdiag.error | |
hu.elte.txtuml.api.model.external |
Contains utility and information provider types that cannot be used in a
model but can be used anywhere else, for example, to write external txtUML
libraries.
|
hu.elte.txtuml.api.model.impl |
Types of this package should only be used to implement model
executors, not in the model or in external libraries.
|
hu.elte.txtuml.api.model.seqdiag |
Contains sequence diagram specific model elements.
|
hu.elte.txtuml.api.stdlib.timers |
Enhances txtUML models with timers.
|
Modifier and Type | Class and Description |
---|---|
class |
CompositeDiagram<T extends ModelClass>
Classes defining the layout of composite structure diagrams have to inherit from
this base class.
|
class |
StateMachineDiagram<T extends ModelClass>
Classes defining the layout of state machine diagrams have to inherit from
this base class.
|
Modifier and Type | Class and Description |
---|---|
class |
Association.End<C extends GeneralCollection<? extends ModelClass>>
Abstract base class for navigable association ends.
|
class |
Association.HiddenEnd<C extends GeneralCollection<? extends ModelClass>>
Abstract base class for non-navigable association ends.
|
class |
Composition.ContainerEnd<T extends ModelClass>
Abstract base class for the navigable container end of a composition
association which is a special association end with 0..1 multiplicity.
|
class |
Composition.HiddenContainerEnd<T extends ModelClass>
Abstract base class for the non-navigable container end of a composition
association which is a special association end with 0..1 multiplicity.
|
Modifier and Type | Method and Description |
---|---|
<T extends ModelClass,C extends GeneralCollection<T>,AE extends AssociationEnd<C> & AssociationEnd.Navigable> |
ModelClass.assoc(java.lang.Class<AE> otherEnd)
Gets the collection containing the objects in association with this
object and being on the specified opposite navigable association
end.
|
static <T extends ModelClass> |
Action.create(java.lang.Class<T> classType,
java.lang.Object... parameters)
Creates a new instance of the specified model class.
|
static <T extends ModelClass> |
Action.createWithName(java.lang.Class<T> classType,
java.lang.String name,
java.lang.Object... parameters)
Creates a new instance of the specified model class and sets its name.
|
static <L extends ModelClass,R extends ModelClass,CL extends GeneralCollection<? super L>,CR extends GeneralCollection<? super R>> |
Action.link(java.lang.Class<? extends AssociationEnd<CL>> leftEnd,
L leftObj,
java.lang.Class<? extends AssociationEnd<CR>> rightEnd,
R rightObj)
Links two model objects through the specified association.
|
static <L extends ModelClass,R extends ModelClass,CL extends GeneralCollection<? super L>,CR extends GeneralCollection<? super R>> |
Action.link(java.lang.Class<? extends AssociationEnd<CL>> leftEnd,
L leftObj,
java.lang.Class<? extends AssociationEnd<CR>> rightEnd,
R rightObj)
Links two model objects through the specified association.
|
static <L extends ModelClass,R extends ModelClass,CL extends GeneralCollection<? super L>,CR extends GeneralCollection<? super R>> |
Action.unlink(java.lang.Class<? extends AssociationEnd<CL>> leftEnd,
L leftObj,
java.lang.Class<? extends AssociationEnd<CR>> rightEnd,
R rightObj)
Unlinks two model objects through the specified association.
|
static <L extends ModelClass,R extends ModelClass,CL extends GeneralCollection<? super L>,CR extends GeneralCollection<? super R>> |
Action.unlink(java.lang.Class<? extends AssociationEnd<CL>> leftEnd,
L leftObj,
java.lang.Class<? extends AssociationEnd<CR>> rightEnd,
R rightObj)
Unlinks two model objects through the specified association.
|
Modifier and Type | Method and Description |
---|---|
static void |
Action.delete(ModelClass obj)
Deletes the specified model object.
|
static void |
API.send(Signal signal,
ModelClass target)
Asynchronously sends the specified signal to the specified target object.
|
static void |
Action.send(Signal signal,
ModelClass target)
Asynchronously sends the specified signal to the specified target object.
|
static void |
Action.send(Signal signal,
ModelClass target,
ModelClass sender)
Asynchronously sends the specified signal to the specified target object.
|
static void |
Action.start(ModelClass obj)
Starts the state machine of the specified model object.
|
Modifier and Type | Method and Description |
---|---|
default <L extends ModelClass,R extends ModelClass,CL extends GeneralCollection<? super L>,CR extends GeneralCollection<? super R>> |
WarningListener.unlinkingNonExistingAssociation(java.lang.Class<? extends AssociationEnd<CL>> leftEnd,
L leftObj,
java.lang.Class<? extends AssociationEnd<CR>> rightEnd,
R rightObj) |
default <L extends ModelClass,R extends ModelClass,CL extends GeneralCollection<? super L>,CR extends GeneralCollection<? super R>> |
WarningListener.unlinkingNonExistingAssociation(java.lang.Class<? extends AssociationEnd<CL>> leftEnd,
L leftObj,
java.lang.Class<? extends AssociationEnd<CR>> rightEnd,
R rightObj) |
Modifier and Type | Method and Description |
---|---|
default void |
TraceListener.enteringVertex(ModelClass object,
StateMachine.Vertex vertex) |
default void |
TraceListener.leavingVertex(ModelClass object,
StateMachine.Vertex vertex) |
default void |
ErrorListener.linkingDeletedObject(ModelClass obj) |
default void |
WarningListener.lostSignalAtObject(Signal signal,
ModelClass obj) |
default void |
ErrorListener.lowerBoundOfMultiplicityOffended(ModelClass obj,
java.lang.Class<? extends AssociationEnd<?>> assocEnd) |
default void |
ErrorListener.multipleContainerForAnObject(ModelClass obj,
java.lang.Class<? extends AssociationEnd<?>> assocEnd) |
default void |
ErrorListener.objectCannotBeDeleted(ModelClass obj) |
default void |
TraceListener.processingSignal(ModelClass object,
Signal signal,
java.util.Optional<ModelClass> sender) |
default void |
WarningListener.signalArrivedToDeletedObject(ModelClass obj,
Signal signal) |
default void |
ErrorListener.startingDeletedObject(ModelClass obj) |
default void |
ErrorListener.unlinkingDeletedObject(ModelClass obj) |
default void |
ErrorListener.upperBoundOfMultiplicityOffended(ModelClass obj,
java.lang.Class<? extends AssociationEnd<?>> assocEnd) |
default void |
TraceListener.usingTransition(ModelClass object,
StateMachine.Transition transition) |
Modifier and Type | Method and Description |
---|---|
default void |
TraceListener.processingSignal(ModelClass object,
Signal signal,
java.util.Optional<ModelClass> sender) |
Modifier and Type | Method and Description |
---|---|
void |
DiagnosticsService.enteringVertex(ModelClass object,
StateMachine.Vertex vertex) |
void |
DiagnosticsService.leavingVertex(ModelClass object,
StateMachine.Vertex vertex) |
void |
DiagnosticsService.processingSignal(ModelClass object,
Signal signal,
java.util.Optional<ModelClass> sender) |
void |
DiagnosticsServer.register(ModelClass object,
java.lang.String currentLocation) |
void |
DiagnosticsService.usingTransition(ModelClass object,
StateMachine.Transition transition) |
Modifier and Type | Method and Description |
---|---|
void |
DiagnosticsService.processingSignal(ModelClass object,
Signal signal,
java.util.Optional<ModelClass> sender) |
Modifier and Type | Method and Description |
---|---|
SingleThreadModelClassRuntime |
DefaultModelRuntime.createModelClassRuntime(ModelClass object) |
SingleThreadPortRuntime |
DefaultModelRuntime.createPortRuntime(ModelClass.Port<?,?> portInstance,
ModelClass owner) |
Modifier and Type | Interface and Description |
---|---|
interface |
AssociationEndRuntime<T extends ModelClass,C extends GeneralCollection<? super T>> |
Modifier and Type | Method and Description |
---|---|
static <T extends ModelClass,C extends GeneralCollection<? super T>> |
AssociationEndRuntime.create(AssociationEnd<C> wrapped) |
static <T extends ModelClass,C extends GeneralCollection<? super T>> |
AssociationEndRuntime.create(java.lang.Class<? extends AssociationEnd<C>> typeOfWrapped) |
<T extends ModelClass,C extends GeneralCollection<? super T>> |
AssociationsMap.getEnd(java.lang.Class<? extends AssociationEnd<C>> otherEnd) |
<T extends ModelClass,C extends GeneralCollection<? super T>> |
AssociationsMap.putEnd(java.lang.Class<? extends AssociationEnd<C>> otherEnd,
AssociationEndRuntime<T,C> wrapper) |
Modifier and Type | Method and Description |
---|---|
abstract <T extends ModelClass,C extends GeneralCollection<? super T>> |
AbstractModelClassRuntime.addToAssoc(java.lang.Class<? extends AssociationEnd<C>> otherEnd,
T object)
Adds the specified object to the collection containing the objects in
association with the wrapped ModelClass instance and being on the
specified opposite association end.
|
abstract <T extends ModelClass,C extends GeneralCollection<? super T>> |
AbstractModelClassRuntime.getAssoc(java.lang.Class<? extends AssociationEnd<C>> otherEnd)
Returns the wrapper of the requested association end which has the
collection containing the objects in association with the wrapped
ModelClass instance and being on the specified opposite association end.
|
abstract <T extends ModelClass,C extends GeneralCollection<? super T>> |
AbstractModelClassRuntime.hasAssoc(java.lang.Class<? extends AssociationEnd<C>> otherEnd,
T object)
Checks if the specified object is an element of the collection containing
the objects in association with the wrapped ModelClass instance and being
on the specified opposite association end.
|
<T extends ModelClass,C extends GeneralCollection<T>,AE extends AssociationEnd<C> & AssociationEnd.Navigable> |
AbstractModelClassRuntime.navigateThroughAssociation(java.lang.Class<AE> otherEnd) |
abstract <T extends ModelClass,C extends GeneralCollection<? super T>> |
AbstractModelClassRuntime.removeFromAssoc(java.lang.Class<? extends AssociationEnd<C>> otherEnd,
T object)
Removes the specified object from the collection containing the objects
in association with the wrapped ModelClass instance and being on the
specified opposite association end.
|
Modifier and Type | Method and Description |
---|---|
ModelClass |
SignalWrapper.getSenderOrNull()
The
sender is the object who originally sent this signal, if
known. |
Modifier and Type | Method and Description |
---|---|
abstract C |
AbstractModelRuntime.createModelClassRuntime(ModelClass object) |
abstract P |
AbstractModelRuntime.createPortRuntime(ModelClass.Port<?,?> portInstance,
ModelClass owner) |
protected C |
AbstractModelRuntime.getRuntimeOf(ModelClass cls) |
static SignalWrapper |
SignalWrapper.of(Signal signal,
ModelClass sender) |
void |
AbstractSignalTargetRuntime.receiveLater(Signal signal,
ModelClass sender) |
Constructor and Description |
---|
AbstractModelClassRuntime(ModelClass wrapped,
AbstractExecutorThread thread,
java.lang.String identifier) |
SignalWrapper(Signal signal,
ModelClass sender,
AbstractPortRuntime lastPort) |
Modifier and Type | Method and Description |
---|---|
ModelClass |
Message.getSenderOrNull() |
ModelClass |
Message.getTarget() |
Modifier and Type | Method and Description |
---|---|
static Message |
Message.fromActor(Signal signal,
ModelClass target) |
static Message |
Message.fromObject(ModelClass sender,
Signal signal,
ModelClass target) |
static Message |
Message.fromUnknown(Signal signal,
ModelClass target) |
Constructor and Description |
---|
Message(ModelClass sender,
Signal signal,
ModelClass target,
java.lang.Boolean fromActor) |
Modifier and Type | Method and Description |
---|---|
<T extends ModelClass,C extends GeneralCollection<? super T>> |
SingleThreadModelClassRuntime.addToAssoc(java.lang.Class<? extends AssociationEnd<C>> otherEnd,
T object) |
<T extends ModelClass,C extends GeneralCollection<? super T>> |
SingleThreadModelClassRuntime.getAssoc(java.lang.Class<? extends AssociationEnd<C>> otherEnd) |
<T extends ModelClass,C extends GeneralCollection<? super T>> |
SingleThreadModelClassRuntime.hasAssoc(java.lang.Class<? extends AssociationEnd<C>> otherEnd,
T object) |
<L extends ModelClass,R extends ModelClass,CL extends GeneralCollection<? super L>,CR extends GeneralCollection<? super R>> |
SingleThreadModelRuntime.link(java.lang.Class<? extends AssociationEnd<CL>> leftEnd,
L leftObj,
java.lang.Class<? extends AssociationEnd<CR>> rightEnd,
R rightObj) |
<L extends ModelClass,R extends ModelClass,CL extends GeneralCollection<? super L>,CR extends GeneralCollection<? super R>> |
SingleThreadModelRuntime.link(java.lang.Class<? extends AssociationEnd<CL>> leftEnd,
L leftObj,
java.lang.Class<? extends AssociationEnd<CR>> rightEnd,
R rightObj) |
<T extends ModelClass,C extends GeneralCollection<? super T>> |
SingleThreadModelClassRuntime.removeFromAssoc(java.lang.Class<? extends AssociationEnd<C>> otherEnd,
T object) |
protected <R extends ModelClass,CR extends GeneralCollection<? super R>> |
SingleThreadModelRuntime.tryAddToAssoc(C left,
java.lang.Class<? extends AssociationEnd<CR>> rightEnd,
C right,
R rightObj,
java.lang.Runnable rollBack) |
<L extends ModelClass,R extends ModelClass,CL extends GeneralCollection<? super L>,CR extends GeneralCollection<? super R>> |
SingleThreadModelRuntime.unlink(java.lang.Class<? extends AssociationEnd<CL>> leftEnd,
L leftObj,
java.lang.Class<? extends AssociationEnd<CR>> rightEnd,
R rightObj) |
<L extends ModelClass,R extends ModelClass,CL extends GeneralCollection<? super L>,CR extends GeneralCollection<? super R>> |
SingleThreadModelRuntime.unlink(java.lang.Class<? extends AssociationEnd<CL>> leftEnd,
L leftObj,
java.lang.Class<? extends AssociationEnd<CR>> rightEnd,
R rightObj) |
Modifier and Type | Method and Description |
---|---|
abstract C |
SingleThreadModelRuntime.createModelClassRuntime(ModelClass object) |
abstract P |
SingleThreadModelRuntime.createPortRuntime(ModelClass.Port<?,?> portInstance,
ModelClass owner) |
Constructor and Description |
---|
SingleThreadModelClassRuntime(ModelClass wrapped,
AbstractExecutorThread thread) |
Modifier and Type | Method and Description |
---|---|
<L extends ModelClass,R extends ModelClass,CL extends GeneralCollection<? super L>,CR extends GeneralCollection<? super R>> |
WarningLogger.unlinkingNonExistingAssociation(java.lang.Class<? extends AssociationEnd<CL>> leftEnd,
L leftObj,
java.lang.Class<? extends AssociationEnd<CR>> rightEnd,
R rightObj) |
<L extends ModelClass,R extends ModelClass,CL extends GeneralCollection<? super L>,CR extends GeneralCollection<? super R>> |
WarningLogger.unlinkingNonExistingAssociation(java.lang.Class<? extends AssociationEnd<CL>> leftEnd,
L leftObj,
java.lang.Class<? extends AssociationEnd<CR>> rightEnd,
R rightObj) |
Modifier and Type | Method and Description |
---|---|
void |
TraceLogger.enteringVertex(ModelClass object,
StateMachine.Vertex vertex) |
void |
TraceLogger.leavingVertex(ModelClass object,
StateMachine.Vertex vertex) |
void |
ErrorLogger.linkingDeletedObject(ModelClass obj) |
void |
WarningLogger.lostSignalAtObject(Signal signal,
ModelClass obj) |
void |
ErrorLogger.lowerBoundOfMultiplicityOffended(ModelClass obj,
java.lang.Class<? extends AssociationEnd<?>> assocEnd) |
void |
ErrorLogger.multipleContainerForAnObject(ModelClass obj,
java.lang.Class<? extends AssociationEnd<?>> assocEnd) |
void |
ErrorLogger.objectCannotBeDeleted(ModelClass obj) |
void |
TraceLogger.processingSignal(ModelClass object,
Signal signal,
java.util.Optional<ModelClass> sender) |
void |
WarningLogger.signalArrivedToDeletedObject(ModelClass obj,
Signal signal) |
void |
ErrorLogger.startingDeletedObject(ModelClass obj) |
void |
ErrorLogger.unlinkingDeletedObject(ModelClass obj) |
void |
ErrorLogger.upperBoundOfMultiplicityOffended(ModelClass obj,
java.lang.Class<? extends AssociationEnd<?>> assocEnd) |
void |
TraceLogger.usingTransition(ModelClass object,
StateMachine.Transition transition) |
Modifier and Type | Method and Description |
---|---|
void |
TraceLogger.processingSignal(ModelClass object,
Signal signal,
java.util.Optional<ModelClass> sender) |
Modifier and Type | Method and Description |
---|---|
ModelClass |
MessageError.getSender() |
ModelClass |
MessageError.getTarget() |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
ModelClasses.getIdentifierOf(ModelClass obj)
Returns the unique identifier of the given model class instance.
|
static java.lang.String |
ModelClasses.getNameOf(ModelClass obj)
Returns the modifiable name of the given model class instance.
|
static ModelClass.Status |
ModelClasses.getStatusOf(ModelClass obj)
Returns the current status of a model class instance.
|
static void |
ModelClasses.setNameOf(ModelClass obj,
java.lang.String newName)
Sets the modifiable name of the given model class instance.
|
Modifier and Type | Method and Description |
---|---|
<L extends ModelClass,R extends ModelClass,CL extends GeneralCollection<? super L>,CR extends GeneralCollection<? super R>> |
ModelRuntime.link(java.lang.Class<? extends AssociationEnd<CL>> leftEnd,
L leftObj,
java.lang.Class<? extends AssociationEnd<CR>> rightEnd,
R rightObj)
|
<L extends ModelClass,R extends ModelClass,CL extends GeneralCollection<? super L>,CR extends GeneralCollection<? super R>> |
ModelRuntime.link(java.lang.Class<? extends AssociationEnd<CL>> leftEnd,
L leftObj,
java.lang.Class<? extends AssociationEnd<CR>> rightEnd,
R rightObj)
|
<T extends ModelClass,C extends GeneralCollection<T>,AE extends AssociationEnd<C> & AssociationEnd.Navigable> |
ModelClassRuntime.navigateThroughAssociation(java.lang.Class<AE> otherEnd) |
<L extends ModelClass,R extends ModelClass,CL extends GeneralCollection<? super L>,CR extends GeneralCollection<? super R>> |
ModelRuntime.unlink(java.lang.Class<? extends AssociationEnd<CL>> leftEnd,
L leftObj,
java.lang.Class<? extends AssociationEnd<CR>> rightEnd,
R rightObj)
|
<L extends ModelClass,R extends ModelClass,CL extends GeneralCollection<? super L>,CR extends GeneralCollection<? super R>> |
ModelRuntime.unlink(java.lang.Class<? extends AssociationEnd<CL>> leftEnd,
L leftObj,
java.lang.Class<? extends AssociationEnd<CR>> rightEnd,
R rightObj)
|
Modifier and Type | Method and Description |
---|---|
void |
InteractionRuntime.assertState(ModelClass instance,
java.lang.Class<?> state)
Called by
Sequence.assertState(ModelClass, Class) . |
ModelClassRuntime |
ModelRuntime.createModelClassRuntime(ModelClass wrapped)
Creates a model class wrapper for the given wrapped object.
|
PortRuntime |
ModelRuntime.createPortRuntime(ModelClass.Port<?,?> wrapped,
ModelClass owner)
Creates a port wrapper for the given wrapped port instance.
|
void |
InteractionRuntime.message(ModelClass sender,
Signal signal,
ModelClass target)
|
void |
InteractionRuntime.messageFromActor(Signal signal,
ModelClass target)
Called by
Sequence.fromActor(Signal, ModelClass) . |
void |
SignalTargetRuntime.receiveLater(Signal signal,
ModelClass sender)
Asynchronously sends a signal to this object from the given sender.
|
Modifier and Type | Method and Description |
---|---|
static void |
Sequence.assertState(ModelClass instance,
java.lang.Class<?> state)
Verifies that the
ModelClass instance is currently in the given
state. |
static void |
Sequence.fromActor(Signal signal,
ModelClass target)
Asynchronously sends the given signal to the given target from the actor;
also checks that the signal arrives and is processed properly.
|
static void |
Sequence.send(ModelClass sender,
Signal signal,
ModelClass target)
Tells the sequence diagram executor that the given signal has to be sent
to the given target from the given sender.
|
Constructor and Description |
---|
SendLater(Signal signal,
ModelClass targetObject) |