Flow-based scoping

A system comprising:

• at least one device including a hardware processor;
• the system being configured to perform operations comprising:
• determining, by an integrated development environment (IDE) or a compiler evaluating lexical scoping of a set of code, that a first code segment in a sequence of same-level code segments encapsulates a first lower-level lexical scope,
• wherein lexical scoping comprises determining at least one lexical scope in which one or more variables are available to use based on at least one lexical construct that encapsulates one or more code segments in which the one or more variables are declared,
• wherein the first lower-level scope is inclusive of scoping provided for the sequence of same-level code segments,
• wherein the first code segment comprises a condition and one or more uninitialized variables,
• wherein execution of the first code segment, if performed, causes the condition to be evaluated and, if the condition is satisfied, causes the one or more uninitialized variables to be initialized and made available only within the first lower-level lexical scope;
• determining, by the IDE or the compiler, that a second code segment (a) references the one or more uninitialized variables and (b) is in the sequence of same-level code segments or in a second lower-level lexical scope outside of the first lower-level lexical scope;
• and
• presenting, by the IDE or the compiler, an error message indicating that the one or more uninitialized variables is out of scope for the second code segment.

A method comprising:

• determining, by an integrated development environment (IDE) or a compiler evaluating lexical scoping of a set of code, that a first code segment in a sequence of same-level code segments encapsulates a first lower-level lexical scope,
• wherein lexical scoping comprises determining at least one lexical scope in which one or more variables are available to use based on at least one lexical construct that encapsulates one or more code segments in which the one or more variables are declared,
• wherein the first lower-level scope is inclusive of scoping provided for the sequence of same-level code segments,
• wherein the first code segment comprises a condition and one or more uninitialized variables,
• wherein execution of the first code segment, if performed, causes the condition to be evaluated and, if the condition is satisfied, causes the one or more uninitialized variables to be initialized and made available only within the first lower-level lexical scope;
• determining, by the IDE or the compiler, that a second code segment (a) references the one or more uninitialized variables and (b) is in the sequence of same-level code segments or in a second lower-level lexical scope outside of the first lower-level lexical scope;
• and
• presenting, by the IDE or the compiler, an error message indicating that the one or more uninitialized variables is out of scope for the second code segment,
• wherein the method is performed by at least one device comprising a hardware processor.