public override Term VisitSymbol(TVoid parameter, Term term, ISymbolId key) { Field instanceField; if (this.TermManager.TryGetInstanceField(term, out instanceField)) { this.Fields.Add(instanceField); } return(base.VisitSymbol(parameter, term, key)); }
public override Term VisitSymbol(TVoid parameter, Term term, ISymbolId key) { if (this.TermManager.TryGetInstanceField(term, out this.lastAccessedField)) { //Currently we are handling only these types if (PexMeFilter.IsTypeSupported(this.lastAccessedField.Type)) { this.Fields.Add(this.lastAccessedField); } } if (key is ISymbolIdWithType) { this.variables.Add((ISymbolIdWithType)key); } //return term; return(base.VisitSymbol(parameter, term, key)); }
public override Term VisitSymbol(TVoid parameter, Term term, ISymbolId key) { Field instanceField; if (this.TermManager.TryGetInstanceField(term, out instanceField)) { this.Fields.Add(instanceField); } TypeEx objectType; if (key is ISymbolIdWithType) { var type = key as ISymbolIdWithType; Types.Add(type.Type); } return(base.VisitSymbol(parameter, term, key)); }
public override Term VisitSymbol(TVoid parameter, Term term, ISymbolId key) { // ISymbolIdFromParameter fromParameter = key as ISymbolIdFromParameter; // if (fromParameter != null && // fromParameter.Parameter != null) // { // Parameter p = fromParameter.Parameter; // Method m = p.DeclaringMember as Method; // if (m != null) // { // this.method = m; // this.parameters.Add(p); // } // } Log.AppendLine("In Result track condition extrator: "); Log.AppendLine("ISymbolId is " + key.Description + " type: " + key.GetType()); if (key.GetType().FullName.IndexOf("SymbolId") != -1) { foundSymbol = true; } // Log.AppendLine("parameter is " + parameter.GetType()); if (MetadataFromReflection.GetType(key.GetType()) == MetadataFromReflection.GetType(typeof(PexTrackedResultId))) { var resultId = key as PexTrackedResultId; method = resultId.CallerMethod; location = resultId.CallerLocation; callerOffset = resultId.CallerOffset; signature = resultId.MethodSignature; foundSymbol = true; } if (MetadataFromReflection.GetType(key.GetType()) == MetadataFromReflection.GetType(typeof(PexTrackedParameterId))) { var resultId = key as PexTrackedParameterId; Log.AppendLine("Parameter is " + resultId.Parameter + " description: " + resultId.Description); foundSymbol = true; } return(base.VisitSymbol(parameter, term, key)); }