NetlistEdge.hpp

Go to the documentation of this file.

#pragma once
 
#include "netlist/DirectedGraph.hpp"
#include "netlist/DriverBitRange.hpp"
#include "netlist/SymbolReference.hpp"
 
#include "slang/ast/SemanticFacts.h"
 
namespace slang::netlist {
 
class NetlistNode;

class NetlistEdge : public DirectedEdge<NetlistNode, NetlistEdge> {
public:
  ast::EdgeKind edgeKind{ast::EdgeKind::None};
  SymbolReference const *symbol{nullptr};
  DriverBitRange bounds;
  bool disabled{false};
 
  NetlistEdge(NetlistNode &sourceNode, NetlistNode &targetNode)
      : DirectedEdge(sourceNode, targetNode) {}
 
  auto setEdgeKind(ast::EdgeKind kind) { this->edgeKind = kind; }

  auto setVariable(SymbolReference const *sym, DriverBitRange newBounds,
                   ast::EdgeKind kind) -> bool {
    if (symbol == nullptr) {
      symbol = sym;
      bounds = newBounds;
      edgeKind = kind;
      return true;
    }
    if (symbol != sym || edgeKind != kind ||
        !bounds.isContiguousWith(newBounds)) {
      return false;
    }
    bounds = bounds.unionWith(newBounds);
    return true;
  }

  auto hasSymbol() const -> bool { return symbol != nullptr; }
 
  void disable() { disabled = true; }
};
 
} // namespace slang::netlist