public WholeProgramExpressionSemantics(WholeProgram parent, Sink sink, StatementTraverser /*?*/ statementTraverser, bool contractContext, bool expressionIsStatement) : base(sink, statementTraverser, contractContext, expressionIsStatement) { this.parent = parent; this.subTypes = parent.subTypes; }
public WholeProgramMetadataSemantics(WholeProgram parent, Sink sink, IDictionary <IUnit, PdbReader> pdbReaders, TraverserFactory factory) : base(sink, pdbReaders, factory) { this.parent = parent; this.sink = sink; }