Exemple #1
0
 protected StatePathRetrieverBase(TypeReference stateType, ICollection <MethodReference> referencedMethods,
                                  GeneralStatePathRetriever retriever)
 {
     _stateType = stateType;
     _methodReferencesInTheSameBody = referencedMethods;
     _retriever = retriever;
 }
Exemple #2
0
 public SingletonStatePathRetriever(TypeReference stateType, ICollection <MethodReference> referencedMethods,
                                    GeneralStatePathRetriever retriever) : base(stateType, referencedMethods, retriever)
 {
 }