/// <summary>
/// Checking if Edge is initialized with constraint violation
/// For now (02.04) checks if generalization is a one-side edge
/// </summary>
public static bool CheckEdge(Repo.IEdge edge, Repo.IRepo repo, string modelName)
{
return(true);
/*
* return repo.Model(modelName).Edges.Any(otherEdge =>
* ((otherEdge.edgeType == Repo.EdgeType.Generalization)
* && (edge.edgeType == Repo.EdgeType.Generalization)
* && (otherEdge.source == edge.target)
* && (otherEdge.target == edge.source)));
*/
}
public ConstraintsWindow(Repo.IRepo repo, Repo.IModel model)
{
this.InitializeComponent();
this.info = new RepoInfo(repo, model.Name);
}
public RepoInfo(Repo.IRepo inputRepo, string inputModelName)
{
this.repo = inputRepo;
this.modelName = inputModelName;
}
public static bool AllowCreateNode(Repo.IRepo repo, string modelName)
{
return(repo.Model(modelName).Nodes.Count() < NodesAmount);
}
/// <summary>
/// Checking if edge is initialized with constraint violation
/// For now (02.04) checks if generalization is a one-side edge.
/// </summary>
public static bool CheckEdge(Repo.IEdge edge, Repo.IRepo repo, string modelName)
{
return(true); // TODO
}