diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-06-20 21:06:23 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-06-20 21:06:23 -0700 |
| commit | 819189e68af2e3190c9528d567ed8cc92e3814ab (patch) | |
| tree | e694147a9acccc0004270d0e5fb7eefed2d7c611 /BCT/BytecodeTranslator/TraverserFactory.cs | |
| parent | 44c4742a1e6ce04da96a95d1b7c13c01aeafef8e (diff) | |
Translate IConditional exactly the same way as IConditionalStatement to account for side-effects in expressions
Diffstat (limited to 'BCT/BytecodeTranslator/TraverserFactory.cs')
| -rw-r--r-- | BCT/BytecodeTranslator/TraverserFactory.cs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/BCT/BytecodeTranslator/TraverserFactory.cs b/BCT/BytecodeTranslator/TraverserFactory.cs index 9fb51527..4685427f 100644 --- a/BCT/BytecodeTranslator/TraverserFactory.cs +++ b/BCT/BytecodeTranslator/TraverserFactory.cs @@ -24,7 +24,11 @@ namespace BytecodeTranslator { {
return new MetadataTraverser(sink, sourceLocationProviders);
}
- public virtual StatementTraverser MakeStatementTraverser(Sink sink, PdbReader/*?*/ pdbReader, bool contractContext, List<Tuple<ITryCatchFinallyStatement,StatementTraverser.TryCatchFinallyContext>> nestedTryCatchFinallyStatements) {
+ public virtual StatementTraverser MakeStatementTraverser(Sink sink, PdbReader/*?*/ pdbReader, bool contractContext) {
+ return new StatementTraverser(sink, pdbReader, contractContext);
+ }
+ public virtual StatementTraverser MakeStatementTraverser(Sink sink, PdbReader/*?*/ pdbReader, bool contractContext,
+ List<Tuple<ITryCatchFinallyStatement,StatementTraverser.TryCatchFinallyContext>> nestedTryCatchFinallyStatements) {
return new StatementTraverser(sink, pdbReader, contractContext, nestedTryCatchFinallyStatements);
}
public virtual ExpressionTraverser MakeExpressionTraverser(Sink sink, StatementTraverser/*?*/ statementTraverser, bool contractContext) {
|