...

In the following we will describe some basic elements using the famous ABRO example:

Column

width	50%

Code Block

language	sct
linenumbers	true

@HVLayout
scchart ABRO {
  input bool A, B, R;
  output bool O = false; 
  region Main:
  initial state ABO "ABthenO" {
    entry / O = false;
    initial state WaitAandB {
      region HandleA: 
      initial state wA 
      --> dA with A;
      final state dA;
      region HandleB:
      initial state wB
      --> dB with B;
      final state dB;
    }
    >-> done with / O = true;
    final state done;
  }
  o-> ABO with R;
}

...

Annotation are processed in sequential order.

Pattern

Usage

Description

Example

No Format

nopanel	true

@synthesis[<key>] <value>

Location:

scchart

<key>

The name of the synthesis option. The given name is evaluated case-insensitive and whitespace-ignoring. The options are searched for the first matching prefix.

<value>

The value type depends on the option type:

CheckBox: true or false

Choice: Name of choice item

Slider: Float value

Sets the synthesis option identified by <key> to the given value.

The available synthesis options for a diagram are displayed in the sidebar of the diagram view.

The values from the sidebar will be ignored if a corresponding annotation is present.

Code Block

language	sct

@diagram[paper] true
scchart Testing {
  initial state A
  --> B;
  final state B;
}

No Format

nopanel	true

@layout[<key>] <value>

Location:	scchart, state, region, transition
<key>	The ID of the layout option. The options are searched for the first matching postfix.
<value>	The value type depends on the option type. The value is parsed case-sensitive.

Sets the layout property identified by <key> to the given value on the annotated element.

The available layout options are documented here.

Layout options will only affect the annotated element and no underlying hierarchy levels.

If a layout direction is specified with this annotation it overrides the layout direction set by HV-/VH-Layout in any parent element for this element.

Special case: If the direction is set on the scchart element (top level) it overrides the default alternating layout.

Expand

title	Commonly Used

direction	Layout direction
priority	Can influence the order of regions

Code Block

language	sct

scchart Testing {
    @layout[algorithm] de.cau.cs.kieler.graphviz.circo
    region:
    initial final state A
    --> B;
    state B
    --> C;
    state C
    --> A;
}

Code Block

language	sct

scchart Testing {
    @layout[direction] UP
    region "up":
    initial state A
    --> B;
    final state B;
    @layout[direction] LEFT
    region "left":
    initial state A
    --> B;
    final state B;
}

No Format

nopanel	true

@HVLayout
@VHLayout

Location:	scchart, state, region

Defines the order of the alternating layout directions.

The annotation can be mixed and nested in the SCChart and will only affect succeeding hierarchy levels.

The default is an implicit HVLayout starting at the top level state.

Code Block

language	sct

@VHLayout
scchart Testing {
  initial state A
  --> B;
  final state B;
}

No Format

nopanel	true

@collapse
@expand

Location:	region

The annotated region will be initially collapse or expanded.

Code Block

language	sct

scchart Testing {
  @collapsed  
  region:
  initial state A
  --> B;
  final state B;
}

No Format

nopanel	true

@hide

Location:	scchart, state, region, transition

The annotated element will be excluded from the diagram.

Transitions with a hidden source or target state will be hidden as well.

Code Block

language	sct

scchart Testing {
  initial state A
  --> B;
  @hide
  final state B;
}

Overview of Operators

The following briefly describes the operators that can be used in expressions.

Assignment Operator	Description	Example
=	Assignment operator	x = 42

Arithmetic Operators	Description	Example
+	Addition	2 + 1
-	Subtraction	2 - 1
*	Multiplication	3 * 2
:	Division	6 : 2

Unary Operator	Description	Example
+	Indicate a positive number	+2
-	Negate a number	-2
++	Increment	x++
--	Decrement	x--

Boolean Operator	Description	Example
==	Equal to	x == 2
!	Negate a boolean value	! (x == 2)
!=	Not equal to	x != 2
>	Greater than	x > 2
>=	Greather than or equal to	x >= 2
<	Less than	x < 2
<=	Less than or equal to	x <= 2
&&	Conditional-AND	x > 0 && x < 9
\|\|	Conditional-OR	x < 0 \|\| x > 9

Page tree

Versions Compared

Old Version 47

New Version 48

Key

Overview of Operators

Page tree

Page History

Versions Compared

Old Version 47

New Version 48

Key

Overview of Operators