code: package de.tu_darmstadt.stg.mudetect.aug.model.controlflow;
  
  import de.tu_darmstadt.stg.mudetect.aug.model.BaseEdge;
  import de.tu_darmstadt.stg.mudetect.aug.model.ControlFlowEdge;
  import de.tu_darmstadt.stg.mudetect.aug.model.Node;
  import de.tu_darmstadt.stg.mudetect.aug.visitors.EdgeVisitor;
  
  public class SynchronizationEdge extends BaseEdge implements ControlFlowEdge {
      public SynchronizationEdge(Node source, Node target) {
          super(source, target, Type.SYNCHRONIZE);
      }
  
      @Override
      public <R> R apply(EdgeVisitor<R> visitor) {
          return visitor.visit(this);
      }
  }
  