Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

The textual SCCharts language supports several annotations to influence the visual representation of the model.

Annotation are processed in sequential order.

@diagram

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

PatternUsageDescriptionExample
No Format
nopaneltrue
@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 prefix <key> and the first match is takenfirst 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.

Code Block
languagesct
Code Block
languagesct
@diagram[paper] true
scchart Testing {
  initial state A
  --> B;
  final state B;
}
No Format
nopaneltrue
@layout[<key>] <value>
Location:scchart, state, region, transition
<key>keyThe 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.

 

 

Column

 

 

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

 

 

No Format
nopaneltrue
@HVLayout
@VHLayout
Location:scchart, state, region
 
Code Block
languagesct
@VHLayout
scchart Testing {
  initial state A
  --> B;
  final state B;
}
No Format
nopaneltrue
@collapse
@expand
Location:scchart, state, region
 
Code Block
languagesct
scchart Testing {
  initial state A
  --> B;
  final state B;
}
No Format
nopaneltrue
@hide
Location:scchart, state, region, transition
 
Code Block
languagesct
scchart Testing {
  initial state A
  --> B;
  @hide
  final state B;
}