IGraphProcessingEnvironment Interface

The actions employed by this graph processing environment

The backend to be used for graph creation when a graph is imported

Returns a non-interactive user proxy just echoing its inputs.

The action execution environment dependent commands that are available, and a description of each command.

The writer used by emit statements. By default this is Console.Out.

The writer used by emitdebug statements. This is Console.Out, and can't be redirected to a file in contrast to the EmitWriter.

Allows to enable/disable assertions and find out about assertion state.

Returns the graph currently focused in processing / sequence execution. This may be the initial main graph, or a subgraph switched to, the current top element of the graph usage stack.

Tells whether execution is interrupted because a highlight statement was hit. Consequence: the timer that normally prints match statistics every second remains silent

Returns true when graph processings is currently occuring inside a subgraph, returns false when the main host graph is currently processed (i.e. only one entry on the current graph stack is existing).

Indexer for accessing the variables by name, via index notation on this object.

The maximum number of matches to be returned for a RuleAll sequence element. If it is zero or less, the number of matches is unlimited.

Returns the named graph currently focused in processing / sequence execution. Returns null if this graph is not a named but an unnamed graph.

PerformanceInfo is used to accumulate information about needed time, found matches and applied rewrites. And additionally search steps carried out if profiling instrumentation code was generated. It must not be null. The user is responsible for resetting the PerformanceInfo object. This is typically done at the start of a rewrite sequence, to measure its performance.

The recorder of the main graph. Might be null (is set if a named graph is available, then the persistent names are taken from the named graph).

Returns the transaction manager of the processing environment. (Recording and undoing changes in the main graph and all processed subgraphs). Don't forget to call Commit after a transaction is finished!

The user proxy queried for choices during sequence execution. By default the compliant user proxy, if debugging the debugger acting on behalf of/controlled by the user.

Returns an iterator over all available (non-null) variables

Adds an existing IEdge object to the current graph of this processing environment and assigns it to the given variable. The edge must not be part of any graph, yet! Source and target of the edge must already be part of the graph.

Adds an existing edge to the graph, names it, and assigns it to the given variable.

Adds a new edge to the current graph of this processing environment and assigns it to the given variable.

Adds a new named edge to the graph and assigns it to the given variable.

Adds an existing INode object to the current graph of this processing environment and assigns it to the given variable. The node must not be part of any graph, yet! The node may not be connected to any other elements!

Adds a new node to the current graph of this processing environment and assigns it to the given variable.

Adds an existing node to the graph, names it, and assigns it to the given variable.

Adds a new named node to the graph and assigns it to the given variable.

Apply a graph rewrite sequence (to the currently associated graph).

Apply a graph rewrite sequence (to the currently associated graph).

Apply a rewrite rule.

Fires an OnBeginExecution event.

Does action execution environment dependent stuff.

Fires an OnDebugEmit event.

Fires an OnDebugEnter event.

Fires an OnDebugExit event.

Fires an OnDebugHalt event.

Fires an OnDebugHighlight event.

Fires an OnEndExecution event.

Fires an OnEndOfIteration event. This informs the debugger about the end of a loop iteration, so it can display the state at the end of the iteration.

Fires an OnEnteringSequence event (sequence includes sequence computations and sequence expressions).

Evaluate a graph rewrite sequence expression (on the currently associated graph).

Evaluate a graph rewrite sequence expression (on the currently associated graph).

Fires an OnExitingSequence event (sequence includes sequence computations and sequence expressions).

Filters the matches of a rule (all) call with a lambda expression filter (call).

Fires an OnFinished event.

Fires an OnFinished event.

Fires an OnFinishedSelectedMatch event.

Retrieves the IEdge for a variable name or null, if the variable isn't set yet or anymore. A InvalidCastException is thrown, if the variable is set and does not point to an IEdge object.

Returns a linked list of variables mapping to the given graph element or null, if no variable points to this element

Retrieves the newest version of an IAction object currently available for this graph. This may be the given object.

Retrieves the INode for a variable name or null, if the variable isn't set yet or anymore. A InvalidCastException is thrown, if the variable is set and does not point to an INode object.

Retrieves the object for a variable name or null, if the variable isn't set yet or anymore

Fires an OnJoinSequences event.

Matches a rewrite rule.

Fires an OnMatchedAfter event.

Fires an OnMatchedAfter event.

Fires an OnMatchedBefore event.

Fires an OnMatchedBefore event.

Matches the rewrite rules, without firing the Matched event, but with firing the PreMatch event and Cloning of the matches (so they can stored, or used in an expression combining multiple queries).

Matches a rewrite rule, without firing the Matched event, but with firing the PreMatch event and Cloning of the matches (so they can stored, or used in an expression combining multiple queries like [?r] + [?r], or the action can be called multiple times in a multi rule all call query (on different parameters)).

Fires an OnMatchSelected event.

Matches the rewrite rules, without firing the Matched event, but fires the MatchedBeforeFiltering event (for internal or non-debugger use).

Matches a rewrite rule, without firing the Matched event (but fires the MatchedBeforeFiltering event - for internal or non-debugger use).

In parallel, apply the graph rewrite sequence (to the given graphs, with the given input values).

In parallel, apply the graph rewrite sequence(s) (to the given graphs, with the given input values).

Parses the given sequence string and generates a Sequence object. Any actions in the string must refer to actions from the actions contained in this object.

Parses the given sequence expression string and generates a SequenceExpression object. Any actions in the string must refer to actions from the actions contained in this object.

Executes the modifications of the according rule to the given match/matches. Fires OnRewritingNextMatch events before each rewrite except for the first one.

Returns from the last switch to subgraph. (One level back on the current graph stack.)

Fires an OnRewritingSelectedMatch event (comparable to the old OnFinishing and OnRewritingNextMatch, now one event, fired per selected match).

Sets the newest action version for a static action.

Sets the value of the given variable to the given value. If the variable name is null, this function does nothing. If val is null, the variable is unset.

Fires an OnSpawnSequences event.

Switches the graph to the given (sub)graph. (One level added to the current graph stack.)

Tests whether the given sequence succeeds on a clone of the associated graph.

Tests whether the given sequence succeeds on a clone of the associated graph.

Fired when execution of a pattern matching construct begins.

Fired when a debug emit is executed.

Fired when a debug entity is entered.

Fired when a debug entity is left.

Fired when a debug halt is executed.

Fired when a debug highlight is executed.

Fired when execution of a pattern matching construct ends.

Fired when a sequence iteration is ended.

Fired when a sequence is entered.

Fired when a sequence is left.

Fired after the rewrite step of a rule/after rule execution has completed. Note, that the given matches object may contain invalid entries, as parts of the match may have been deleted!

Fired after the selected match was rewritten and embedded sequences executed.

Fired when sequences have joined (again) their parent thread.

Fired after all requested matches of a multi rule or rule have been matched (after filtering of matches).

Fired after all requested matches of a multi rule or rule have been matched, before filtering of the matches. Allows a lookahead on the matches, on all found matches, in contrast to OnMatchedAfter that only reports the ones that are applied in the end.

Fired when a match was selected for execution (after filtering/selection of matches).

Fired when graph processing is returning back after a switch. (To the main graph, or a subgraph previously switched to.)

Fired before the selected match is rewritten (comparable to the old OnFinishing and OnRewritingNextMatch, now one event, fired per selected match).

Fired after the selected match was rewritten (but before embedded sequences are executed).

Fired when sequences have been spawned (split off) from their parent thread.

Fired when graph processing (rule and sequence execution) is switched to a (sub)graph. (Not fired when the main graph is replaced by another main graph, or initialized.)