org.evomaster.client.java.instrumentation.coverage.methodreplacement.regex

Class RegexGraph

java.lang.Object

org.evomaster.client.java.instrumentation.coverage.methodreplacement.regex.RegexGraph

public class RegexGraph
extends Object

A graph created based on an "arg" that is matched against a "regex". There is going to be arg.length+1 copies of the regex automaton. Each copy represents a "row". Each automaton state, in topological order, represents a "column". The graph can be considered as a "rows"x"columns" matrix.

Author:

arcuri

Constructor Summary

Constructors

Constructor and Description
RegexGraph(String arg, String regex) Build the graph

Method Summary

Modifier and Type	Method and Description
int	getColumn(dk.brics.automaton.State state)
Set<GraphTransition>	getIncomingTransitions(int row, int column) Get all the incoming transitions to the node located at coordinate "row" and "column"
int	getNumberOfColumns()
int	getNumberOfRows()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RegexGraph

public RegexGraph(String arg,
                  String regex)

Build the graph

Parameters:

arg -

regex -

Method Detail

getNumberOfRows

public int getNumberOfRows()

getNumberOfColumns

public int getNumberOfColumns()

getIncomingTransitions

public Set<GraphTransition> getIncomingTransitions(int row,
                                                   int column)

Get all the incoming transitions to the node located at coordinate "row" and "column"

getColumn

public int getColumn(dk.brics.automaton.State state)