bool IsObsolete { get; }
bool IsUnsafe { get; }
bool IsStatic { get; }
- bool HasUnresolvedConstraints { get; }
string GetSignatureForError ();
return branching;
}
- public FlowBranchingIterator StartFlowBranching (Iterator iterator, FlowBranching parent)
+ public FlowBranchingIterator StartFlowBranching (StateMachineInitializer iterator, FlowBranching parent)
{
FlowBranchingIterator branching = new FlowBranchingIterator (parent, iterator);
current_flow_branching = branching;
UsingInitializerScope = 1 << 12,
+ LockScope = 1 << 13,
+
/// <summary>
/// Whether control flow analysis is enabled
/// </summary>
get { return (flags & Options.DoFlowAnalysis) != 0; }
}
- public bool HasUnresolvedConstraints {
- get { return false; }
- }
-
public bool IsInProbingMode {
get {
return (flags & Options.ProbingMode) != 0;