internal IteratorConstructor(IteratorClass container)
: base(container)
{
var intType = container.DeclaringCompilation.GetSpecialType(SpecialType.System_Int32);
parameters = ImmutableArray.Create<ParameterSymbol>(
new SynthesizedParameterSymbol(this, intType, 0, RefKind.None, GeneratedNames.MakeStateMachineStateName()));
}
/// <summary>
/// Rewrite an iterator method into a state machine class.
/// </summary>
/// <param name="body">The original body of the method</param>
/// <param name="method">The method's identity</param>
/// <param name="compilationState">The collection of generated methods that result from this transformation and which must be emitted</param>
/// <param name="diagnostics">Diagnostic bag for diagnostics.</param>
/// <param name="generateDebugInfo"></param>
internal static BoundStatement Rewrite(
BoundStatement body,
MethodSymbol method,
TypeCompilationState compilationState,
DiagnosticBag diagnostics,
bool generateDebugInfo)
{
TypeSymbol elementType = method.IteratorElementType;
if ((object)elementType == null)
{
return body;
}
// Figure out what kind of iterator we are generating.
bool isEnumerable;
switch (method.ReturnType.OriginalDefinition.SpecialType)
{
case SpecialType.System_Collections_IEnumerable:
case SpecialType.System_Collections_Generic_IEnumerable_T:
isEnumerable = true;
break;
case SpecialType.System_Collections_IEnumerator:
case SpecialType.System_Collections_Generic_IEnumerator_T:
isEnumerable = false;
break;
default:
throw ExceptionUtilities.UnexpectedValue(method.ReturnType.OriginalDefinition.SpecialType);
}
var iteratorClass = new IteratorClass(method, isEnumerable, elementType, compilationState);
return new IteratorRewriter(body, method, isEnumerable, iteratorClass, compilationState, diagnostics, generateDebugInfo).Rewrite();
}
internal IteratorConstructor(IteratorClass container)
: base(container)
{
var intType = container.DeclaringCompilation.GetSpecialType(SpecialType.System_Int32);
parameters = ImmutableArray.Create <ParameterSymbol>(
new SynthesizedParameterSymbol(this, intType, 0, RefKind.None, GeneratedNames.MakeStateMachineStateName()));
}
private IteratorRewriter(
BoundStatement body,
MethodSymbol method,
bool isEnumerable,
IteratorClass iteratorClass,
TypeCompilationState compilationState,
DiagnosticBag diagnostics,
bool generateDebugInfo)
: base(body, method, iteratorClass, compilationState, diagnostics, generateDebugInfo)
{
// the element type may contain method type parameters, which are now alpha-renamed into type parameters of the generated class
this.elementType = iteratorClass.ElementType;
this.isEnumerable = isEnumerable;
}
private IteratorRewriter(
BoundStatement body,
MethodSymbol method,
bool isEnumerable,
IteratorClass iteratorClass,
TypeCompilationState compilationState,
DiagnosticBag diagnostics,
bool generateDebugInfo)
: base(body, method, iteratorClass, compilationState, diagnostics, generateDebugInfo)
{
// the element type may contain method type parameters, which are now alpha-renamed into type parameters of the generated class
this.elementType = iteratorClass.ElementType;
this.isEnumerable = isEnumerable;
}
/// <summary>
/// Rewrite an iterator method into a state machine class.
/// </summary>
/// <param name="body">The original body of the method</param>
/// <param name="method">The method's identity</param>
/// <param name="compilationState">The collection of generated methods that result from this transformation and which must be emitted</param>
/// <param name="diagnostics">Diagnostic bag for diagnostics.</param>
/// <param name="generateDebugInfo"></param>
internal static BoundStatement Rewrite(
BoundStatement body,
MethodSymbol method,
TypeCompilationState compilationState,
DiagnosticBag diagnostics,
bool generateDebugInfo)
{
TypeSymbol elementType = method.IteratorElementType;
if ((object)elementType == null)
{
return(body);
}
// Figure out what kind of iterator we are generating.
bool isEnumerable;
switch (method.ReturnType.OriginalDefinition.SpecialType)
{
case SpecialType.System_Collections_IEnumerable:
case SpecialType.System_Collections_Generic_IEnumerable_T:
isEnumerable = true;
break;
case SpecialType.System_Collections_IEnumerator:
case SpecialType.System_Collections_Generic_IEnumerator_T:
isEnumerable = false;
break;
default:
throw ExceptionUtilities.UnexpectedValue(method.ReturnType.OriginalDefinition.SpecialType);
}
var iteratorClass = new IteratorClass(method, isEnumerable, elementType, compilationState);
return(new IteratorRewriter(body, method, isEnumerable, iteratorClass, compilationState, diagnostics, generateDebugInfo).Rewrite());
}
public void LoadBuiltinClasses()
{
classes["Int"] = new IntClass();
classes["Float"] = new FloatClass();
classes["Boolean"] = new BooleanClass();
classes["String"] = new StringClass();
classes["Char"] = new CharClass();
classes["Byte"] = new ByteClass();
classes["Message"] = new MessageClass();
classes["Unassigned"] = new UnassignedClass();
classes["Tuple"] = new TupleClass();
classes["NameValue"] = new NameValueClass();
classes["Lambda"] = new LambdaClass();
classes["Void"] = new VoidClass();
classes["Some"] = new SomeClass();
classes["None"] = new NoneClass();
classes["Array"] = new ArrayClass();
classes["Iterator"] = new IteratorClass();
classes["LazyIterator"] = new LazyIteratorClass();
classes["StreamIterator"] = new StreamIteratorClass();
classes["Any"] = new AnyClass();
classes["Placeholder"] = new PlaceholderClass();
classes["Range"] = new RangeClass();
classes["Dictionary"] = new DictionaryClass();
classes["Container"] = new ContainerClass();
classes["Unmatched"] = new UnmatchedClass();
classes["Complex"] = new ComplexClass();
classes["Rational"] = new RationalClass();
classes["Long"] = new LongClass();
classes["Lazy"] = new LazyClass();
classes["YieldingInvokable"] = new YieldingInvokableClass();
classes["Del"] = new DelClass();
classes["Slice"] = new SliceClass();
classes["End"] = new EndClass();
classes["List"] = new ListClass();
classes["Arguments"] = new ArgumentsClass();
classes["Symbol"] = new SymbolClass();
classes["Infinity"] = new InfinityClass();
classes["OpenRange"] = new OpenRangeClass();
classes["KeyValue"] = new KeyValueClass();
classes["Regex"] = new RegexClass();
classes["Pattern"] = new PatternClass();
classes["PackageFunction"] = new PackageFunctionClass();
classes["Sys"] = new SysClass();
classes["Math"] = new MathClass();
classes["RuntimeFunction"] = new RuntimeFunctionClass();
classes["Reference"] = new ReferenceClass();
classes["Group"] = new RegexGroupClass();
classes["Match"] = new RegexMatchClass();
classes["Date"] = new DateClass();
classes["Interval"] = new IntervalClass();
classes["TypeConstraint"] = new TypeConstraintClass();
classes["ByteArray"] = new ByteArrayClass();
classes["Selector"] = new SelectorClass();
classes["Number"] = new NumberClass();
classes["Collection"] = new CollectionClass();
classes["TextFinding"] = new TextFindingClass();
classes["SkipTake"] = new SkipTakeClass();
classes["Constructor"] = new ConstructorClass();
classes["MutString"] = new MutStringClass();
classes["Error"] = new ErrorClass();
classes["Success"] = new SuccessClass();
classes["Failure"] = new FailureClass();
classes["Optional"] = new OptionalClass();
classes["Result"] = new ResultClass();
classes["Monad"] = new MonadClass();
classes["Unit"] = new UnitClass();
classes["YieldReturn"] = new YieldReturnClass();
classes["Index"] = new IndexClass();
classes["Cycle"] = new CycleClass();
classes["Set"] = new SetClass();
}
