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)
      -> bool {
    if (symbol != nullptr && symbol == sym) {
      if (bounds.isContiguousWith(newBounds)) {
        bounds = bounds.unionWith(newBounds);
        return true;
      }
      return false;
    }
    symbol = sym;
    bounds = newBounds;
    return true;
  }

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