CFState Class
Assembly: Topten.Cminor.Compiler.dll
Namespace: Topten.Cminor.Semantic
Represents a control flow state at a particular execution point in a function
public class CFStateInheritance
CFState → object
Remarks
CFState objects are immutable and all operations return a new instance, or the same object (if nothing changed). In control flow analysis, a CFState associated with an execution point means that point is reachable.
Constructors
| CFState() | Constructor |
| CFState(CFState) | Constructs a new CFState that's a copy of another |
Methods
| Add(Topten.Cminor.Types.ILocalOrField) | Create a new CFState with a new item added |
| CheckInitialized(Topten.Cminor.Compiler, Topten.Cminor.Types.ILocalOrField, Topten.Cminor.Lexical.CodePosition) | Checks an item has been initialized, and if not reports an error |
| Remove(Topten.Cminor.Types.ILocalOrField) | Create a new CFState with a item removed |
| Union(CFState, CFState) | Create a union of two states (either can be null) |