C# (CSharp) Microsoft.Automata.CSharpFrontend.SymbolicExploration ParameterAccessor Examples

Example #1

 public abstract Mutator Extract(ParameterAccessor accessor);

Example #2

File: ExplorationState.cs Project: OlliSaarikivi/Automata

 public override Mutator Extract(ParameterAccessor accessor)
 {
     return(ExtractLocalOrParameter(accessor.Symbol, accessor.Next));
 }

Example #3

 public abstract Mutator WithAssignment(ParameterAccessor accessor, Mutator value);

Example #4

File: ExplorationState.cs Project: OlliSaarikivi/Automata

 public override Mutator WithAssignment(ParameterAccessor accessor, Mutator value)
 {
     WithLocalOrParameterAssignment(accessor.Symbol, accessor.Next, value);
     return(accessor.AcceptExtract(this));
 }