ScalaFix/it.unich.scalafix.graphs/GraphBodyBuilder

GraphBodyBuilder

object GraphBodyBuilder

Auxiliary classes and factory methods for the GraphBodyBuilder class.

Companion:
class
Source:
GraphBodyBuilder.scala
class Object
trait Matchable
class Any

Type members

Classlikes

class Edge[LN, LE, V](val label: LE, val target: Node[LN, LE, V], val sources: Seq[Node[LN, LE, V]], val action: (Node[LN, LE, V] => V) => V)

Edges for the graph built by GraphBodyBuilder.

Edges for the graph built by GraphBodyBuilder.

Source:
GraphBodyBuilder.scala
class Node[LN, LE, V](val label: LN)

Nodes (unknown) for the graph built by GraphBodyBuilder.

Nodes (unknown) for the graph built by GraphBodyBuilder.

Source:
GraphBodyBuilder.scala

Value members

Concrete methods

def apply[LN, LE, V](): GraphBodyBuilder[LN, LE, V]

Returns an empty graph body builder.

Returns an empty graph body builder.

Type parameters:
LE

type of labels for edges.

LN

type of labels for nodes.

V

the type for the values assumed by the unknowns.

Source:
GraphBodyBuilder.scala