diff options
| author |  t-espave <unknown> | 2011-08-15 12:04:02 -0700 |
|---|---|---|
| committer | t-espave <unknown> | 2011-08-15 12:04:02 -0700 |
| commit | 9ea52dc03cd9e048489805bd9df6ac00215b965b (patch) | |
| tree | 8fb323fce76919545f3d244ee6ddea7cdc2bc790 /BCT/BytecodeTranslator/TraverserFactory.cs | |
| parent | 39bfa2edfeb9a8cbbfcca1f5ed7ab870a5d4c928 (diff) | |
cleaning up & refactor
Diffstat (limited to 'BCT/BytecodeTranslator/TraverserFactory.cs')
| -rw-r--r-- | BCT/BytecodeTranslator/TraverserFactory.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/BCT/BytecodeTranslator/TraverserFactory.cs b/BCT/BytecodeTranslator/TraverserFactory.cs index f3481f43..fac00e42 100644 --- a/BCT/BytecodeTranslator/TraverserFactory.cs +++ b/BCT/BytecodeTranslator/TraverserFactory.cs @@ -20,6 +20,8 @@ using Bpl = Microsoft.Boogie; namespace BytecodeTranslator {
public abstract class TraverserFactory {
+ public int Priority { get; set; }
+
public virtual MetadataTraverser MakeMetadataTraverser(Sink sink,
IDictionary<IUnit, IContractProvider> contractProviders, // TODO: remove this parameter?
IDictionary<IUnit, PdbReader> sourceLocationProviders)
|