codepropertygraph/io.shiftleft.passes/DiffGraph/Change/RemoveEdgeProperty

RemoveEdgeProperty

final case
class RemoveEdgeProperty(edge: Edge, propertyKey: String) extends Change
trait Serializable
trait Product
trait Equals
trait Change
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product