diff options
Diffstat (limited to 'BCT/BytecodeTranslator/TraverserFactory.cs')
| -rw-r--r-- | BCT/BytecodeTranslator/TraverserFactory.cs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/BCT/BytecodeTranslator/TraverserFactory.cs b/BCT/BytecodeTranslator/TraverserFactory.cs index 8162af9e..ba465067 100644 --- a/BCT/BytecodeTranslator/TraverserFactory.cs +++ b/BCT/BytecodeTranslator/TraverserFactory.cs @@ -22,11 +22,11 @@ namespace BytecodeTranslator { {
return new MetadataTraverser(new Sink(this, heapFactory, contractProvider), pdbReader);
}
- public virtual StatementTraverser MakeStatementTraverser(Sink sink, PdbReader/*?*/ pdbReader) {
- return new StatementTraverser(sink, pdbReader);
+ public virtual StatementTraverser MakeStatementTraverser(Sink sink, PdbReader/*?*/ pdbReader, bool contractContext) {
+ return new StatementTraverser(sink, pdbReader, contractContext);
}
- public virtual ExpressionTraverser MakeExpressionTraverser(Sink sink, StatementTraverser/*?*/ statementTraverser) {
- return new ExpressionTraverser(sink, statementTraverser);
+ public virtual ExpressionTraverser MakeExpressionTraverser(Sink sink, StatementTraverser/*?*/ statementTraverser, bool contractContext) {
+ return new ExpressionTraverser(sink, statementTraverser, contractContext);
}
}
}
\ No newline at end of file |