default_domain.html 1.6 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980
  1. <!DOCTYPE html>
  2. <html lang="en">
  3. <head>
  4. <meta charset="UTF-8">
  5. <title>YAKINDU Statechart Tools Default Domain</title>
  6. <style media="screen" type="text/css">
  7. html {
  8. font-family: sans-serif;
  9. font-size: 10px;
  10. -webkit-text-size-adjust: 100%;
  11. -ms-text-size-adjust: 100%;
  12. }
  13. body {
  14. margin: 20;
  15. font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  16. font-size: 14px;
  17. line-height: 1.42857143;
  18. color: #333;
  19. background-color: #fff;
  20. }
  21. h1,
  22. h2,
  23. h3,
  24. h4,
  25. h5,
  26. h6,
  27. .h1,
  28. .h2,
  29. .h3,
  30. .h4,
  31. .h5,
  32. .h6 {
  33. font-family: inherit;
  34. font-weight: 500;
  35. line-height: 1.1;
  36. color: inherit;
  37. }
  38. h1,
  39. .h1,
  40. h2,
  41. .h2,
  42. h3,
  43. .h3 {
  44. margin-top: 20px;
  45. margin-bottom: 10px;
  46. }
  47. h2,
  48. .h2 {
  49. font-size: 30px;
  50. }
  51. </style>
  52. </head>
  53. <body class="body-container">
  54. <div class="primary">
  55. <h2>YAKINDU Statechart Tools - Default Domain</h2>
  56. <div>
  57. <p>
  58. YAKINDU Statechart Tools 'Default Domain' is a platform independent domain with a basic type system.
  59. Choose this domain if you are new to YAKINDU Statechart Tools or you want to develop a generic statemachine, for for example to generate C, C++ or Java code.
  60. <br />
  61. </p>
  62. <h3>Default Type System</h3>
  63. The 'Default Domain' integrated type system consists of the following simple types:
  64. <ul>
  65. <li>integer</li>
  66. <li>real</li>
  67. <li>boolean</li>
  68. <li>string</li>
  69. <li>void</li>
  70. </ul>
  71. <p>
  72. Depending on the code generator, these types will be mapped to language specific types.
  73. For C and C++, this is configurable via the generated sc_types.h. For exmaple, the type integer will be mapped to an int32_t.
  74. </p>
  75. </div>
  76. </body>
  77. </html>