Package de.mid.innovator.srv2api.icw2ia

Class IAAssertHelper

java.lang.Object

de.mid.innovator.srv2api.icw2ia.IAAssertHelper

public abstract class IAAssertHelper
extends java.lang.Object

The interactionOperator 'assert' designates that the CombinedFragment represents an assertion. The sequences of the operand of the assertion are the only valid continuations. All other continuations result in an invalid trace.

See Also:

IAAssert

Method Summary

Modifier and Type	Method	Description
static IAAssert	create(SrvContext srvCtx, MMCreateTemplate ohTemplate, ELContainerAble ohContainer)	Create a new Assertion with template and container.
static IAAssert	create(SrvContext srvCtx, MMStereotype ohStereotype, ELContainerAble ohContainer)	Create a new Assertion 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 IAAssert create(SrvContext srvCtx,
                              MMStereotype ohStereotype,
                              ELContainerAble ohContainer)
                       throws InoNetException,
                              SrvErrorException

Create a new Assertion 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 IAAssert create(SrvContext srvCtx,
                              MMCreateTemplate ohTemplate,
                              ELContainerAble ohContainer)
                       throws InoNetException,
                              SrvErrorException

Create a new Assertion 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