jssm 5.83.0 → 5.83.1

package/dist/es6/jssm.js

@@ -7,11 +7,13 @@ import { default_theme } from './themes/jssm_theme_default';
 import { modern_theme } from './themes/jssm_theme_modern';
 import { ocean_theme } from './themes/jssm_theme_ocean';
 import { plain_theme } from './themes/jssm_theme_plain';
+import { bold_theme } from './themes/jssm_theme_bold';
 const theme_mapping = new Map();
 theme_mapping.set('default', default_theme);
 theme_mapping.set('modern', modern_theme);
 theme_mapping.set('ocean', ocean_theme);
 theme_mapping.set('plain', plain_theme);
+theme_mapping.set('bold', bold_theme);
 import { seq, unique, find_repeated, weighted_rand_select, weighted_sample_select, histograph, weighted_histo_key, array_box_if_string, name_bind_prop_and_state, hook_name, named_hook_name } from './jssm_util';
 import * as constants from './jssm_constants';
 const { shapes, gviz_shapes, named_colors } = constants;

package/dist/es6/jssm_types.d.ts

@@ -26,7 +26,7 @@ declare type JssmCorner = 'regular' | 'rounded' | 'lined';
 declare type JssmLineStyle = 'solid' | 'dashed' | 'dotted';
 declare const FslDirections: readonly ["up", "right", "down", "left"];
 declare type FslDirection = typeof FslDirections[number];
-declare const FslThemes: readonly ["default", "ocean", "modern", "plain"];
+declare const FslThemes: readonly ["default", "ocean", "modern", "plain", "bold"];
 declare type FslTheme = typeof FslThemes[number];
 declare type JssmSerialization<DataType> = {
     jssm_version: string;
@@ -154,6 +154,7 @@ declare type JssmStateStyleBorderColor = {
 declare type JssmStateStyleKey = JssmStateStyleShape | JssmStateStyleColor | JssmStateStyleTextColor | JssmStateStyleCorners | JssmStateStyleLineStyle | JssmStateStyleBackgroundColor | JssmStateStyleStateLabel | JssmStateStyleBorderColor;
 declare type JssmStateStyleKeyList = JssmStateStyleKey[];
 declare type JssmBaseTheme = {
+    name: string;
     state: JssmStateConfig;
     hooked: JssmStateConfig;
     start: JssmStateConfig;

package/dist/es6/jssm_types.js

@@ -1,3 +1,3 @@
 const FslDirections = ['up', 'right', 'down', 'left'];
-const FslThemes = ['default', 'ocean', 'modern', 'plain'];
+const FslThemes = ['default', 'ocean', 'modern', 'plain', 'bold'];
 export { FslDirections, FslThemes };

package/dist/es6/themes/jssm_base_stylesheet.js

@@ -1,6 +1,6 @@
 const base_state_style = {
     shape: 'rectangle',
-    backgroundColor: 'khaki',
+    backgroundColor: 'white',
     textColor: 'black',
     borderColor: 'black'
 };
@@ -37,6 +37,7 @@ const base_active_end_state_style = {
     backgroundColor: 'darkgreen'
 };
 const base_theme = {
+    name: 'base',
     state: base_state_style,
     start: base_start_state_style,
     end: base_end_state_style,

package/dist/es6/themes/jssm_theme_bold.d.ts

@@ -0,0 +1,11 @@
+import { JssmStateConfig, JssmBaseTheme } from '../jssm_types';
+declare const base_state_style: JssmStateConfig;
+declare const base_active_state_style: JssmStateConfig;
+declare const base_terminal_state_style: JssmStateConfig;
+declare const base_active_terminal_state_style: JssmStateConfig;
+declare const base_start_state_style: JssmStateConfig;
+declare const base_active_start_state_style: JssmStateConfig;
+declare const base_end_state_style: JssmStateConfig;
+declare const base_active_end_state_style: JssmStateConfig;
+declare const bold_theme: JssmBaseTheme;
+export { base_state_style, base_active_state_style, base_terminal_state_style, base_active_terminal_state_style, base_start_state_style, base_active_start_state_style, base_end_state_style, base_active_end_state_style, bold_theme, bold_theme as theme };

package/dist/es6/themes/jssm_theme_bold.js

@@ -0,0 +1,58 @@
+const base_state_style = {
+    shape: 'rectangle',
+    backgroundColor: 'khaki',
+    textColor: 'black',
+    borderColor: 'black'
+};
+const base_active_state_style = {
+    textColor: 'white',
+    backgroundColor: 'dodgerblue4'
+};
+const base_hooked_state_style = {
+    shape: 'component'
+};
+const base_terminal_state_style = {
+    textColor: 'white',
+    backgroundColor: 'crimson'
+};
+const base_active_terminal_state_style = {
+    textColor: 'white',
+    backgroundColor: 'indigo'
+};
+const base_start_state_style = {
+    backgroundColor: 'yellow'
+};
+const base_active_start_state_style = {
+    backgroundColor: 'yellowgreen'
+};
+const base_active_hooked_state_style = {
+    backgroundColor: 'yellowgreen'
+};
+const base_end_state_style = {
+    textColor: 'white',
+    backgroundColor: 'darkolivegreen'
+};
+const base_active_end_state_style = {
+    textColor: 'white',
+    backgroundColor: 'darkgreen'
+};
+const bold_theme = {
+    name: 'bold',
+    state: base_state_style,
+    start: base_start_state_style,
+    end: base_end_state_style,
+    terminal: base_terminal_state_style,
+    hooked: base_hooked_state_style,
+    active: base_active_state_style,
+    active_start: base_active_start_state_style,
+    active_end: base_active_end_state_style,
+    active_terminal: base_active_terminal_state_style,
+    active_hooked: base_active_hooked_state_style,
+    legal: undefined,
+    main: undefined,
+    forced: undefined,
+    action: undefined,
+    graph: undefined,
+    title: undefined // TODO FIXME
+};
+export { base_state_style, base_active_state_style, base_terminal_state_style, base_active_terminal_state_style, base_start_state_style, base_active_start_state_style, base_end_state_style, base_active_end_state_style, bold_theme, bold_theme as theme };

package/dist/es6/themes/jssm_theme_default.js

@@ -1,6 +1,6 @@
 const base_state_style = {
     shape: 'rectangle',
-    backgroundColor: 'khaki',
+    backgroundColor: 'white',
     textColor: 'black',
     borderColor: 'black'
 };
@@ -37,6 +37,7 @@ const base_active_end_state_style = {
     backgroundColor: 'darkgreen'
 };
 const default_theme = {
+    name: 'default',
     state: base_state_style,
     start: base_start_state_style,
     end: base_end_state_style,

package/dist/es6/themes/jssm_theme_modern.js

@@ -37,6 +37,7 @@ const base_active_end_state_style = {
     backgroundColor: 'darkgreen'
 };
 const modern_theme = {
+    name: 'modern',
     state: base_state_style,
     start: base_start_state_style,
     end: base_end_state_style,

package/dist/es6/themes/jssm_theme_ocean.js

@@ -35,6 +35,7 @@ const base_active_end_state_style = {
     backgroundColor: 'darkgreen'
 };
 const ocean_theme = {
+    name: 'ocean',
     state: base_state_style,
     start: base_start_state_style,
     end: base_end_state_style,

package/dist/es6/themes/jssm_theme_plain.js

@@ -49,6 +49,7 @@ const base_active_end_state_style = {
     shape: 'plaintext'
 };
 const plain_theme = {
+    name: 'plain',
     state: base_state_style,
     start: base_start_state_style,
     end: base_end_state_style,

package/dist/es6/version.js

@@ -1,2 +1,2 @@
-const version = "5.83.0";
+const version = "5.83.1";
 export { version };