Package de.mid.innovator.srv2api.icw2ia

Class IACriticalHelper

java.lang.Object

de.mid.innovator.srv2api.icw2ia.IACriticalHelper

public abstract class IACriticalHelper
extends java.lang.Object

The interactionOperator 'critical' designates that the CombinedFragment represents a critical region. A critical region means that the traces of the region cannot be interleaved by other OccurrenceSpecifications (on those Lifelines covered by the region). This means that the region is treated atomically by the enclosing fragment when determining the set of valid traces.

See Also:

IACritical

Method Summary

Modifier and Type	Method	Description
static IACritical	create(SrvContext srvCtx, MMCreateTemplate ohTemplate, ELContainerAble ohContainer)	Create a new Critical Region with template and container.
static IACritical	create(SrvContext srvCtx, MMStereotype ohStereotype, ELContainerAble ohContainer)	Create a new Critical Region with stereotype and container.

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

create

public static IACritical create(SrvContext srvCtx,
                                MMStereotype ohStereotype,
                                ELContainerAble ohContainer)
                         throws InoNetException,
                                SrvErrorException

Create a new Critical Region with stereotype and container.

Parameters:

srvCtx - The context of the related innovator server.

ohStereotype - Stereotype for the new element

ohContainer - Container for the new element

Throws:

InoNetException

SrvErrorException

create

public static IACritical create(SrvContext srvCtx,
                                MMCreateTemplate ohTemplate,
                                ELContainerAble ohContainer)
                         throws InoNetException,
                                SrvErrorException

Create a new Critical Region with template and container.

Parameters:

srvCtx - The context of the related innovator server.

ohTemplate - Template for the new element

ohContainer - Container for the new element

Throws:

InoNetException

SrvErrorException