public override Axiom VisitAxiom(Axiom axiom) { axiom.SetMetadata((int)AnnotationIndex.PROFILE_DATA, new InstructionStatistics()); return(axiom); // No Need to recurse deeper }
public override Axiom VisitAxiom(Axiom axiom) { axiom.SetMetadata((int)AnnotationIndex.PROGRAM_LOCATION, new ProgramLocation(axiom)); return(axiom); // No need to traverse deeper }