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;
}
