content: /*
   * This file is a part of BSL Language Server.
   *
   * Copyright (c) 2018-2025
   * Alexey Sosnoviy <labotamy@gmail.com>, Nikita Fedkin <nixel2007@gmail.com> and contributors
   *
   * SPDX-License-Identifier: LGPL-3.0-or-later
   *
   * BSL Language Server is free software; you can redistribute it and/or
   * modify it under the terms of the GNU Lesser General Public
   * License as published by the Free Software Foundation; either
   * version 3.0 of the License, or (at your option) any later version.
   *
   * BSL Language Server is distributed in the hope that it will be useful,
   * but WITHOUT ANY WARRANTY; without even the implied warranty of
   * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
   * Lesser General Public License for more details.
   *
   * You should have received a copy of the GNU Lesser General Public
   * License along with BSL Language Server.
   */
  package com.github._1c_syntax.bsl.languageserver.cfg;
  
  import lombok.Getter;
  import lombok.Setter;
  import org.jgrapht.graph.DefaultDirectedGraph;
  
  @Getter
  public class ControlFlowGraph extends DefaultDirectedGraph<CfgVertex, CfgEdge> {
  
    @Setter
    private CfgVertex entryPoint;
  
    private final ExitVertex exitPoint;
  
    public ControlFlowGraph() {
      super(CfgEdge.class);
      exitPoint = new ExitVertex();
      addVertex(exitPoint);
    }
  
    public void addEdge(CfgVertex source, CfgVertex target, CfgEdgeType type) {
      addEdge(source, target, new CfgEdge(type));
    }
  
    @Override
    public CfgEdge addEdge(CfgVertex source, CfgVertex target) {
      var edge = new CfgEdge(CfgEdgeType.DIRECT);
  
      addEdge(source, target, edge);
  
      return edge;
    }
  
    @Override
    public boolean addEdge(CfgVertex source, CfgVertex target, CfgEdge edge) {
      source.onConnectOutgoing(this, target, edge);
  
      return super.addEdge(source, target, edge);
    }
  
    public String edgePresentation(CfgEdge edge) {
      return getEdgeSource(edge) + "->" + getEdgeTarget(edge);
    }
  
  }
  