This content area is UNDER CONSTRUCTION or MIGRATION
Context
Analysis snippets
  1. Kernel

    Specifies whether the return parameter is ordered or not, if present. This is derived.

  2. Kernel

    Specifies whether an execution of the BehavioralFeature leaves the state of the system unchanged (isQuery=true) or whether side effects may occur (isQuery=false). The default value is false.

  3. Kernel

    Specifies whether the return parameter is unique or not, if present. This is derived.

  4. Kernel

    Specifies the lower multiplicity of the return parameter, if present. This is derived

  5. Kernel

    Specifies the upper multiplicity of the return parameter, if present. This is derived.

randomness