C# (CSharp) Axiom.SetMetadata Examples

Example #1

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

Example #2

File: ProgramLocationAnnotater.cs Project: ccadar/symbooglix

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