


{"id":394420,"date":"2024-11-20T02:27:40","date_gmt":"2024-11-20T02:27:40","guid":{"rendered":"https:\/\/innovationspace.ansys.com\/forum\/forums\/topic\/why-local-variable-has-no-definition-when-it-is-already-defined-in-actions\/"},"modified":"2024-11-20T11:56:50","modified_gmt":"2024-11-20T11:56:50","slug":"why-local-variable-has-no-definition-when-it-is-already-defined-in-actions","status":"answered","type":"topic","link":"https:\/\/innovationspace.ansys.com\/forum\/forums\/topic\/why-local-variable-has-no-definition-when-it-is-already-defined-in-actions\/","title":{"rendered":"Why local variable &#8220;has no definition&#8221; when it is already defined in actions?"},"content":{"rendered":"<p>&lt;p&gt;In <code>scade language reference<\/code>, there is an example as following :&lt;\/p&gt;&lt;p&gt;&nbsp;&lt;\/p&gt;&lt;p&gt;<code><\/code><code>&lt;br&gt;node StateMachine_1(bI1: bool)&amp;nbsp;&lt;br&gt;&amp;nbsp; returns (bO1: bool default = true; iO2: int16 default = 0; bO3: bool default = false)&lt;br&gt;let&lt;br&gt;&amp;nbsp; automaton SM1&amp;nbsp;&lt;br&gt;&amp;nbsp; &amp;nbsp; initial state ST1&amp;nbsp;&lt;br&gt;&amp;nbsp; &amp;nbsp; unless if bI1 resume ST2;&lt;br&gt;&amp;nbsp; &amp;nbsp; sig sig1;&lt;br&gt;&amp;nbsp; &amp;nbsp; var iV1: int16;&amp;nbsp;&lt;br&gt;&amp;nbsp; &amp;nbsp; let&lt;br&gt;&amp;nbsp; &amp;nbsp; &amp;nbsp; iV1 = 10;&lt;br&gt;&amp;nbsp; &amp;nbsp; &amp;nbsp; emit &#039;sig1;&lt;br&gt;&amp;nbsp; &amp;nbsp; &amp;nbsp; bO1 = &#039;sig1;&lt;br&gt;&amp;nbsp; &amp;nbsp; &amp;nbsp; iO2 = iV1 -&gt; pre iO2 + 2;&amp;nbsp;&lt;br&gt;&amp;nbsp; &amp;nbsp; tel&lt;\/p&gt;&lt;p&gt;&amp;nbsp;&lt;\/p&gt;&lt;p&gt;&amp;nbsp; &amp;nbsp; state ST2&amp;nbsp;&lt;br&gt;&amp;nbsp; &amp;nbsp; sig sig1;&amp;nbsp;&lt;br&gt;&amp;nbsp; &amp;nbsp; var bV1: bool; \/\/ err: V1 has no definition&lt;br&gt;&amp;nbsp; &amp;nbsp; until if true do&amp;nbsp;&lt;br&gt;&amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; let&lt;br&gt;&amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; emit &#039;sig1;&lt;br&gt;&amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; bV1 = &#039;sig1;&lt;br&gt;&amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; bO3 = bV1;&amp;nbsp;&lt;br&gt;&amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; tel&lt;br&gt;&amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; &amp;nbsp; restart ST1;&amp;nbsp;&lt;br&gt;&amp;nbsp; returns ..;&lt;br&gt;tel&lt;br&gt;<\/code><code><\/code>&lt;\/p&gt;&lt;p&gt;&nbsp;&lt;\/p&gt;&lt;p&gt;When compile the program using kcg, error &#8220;V1 has no definition&#8221; occurs. But <code>V1<\/code> will be always defined in transition action every time entering state <code>ST2<\/code>. How to understand this error?&nbsp;&lt;\/p&gt;<\/p>\n","protected":false},"template":"","class_list":["post-394420","topic","type-topic","status-answered","hentry"],"aioseo_notices":[],"aioseo_head":"\n\t\t<!-- All in One SEO 4.9.10 - aioseo.com -->\n\t<meta name=\"description\" content=\"In scade language reference, there is an example as following : node StateMachine_1(bI1: bool) returns (bO1: bool default = true; iO2: int16 default = 0; bO3: bool default = false)let automaton SM1 initial state ST1 unless if bI1 resume ST2; sig sig1; var iV1: int16; let iV1 = 10;\" \/>\n\t<meta name=\"robots\" content=\"max-image-preview:large\" \/>\n\t<link rel=\"canonical\" href=\"https:\/\/innovationspace.ansys.com\/forum\/forums\/topic\/why-local-variable-has-no-definition-when-it-is-already-defined-in-actions\/\" \/>\n\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 4.9.10\" \/>\n\t\t<meta property=\"og:locale\" content=\"en_US\" \/>\n\t\t<meta property=\"og:site_name\" content=\"Ansys Learning Forum | Ansys Innovation Space\" \/>\n\t\t<meta property=\"og:type\" content=\"article\" \/>\n\t\t<meta property=\"og:title\" content=\"Why local variable \u201chas no definition\u201d when it is already defined in actions? | Ansys Learning Forum\" \/>\n\t\t<meta property=\"og:description\" content=\"In scade language reference, there is an example as following : node StateMachine_1(bI1: bool) returns (bO1: bool default = true; iO2: int16 default = 0; bO3: bool default = false)let automaton SM1 initial state ST1 unless if bI1 resume ST2; sig sig1; var iV1: int16; let iV1 = 10;\" \/>\n\t\t<meta property=\"og:url\" content=\"https:\/\/innovationspace.ansys.com\/forum\/forums\/topic\/why-local-variable-has-no-definition-when-it-is-already-defined-in-actions\/\" \/>\n\t\t<meta property=\"article:published_time\" content=\"2024-11-20T02:27:40+00:00\" \/>\n\t\t<meta property=\"article:modified_time\" content=\"2024-11-20T11:56:50+00:00\" \/>\n\t\t<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n\t\t<meta name=\"twitter:title\" content=\"Why local variable \u201chas no definition\u201d when it is already defined in actions? | Ansys Learning Forum\" \/>\n\t\t<meta name=\"twitter:description\" content=\"In scade language reference, there is an example as following : node StateMachine_1(bI1: bool) returns (bO1: bool default = true; iO2: int16 default = 0; bO3: bool default = false)let automaton SM1 initial state ST1 unless if bI1 resume ST2; sig sig1; var iV1: int16; let iV1 = 10;\" \/>\n\t\t<script type=\"application\/ld+json\" class=\"aioseo-schema\">\n\t\t\t{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/innovationspace.ansys.com\\\/forum\\\/forums\\\/topic\\\/why-local-variable-has-no-definition-when-it-is-already-defined-in-actions\\\/#breadcrumblist\",\"itemListElement\":[{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/innovationspace.ansys.com\\\/forum#listItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/innovationspace.ansys.com\\\/forum\",\"nextItem\":{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/innovationspace.ansys.com\\\/forum\\\/topics\\\/#listItem\",\"name\":\"Topics\"}},{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/innovationspace.ansys.com\\\/forum\\\/topics\\\/#listItem\",\"position\":2,\"name\":\"Topics\",\"item\":\"https:\\\/\\\/innovationspace.ansys.com\\\/forum\\\/topics\\\/\",\"nextItem\":{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/innovationspace.ansys.com\\\/forum\\\/forums\\\/topic\\\/why-local-variable-has-no-definition-when-it-is-already-defined-in-actions\\\/#listItem\",\"name\":\"Why local variable &#8220;has no definition&#8221; when it is already defined in actions?\"},\"previousItem\":{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/innovationspace.ansys.com\\\/forum#listItem\",\"name\":\"Home\"}},{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/innovationspace.ansys.com\\\/forum\\\/forums\\\/topic\\\/why-local-variable-has-no-definition-when-it-is-already-defined-in-actions\\\/#listItem\",\"position\":3,\"name\":\"Why local variable &#8220;has no definition&#8221; when it is already defined in actions?\",\"previousItem\":{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/innovationspace.ansys.com\\\/forum\\\/topics\\\/#listItem\",\"name\":\"Topics\"}}]},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/innovationspace.ansys.com\\\/forum\\\/#organization\",\"name\":\"Ansys Learning Forum\",\"description\":\"Ansys Innovation Space\",\"url\":\"https:\\\/\\\/innovationspace.ansys.com\\\/forum\\\/\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/innovationspace.ansys.com\\\/forum\\\/forums\\\/topic\\\/why-local-variable-has-no-definition-when-it-is-already-defined-in-actions\\\/#webpage\",\"url\":\"https:\\\/\\\/innovationspace.ansys.com\\\/forum\\\/forums\\\/topic\\\/why-local-variable-has-no-definition-when-it-is-already-defined-in-actions\\\/\",\"name\":\"Why local variable \\u201chas no definition\\u201d when it is already defined in actions? | Ansys Learning Forum\",\"description\":\"In scade language reference, there is an example as following : node StateMachine_1(bI1: bool) returns (bO1: bool default = true; iO2: int16 default = 0; bO3: bool default = false)let automaton SM1 initial state ST1 unless if bI1 resume ST2; sig sig1; var iV1: int16; let iV1 = 10;\",\"inLanguage\":\"en-US\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/innovationspace.ansys.com\\\/forum\\\/#website\"},\"breadcrumb\":{\"@id\":\"https:\\\/\\\/innovationspace.ansys.com\\\/forum\\\/forums\\\/topic\\\/why-local-variable-has-no-definition-when-it-is-already-defined-in-actions\\\/#breadcrumblist\"},\"datePublished\":\"2024-11-20T02:27:40+00:00\",\"dateModified\":\"2024-11-20T11:56:50+00:00\"},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/innovationspace.ansys.com\\\/forum\\\/#website\",\"url\":\"https:\\\/\\\/innovationspace.ansys.com\\\/forum\\\/\",\"name\":\"Ansys Learning Forum\",\"description\":\"Ansys Innovation Space\",\"inLanguage\":\"en-US\",\"publisher\":{\"@id\":\"https:\\\/\\\/innovationspace.ansys.com\\\/forum\\\/#organization\"}}]}\n\t\t<\/script>\n\t\t<!-- All in One SEO -->\n\n","aioseo_head_json":{"title":"Why local variable \u201chas no definition\u201d when it is already defined in actions? | Ansys Learning Forum","description":"In scade language reference, there is an example as following : node StateMachine_1(bI1: bool) returns (bO1: bool default = true; iO2: int16 default = 0; bO3: bool default = false)let automaton SM1 initial state ST1 unless if bI1 resume ST2; sig sig1; var iV1: int16; let iV1 = 10;","canonical_url":"https:\/\/innovationspace.ansys.com\/forum\/forums\/topic\/why-local-variable-has-no-definition-when-it-is-already-defined-in-actions\/","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"BreadcrumbList","@id":"https:\/\/innovationspace.ansys.com\/forum\/forums\/topic\/why-local-variable-has-no-definition-when-it-is-already-defined-in-actions\/#breadcrumblist","itemListElement":[{"@type":"ListItem","@id":"https:\/\/innovationspace.ansys.com\/forum#listItem","position":1,"name":"Home","item":"https:\/\/innovationspace.ansys.com\/forum","nextItem":{"@type":"ListItem","@id":"https:\/\/innovationspace.ansys.com\/forum\/topics\/#listItem","name":"Topics"}},{"@type":"ListItem","@id":"https:\/\/innovationspace.ansys.com\/forum\/topics\/#listItem","position":2,"name":"Topics","item":"https:\/\/innovationspace.ansys.com\/forum\/topics\/","nextItem":{"@type":"ListItem","@id":"https:\/\/innovationspace.ansys.com\/forum\/forums\/topic\/why-local-variable-has-no-definition-when-it-is-already-defined-in-actions\/#listItem","name":"Why local variable &#8220;has no definition&#8221; when it is already defined in actions?"},"previousItem":{"@type":"ListItem","@id":"https:\/\/innovationspace.ansys.com\/forum#listItem","name":"Home"}},{"@type":"ListItem","@id":"https:\/\/innovationspace.ansys.com\/forum\/forums\/topic\/why-local-variable-has-no-definition-when-it-is-already-defined-in-actions\/#listItem","position":3,"name":"Why local variable &#8220;has no definition&#8221; when it is already defined in actions?","previousItem":{"@type":"ListItem","@id":"https:\/\/innovationspace.ansys.com\/forum\/topics\/#listItem","name":"Topics"}}]},{"@type":"Organization","@id":"https:\/\/innovationspace.ansys.com\/forum\/#organization","name":"Ansys Learning Forum","description":"Ansys Innovation Space","url":"https:\/\/innovationspace.ansys.com\/forum\/"},{"@type":"WebPage","@id":"https:\/\/innovationspace.ansys.com\/forum\/forums\/topic\/why-local-variable-has-no-definition-when-it-is-already-defined-in-actions\/#webpage","url":"https:\/\/innovationspace.ansys.com\/forum\/forums\/topic\/why-local-variable-has-no-definition-when-it-is-already-defined-in-actions\/","name":"Why local variable \u201chas no definition\u201d when it is already defined in actions? | Ansys Learning Forum","description":"In scade language reference, there is an example as following : node StateMachine_1(bI1: bool) returns (bO1: bool default = true; iO2: int16 default = 0; bO3: bool default = false)let automaton SM1 initial state ST1 unless if bI1 resume ST2; sig sig1; var iV1: int16; let iV1 = 10;","inLanguage":"en-US","isPartOf":{"@id":"https:\/\/innovationspace.ansys.com\/forum\/#website"},"breadcrumb":{"@id":"https:\/\/innovationspace.ansys.com\/forum\/forums\/topic\/why-local-variable-has-no-definition-when-it-is-already-defined-in-actions\/#breadcrumblist"},"datePublished":"2024-11-20T02:27:40+00:00","dateModified":"2024-11-20T11:56:50+00:00"},{"@type":"WebSite","@id":"https:\/\/innovationspace.ansys.com\/forum\/#website","url":"https:\/\/innovationspace.ansys.com\/forum\/","name":"Ansys Learning Forum","description":"Ansys Innovation Space","inLanguage":"en-US","publisher":{"@id":"https:\/\/innovationspace.ansys.com\/forum\/#organization"}}]},"og:locale":"en_US","og:site_name":"Ansys Learning Forum | Ansys Innovation Space","og:type":"article","og:title":"Why local variable \u201chas no definition\u201d when it is already defined in actions? | Ansys Learning Forum","og:description":"In scade language reference, there is an example as following : node StateMachine_1(bI1: bool) returns (bO1: bool default = true; iO2: int16 default = 0; bO3: bool default = false)let automaton SM1 initial state ST1 unless if bI1 resume ST2; sig sig1; var iV1: int16; let iV1 = 10;","og:url":"https:\/\/innovationspace.ansys.com\/forum\/forums\/topic\/why-local-variable-has-no-definition-when-it-is-already-defined-in-actions\/","article:published_time":"2024-11-20T02:27:40+00:00","article:modified_time":"2024-11-20T11:56:50+00:00","twitter:card":"summary_large_image","twitter:title":"Why local variable \u201chas no definition\u201d when it is already defined in actions? | Ansys Learning Forum","twitter:description":"In scade language reference, there is an example as following : node StateMachine_1(bI1: bool) returns (bO1: bool default = true; iO2: int16 default = 0; bO3: bool default = false)let automaton SM1 initial state ST1 unless if bI1 resume ST2; sig sig1; var iV1: int16; let iV1 = 10;"},"aioseo_meta_data":[],"aioseo_breadcrumb":"<div class=\"aioseo-breadcrumbs\"><span class=\"aioseo-breadcrumb\">\n\t\t\t<a href=\"https:\/\/innovationspace.ansys.com\/forum\" title=\"Home\">Home<\/a>\n\t\t<\/span><span class=\"aioseo-breadcrumb-separator\">&raquo;<\/span><span class=\"aioseo-breadcrumb\">\n\t\t\t<a href=\"https:\/\/innovationspace.ansys.com\/forum\/topics\/\" title=\"Topics\">Topics<\/a>\n\t\t<\/span><span class=\"aioseo-breadcrumb-separator\">&raquo;<\/span><span class=\"aioseo-breadcrumb\">\n\t\t\tWhy local variable \u201chas no definition\u201d when it is already defined in actions?\n\t\t<\/span><\/div>","aioseo_breadcrumb_json":[{"label":"Home","link":"https:\/\/innovationspace.ansys.com\/forum"},{"label":"Topics","link":"https:\/\/innovationspace.ansys.com\/forum\/topics\/"},{"label":"Why local variable &#8220;has no definition&#8221; when it is already defined in actions?","link":"https:\/\/innovationspace.ansys.com\/forum\/forums\/topic\/why-local-variable-has-no-definition-when-it-is-already-defined-in-actions\/"}],"acf":[],"custom_fields":[{"0":{"_bbp_subscription":["112511","397","602410"],"_bbp_author_ip":["141.98.75.234"],"_btv_view_count":["334"],"_bbp_topic_status":["answered"],"_edit_last":["112511"],"_bbp_revision_log":["a:1:{i:394421;a:2:{s:6:\"author\";i:112511;s:6:\"reason\";s:0:\"\";}}"],"_bbp_topic_id":["394420"],"_bbp_forum_id":["27795"],"_bbp_engagement":["397"],"_bbp_voice_count":["1"],"_bbp_last_reply_id":["442740"],"_bbp_last_active_id":["442740"],"_bbp_last_active_time":["2025-10-01 01:39:52"],"_bbp_reply_count":["1"]},"test":"fdtsaidgmail-com"}],"_links":{"self":[{"href":"https:\/\/innovationspace.ansys.com\/forum\/wp-json\/wp\/v2\/topics\/394420","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/innovationspace.ansys.com\/forum\/wp-json\/wp\/v2\/topics"}],"about":[{"href":"https:\/\/innovationspace.ansys.com\/forum\/wp-json\/wp\/v2\/types\/topic"}],"version-history":[{"count":1,"href":"https:\/\/innovationspace.ansys.com\/forum\/wp-json\/wp\/v2\/topics\/394420\/revisions"}],"predecessor-version":[{"id":394421,"href":"https:\/\/innovationspace.ansys.com\/forum\/wp-json\/wp\/v2\/topics\/394420\/revisions\/394421"}],"wp:attachment":[{"href":"https:\/\/innovationspace.ansys.com\/forum\/wp-json\/wp\/v2\/media?parent=394420"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}