public override void Emit(TokenTextWriter stream, int contextBindingStrength, bool fragileContext) { //Contract.Requires(stream != null); stream.push(); stream.Write(this, "(var "); string sep = ""; stream.push(); foreach (var v in Dummies) { stream.Write("{0}", sep); v.EmitVitals(stream, 0, true, false); sep = ", "; stream.sep(); } stream.pop(); stream.Write(" := "); this.Rhss.Emit(stream); stream.Write("; "); stream.sep(); for (QKeyValue kv = this.Attributes; kv != null; kv = kv.Next) { kv.Emit(stream); stream.Write(" "); } stream.sep(); this.Body.Emit(stream); stream.Write(")"); stream.pop(); }
public override void Emit(TokenTextWriter stream, int contextBindingStrength, bool fragileContext) { //Contract.Requires(stream != null); stream.Write(this, "({0}", Kind.ToString().ToLower()); this.EmitTypeHint(stream); Type.EmitOptionalTypeParams(stream, TypeParameters); stream.Write(this, " "); this.Dummies.Emit(stream, true); stream.Write(" :: "); for (QKeyValue kv = this.Attributes; kv != null; kv = kv.Next) { kv.Emit(stream); stream.Write(" "); } this.EmitTriggers(stream); this.Body.Emit(stream); stream.Write(")"); }