use of easik.sketch.util.graph.SketchGraphModel in project fql by CategoricalData.
the class Sketch method multPathWarning.
/**
* Method that checks if there are paths with the same domain and codomain
* and then sees if they mismatch. We only care about when one of the paths
* is all cascade and the other path contains an edge which is not cascade.
* In this case we will warn the user.
*
* @return String warning
* @author Federico Mora
*/
private String multPathWarning() {
boolean cascade = false;
boolean other = false;
String warning = "";
// want to look at paths from every node to every other node
for (EntityNode s : _nodes.values()) {
for (EntityNode t : _nodes.values()) {
if (s != t) {
cascade = false;
other = false;
// System.out.println("Finding paths from " + s.getName() +
// " to " + t.getName());
ArrayList<SketchEdge> startEdges = new ArrayList<>();
ArrayList<SketchEdge> endEdges = new ArrayList<>();
for (SketchEdge edge : _edges.values()) {
if (edge.getSourceEntity() == s) {
startEdges.add(edge);
}
if (edge.getTargetEntity() == t) {
endEdges.add(edge);
}
}
// care
if (startEdges.size() < 2 || endEdges.size() < 2) {
// + t.getName());
continue;
}
ArrayList<ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge>> paths = new ArrayList<>();
ArrayList<LinkedList<SketchEdge>> temp = buildpath(s, t);
for (LinkedList<SketchEdge> q : temp) {
if (q.peekLast().getTargetEntity() != t) {
q.clear();
} else {
paths.add(new ModelPath<>(q));
}
}
if (paths.size() > 1) {
for (ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> p : paths) {
if (p.isCompositeCascade()) {
cascade = true;
} else {
other = true;
}
}
if (cascade && other) {
warning += this.getName() + " contains multiple paths from " + s.getName() + " to " + t.getName() + "\n";
for (ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> p : paths) {
if (p.isCompositeCascade()) {
warning += " " + p.toString() + " is Aggregate Cascade\n";
} else {
warning += " " + p.toString() + " is Aggregate Other\n";
}
}
}
}
}
}
}
return warning;
}
use of easik.sketch.util.graph.SketchGraphModel in project fql by CategoricalData.
the class SketchFileIO method sketchToElement.
/**
* Converts a sketch to an Element.
*
* @param document
* The Document in which our information is being placed.
* @param sketch
* @return All of the information needed to rebuild our sketch containted in
* an Element. Returns null in the event that the element could not
* be created.
*/
public static Element sketchToElement(Document document, Sketch sketch) {
try {
Element rootElement = document.createElement("easketch");
Element header = document.createElement("header");
// Add Header info to document
DocumentInfo d = sketch.getDocInfo();
Element name = document.createElement("title");
name.appendChild(document.createTextNode(d.getName()));
header.appendChild(name);
for (String aut : d.getAuthors()) {
Element author = document.createElement("author");
author.appendChild(document.createTextNode(aut));
header.appendChild(author);
}
Element desc = document.createElement("description");
desc.appendChild(document.createTextNode(d.getDesc()));
header.appendChild(desc);
Element creationDate = document.createElement("creationDate");
creationDate.appendChild(document.createTextNode(EasikConstants.XML_DATETIME.format(d.getCreationDate())));
header.appendChild(creationDate);
Element modDate = document.createElement("lastModificationDate");
modDate.appendChild(document.createTextNode(EasikConstants.XML_DATETIME.format(d.getModificationDate())));
header.appendChild(modDate);
Map<String, String> connParams = sketch.getConnectionParams();
for (String key : connParams.keySet()) {
Element connParam = document.createElement("connectionParam");
connParam.setAttribute("name", key);
connParam.setAttribute("value", connParams.get(key));
header.appendChild(connParam);
}
if (sketch.isSynced()) {
header.appendChild(document.createElement("synchronized"));
}
rootElement.appendChild(header);
Element entities = document.createElement("entities");
// Loop through entities, add them to the document
for (EntityNode currentEntity : sketch.getEntities()) {
if (currentEntity == null) {
continue;
}
Element thisEntity = document.createElement("entity");
thisEntity.setAttribute("name", currentEntity.toString());
thisEntity.setAttribute("x", currentEntity.getX() + "");
thisEntity.setAttribute("y", currentEntity.getY() + "");
entities.appendChild(thisEntity);
// Loop through attributes, add them to the document
for (EntityAttribute<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> curAttribute : currentEntity.getEntityAttributes()) {
Element attributeElmt = document.createElement("attribute");
attributeElmt.setAttribute("name", curAttribute.getName());
EasikType attType = curAttribute.getType();
attributeElmt.setAttribute("attributeTypeClass", attType.getClass().getName());
Map<String, String> typeAttribs = attType.attributes();
for (String key : typeAttribs.keySet()) {
attributeElmt.setAttribute(key, typeAttribs.get(key));
}
thisEntity.appendChild(attributeElmt);
}
// We can't go through unique keys yet: they have to come
// *after* edges
}
rootElement.appendChild(entities);
Element edges = document.createElement("edges");
for (SketchEdge currentEdge : sketch.getEdges().values()) {
Element thisEdge = document.createElement("edge");
thisEdge.setAttribute("id", currentEdge.getName());
thisEdge.setAttribute("source", currentEdge.getSourceEntity().getName());
thisEdge.setAttribute("target", currentEdge.getTargetEntity().getName());
thisEdge.setAttribute("type", (currentEdge instanceof PartialEdge) ? "partial" : (currentEdge instanceof InjectiveEdge) ? "injective" : "normal");
thisEdge.setAttribute("cascade", (currentEdge.getCascading() == SketchEdge.Cascade.SET_NULL) ? "set_null" : (currentEdge.getCascading() == SketchEdge.Cascade.CASCADE) ? "cascade" : "restrict");
edges.appendChild(thisEdge);
}
rootElement.appendChild(edges);
Element keys = document.createElement("keys");
// Loop through unique keys for every node, add them to the document
for (EntityNode currentEntity : sketch.getEntities()) {
for (UniqueKey<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> curKey : currentEntity.getUniqueKeys()) {
Element uniqueKeyElmt = document.createElement("uniqueKey");
uniqueKeyElmt.setAttribute("name", curKey.getKeyName());
uniqueKeyElmt.setAttribute("noderef", currentEntity.toString());
keys.appendChild(uniqueKeyElmt);
for (UniqueIndexable curElem : curKey.getElements()) {
if (curElem instanceof EntityAttribute) {
Element attributeElmt = document.createElement("attref");
attributeElmt.setAttribute("name", curElem.getName());
uniqueKeyElmt.appendChild(attributeElmt);
} else if (curElem instanceof SketchEdge) {
Element edgeElmt = document.createElement("edgekeyref");
edgeElmt.setAttribute("id", curElem.getName());
uniqueKeyElmt.appendChild(edgeElmt);
} else {
System.err.println("Unknown unique key item encountered: element '" + curElem.getName() + "' is neither EntityAttribute nor SketchEdge");
}
}
}
}
rootElement.appendChild(keys);
Element constraints = document.createElement("constraints");
// Now add the constraints
for (ModelConstraint<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> curConstraint : sketch.getConstraints().values()) {
Element thisConstraint = document.createElement(curConstraint.getType());
thisConstraint.setAttribute("x", curConstraint.getX() + "");
thisConstraint.setAttribute("y", curConstraint.getY() + "");
thisConstraint.setAttribute("isVisible", curConstraint.isVisible() ? "true" : "false");
if (curConstraint instanceof LimitConstraint) {
LimitConstraint<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> lc = (LimitConstraint<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge>) curConstraint;
// TODO A better way? really long
// cone - AB
Element pathElem = document.createElement("path");
pathElem.setAttribute("domain", lc.getCone().AB.getDomain().getName());
pathElem.setAttribute("codomain", lc.getCone().AB.getCoDomain().getName());
for (SketchEdge edge : lc.getCone().AB.getEdges()) {
Element edgeElem = document.createElement("edgeref");
edgeElem.setAttribute("id", edge.getName());
pathElem.appendChild(edgeElem);
}
thisConstraint.appendChild(pathElem);
// cone - BC
pathElem = document.createElement("path");
pathElem.setAttribute("domain", lc.getCone().BC.getDomain().getName());
pathElem.setAttribute("codomain", lc.getCone().BC.getCoDomain().getName());
for (SketchEdge edge : lc.getCone().BC.getEdges()) {
Element edgeElem = document.createElement("edgeref");
edgeElem.setAttribute("id", edge.getName());
pathElem.appendChild(edgeElem);
}
thisConstraint.appendChild(pathElem);
// cone - AC
pathElem = document.createElement("path");
pathElem.setAttribute("domain", lc.getCone().AC.getDomain().getName());
pathElem.setAttribute("codomain", lc.getCone().AC.getCoDomain().getName());
for (SketchEdge edge : lc.getCone().AC.getEdges()) {
Element edgeElem = document.createElement("edgeref");
edgeElem.setAttribute("id", edge.getName());
pathElem.appendChild(edgeElem);
}
thisConstraint.appendChild(pathElem);
// limit cone 1 - AB
pathElem = document.createElement("path");
pathElem.setAttribute("domain", lc.getLimitCone1().AB.getDomain().getName());
pathElem.setAttribute("codomain", lc.getLimitCone1().AB.getCoDomain().getName());
for (SketchEdge edge : lc.getLimitCone1().AB.getEdges()) {
Element edgeElem = document.createElement("edgeref");
edgeElem.setAttribute("id", edge.getName());
pathElem.appendChild(edgeElem);
}
thisConstraint.appendChild(pathElem);
// limit cone 1 - BC
pathElem = document.createElement("path");
pathElem.setAttribute("domain", lc.getLimitCone1().BC.getDomain().getName());
pathElem.setAttribute("codomain", lc.getLimitCone1().BC.getCoDomain().getName());
for (SketchEdge edge : lc.getLimitCone1().BC.getEdges()) {
Element edgeElem = document.createElement("edgeref");
edgeElem.setAttribute("id", edge.getName());
pathElem.appendChild(edgeElem);
}
thisConstraint.appendChild(pathElem);
// limit cone 1 - AC
pathElem = document.createElement("path");
pathElem.setAttribute("domain", lc.getLimitCone1().AC.getDomain().getName());
pathElem.setAttribute("codomain", lc.getLimitCone1().AC.getCoDomain().getName());
for (SketchEdge edge : lc.getLimitCone1().AC.getEdges()) {
Element edgeElem = document.createElement("edgeref");
edgeElem.setAttribute("id", edge.getName());
pathElem.appendChild(edgeElem);
}
thisConstraint.appendChild(pathElem);
// limit cone 2 - AB
pathElem = document.createElement("path");
pathElem.setAttribute("domain", lc.getLimitCone2().AB.getDomain().getName());
pathElem.setAttribute("codomain", lc.getLimitCone2().AB.getCoDomain().getName());
for (SketchEdge edge : lc.getLimitCone2().AB.getEdges()) {
Element edgeElem = document.createElement("edgeref");
edgeElem.setAttribute("id", edge.getName());
pathElem.appendChild(edgeElem);
}
thisConstraint.appendChild(pathElem);
// limit cone 2 - BC
pathElem = document.createElement("path");
pathElem.setAttribute("domain", lc.getLimitCone2().BC.getDomain().getName());
pathElem.setAttribute("codomain", lc.getLimitCone2().BC.getCoDomain().getName());
for (SketchEdge edge : lc.getLimitCone2().BC.getEdges()) {
Element edgeElem = document.createElement("edgeref");
edgeElem.setAttribute("id", edge.getName());
pathElem.appendChild(edgeElem);
}
thisConstraint.appendChild(pathElem);
// limit cone 2 - AC
pathElem = document.createElement("path");
pathElem.setAttribute("domain", lc.getLimitCone2().AC.getDomain().getName());
pathElem.setAttribute("codomain", lc.getLimitCone2().AC.getCoDomain().getName());
for (SketchEdge edge : lc.getLimitCone2().AC.getEdges()) {
Element edgeElem = document.createElement("edgeref");
edgeElem.setAttribute("id", edge.getName());
pathElem.appendChild(edgeElem);
}
thisConstraint.appendChild(pathElem);
// Add constraint to constraints
constraints.appendChild(thisConstraint);
continue;
}
for (ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> path : curConstraint.getPaths()) {
// Add pathref to constraint
Element pathElem = document.createElement("path");
pathElem.setAttribute("domain", path.getDomain().getName());
pathElem.setAttribute("codomain", path.getCoDomain().getName());
for (SketchEdge edge : path.getEdges()) {
Element edgeElem = document.createElement("edgeref");
edgeElem.setAttribute("id", edge.getName());
pathElem.appendChild(edgeElem);
}
thisConstraint.appendChild(pathElem);
}
// Add constraint to constraints
constraints.appendChild(thisConstraint);
}
rootElement.appendChild(constraints);
return rootElement;
} catch (Exception e) {
return null;
}
}
use of easik.sketch.util.graph.SketchGraphModel in project fql by CategoricalData.
the class MySQLExporter method createConstraint.
/**
* @param constraint
* @param id
*
* @return
*/
@Override
public List<String> createConstraint(final PullbackConstraint<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> constraint, final String id) {
final List<String> sql = new LinkedList<>();
String tmpS = null;
// Create the trigger for inserting into the pullback table:
final EntityNode pb = constraint.getSource();
final EntityNode target = constraint.getTarget();
final String BASE_PATH_NAME = "_pathId";
final int constraintWidth = constraint.getWidth();
final String insConName = "pullbackConstraint" + id + "Insert" + cleanId(pb);
StringBuilder proc = new StringBuilder(500);
proc.append("CREATE PROCEDURE ");
proc.append(quoteId(insConName));
proc.append("(_newPBid ");
proc.append(pkType());
proc.append(") BEGIN");
proc.append(lineSep);
proc.append(" DECLARE ");
for (int i = 0; i < constraintWidth; i++) {
proc.append(BASE_PATH_NAME);
proc.append(i);
if (i != constraintWidth - 1) {
proc.append(", ");
} else {
proc.append(" ");
}
}
proc.append(pkType()).append(';').append(lineSep);
final String basePK = qualifiedPK(pb);
final String targetPK = qualifiedPK(target);
for (int i = 0; i < constraintWidth; i++) {
proc.append(" SELECT ").append(targetPK).append(" INTO " + BASE_PATH_NAME + i).append(lineSep).append(" FROM ").append(joinPath(constraint.getFullPath(i))).append(lineSep).append(" WHERE ").append(basePK).append(" = _newPBid;").append(lineSep);
}
// Make sure the paths match
proc.append(" IF NOT");
for (int i = 1; i < constraintWidth; i++) {
proc.append(" (" + BASE_PATH_NAME + (i - 1) + " <=> " + BASE_PATH_NAME + i + ')');
if (i != constraintWidth - 1) {
proc.append(" OR NOT");
}
}
proc.append(" THEN").append(lineSep).append(" CALL constraint_failure('Invalid entry in pullback constraint.');").append(lineSep).append(" END IF;").append(lineSep);
addFail = true;
final String pbQ = quoteId(pb);
SketchEdge[] firstEdges = new SketchEdge[constraintWidth];
for (int i = 0; i < constraintWidth; i++) {
firstEdges[i] = constraint.getFullPath(i).getFirstEdge();
}
if (!addedUnique.isUnique(pb, firstEdges)) {
tmpS = "ALTER TABLE " + pbQ + " ADD UNIQUE " + quoteId("pullbackConstraint" + id + "UniqueIndex") + " (";
for (int i = 0; i < constraintWidth; i++) {
tmpS += quoteId(tableFK(firstEdges[i]));
if (i != constraintWidth - 1) {
tmpS += ", ";
}
}
tmpS += ')' + $;
sql.add(tmpS);
addedUnique.add(pb, firstEdges);
}
proc.append("END");
sql.add(proc.toString());
addTrigger(pb, "AFTER INSERT", "CALL " + quoteId(insConName) + "(NEW." + quoteId(tablePK(pb)) + ')');
for (int i = 0; i < constraintWidth; i++) {
ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> tar = constraint.getTargetPath(i);
ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> pro = constraint.getProjectionPath(i);
pbAfterInsertProcs(sql, id, constraint, tar, pro, i);
}
// Finally, the before-delete on the pullback:
final String delConName = "pullbackConstraint" + id + "Delete" + cleanId(pb);
proc = new StringBuilder(500);
proc.append("CREATE PROCEDURE ").append(quoteId(delConName)).append("(toDeleteId ").append(pkType()).append(") BEGIN").append(lineSep);
proc.append(" DELETE ").append(quoteId(target)).append(" FROM ").append(pbQ).append(" JOIN ").append('(');
for (int i = 0; i < constraintWidth; i++) {
LinkedList<SketchEdge> tmpPath = new LinkedList<>(constraint.getFullPath(i).getEdges());
SketchEdge firstEdge = tmpPath.removeFirst();
@SuppressWarnings("unused") SketchEdge lastEdge = tmpPath.getLast();
@SuppressWarnings("unused") SketchEdge secondEdge = tmpPath.removeFirst();
EntityNode first = firstEdge.getTargetEntity();
proc.append(quoteId(first));
if (i != constraintWidth - 1) {
proc.append(", ");
}
}
proc.append(") ON ");
for (int i = 0; i < constraintWidth; i++) {
LinkedList<SketchEdge> tmpPath = new LinkedList<>(constraint.getFullPath(i).getEdges());
SketchEdge firstEdge = tmpPath.removeFirst();
@SuppressWarnings("unused") SketchEdge lastEdge = tmpPath.getLast();
@SuppressWarnings("unused") SketchEdge secondEdge = tmpPath.removeFirst();
EntityNode first = firstEdge.getTargetEntity();
proc.append(qualifiedFK(firstEdge)).append(" = ").append(qualifiedPK(first));
if (i != constraintWidth - 1) {
proc.append(" AND ");
}
}
for (int i = 0; i < constraintWidth; i++) {
LinkedList<SketchEdge> tmpPath = new LinkedList<>(constraint.getFullPath(i).getEdges());
SketchEdge firstEdge = tmpPath.removeFirst();
@SuppressWarnings("unused") SketchEdge lastEdge = tmpPath.getLast();
SketchEdge secondEdge = tmpPath.removeFirst();
@SuppressWarnings("unused") EntityNode first = firstEdge.getTargetEntity();
if (tmpPath.size() > 0) {
proc.append(" JOIN ").append(joinPath(tmpPath, false, qualifiedFK(secondEdge) + " = " + qualifiedPK(secondEdge.getTargetEntity())));
}
}
proc.append(" JOIN ").append(quoteId(target)).append(" ON ");
for (int i = 0; i < constraintWidth; i++) {
LinkedList<SketchEdge> tmpPath = new LinkedList<>(constraint.getFullPath(i).getEdges());
SketchEdge firstEdge = tmpPath.removeFirst();
SketchEdge lastEdge = tmpPath.getLast();
@SuppressWarnings("unused") SketchEdge secondEdge = tmpPath.removeFirst();
@SuppressWarnings("unused") EntityNode first = firstEdge.getTargetEntity();
proc.append(qualifiedFK(lastEdge)).append(" = ").append(qualifiedPK(target));
if (i != constraintWidth - 1) {
proc.append(" AND ");
}
}
proc.append(lineSep).append(" WHERE ").append(qualifiedPK(pb)).append(" = toDeleteId;").append(lineSep).append("END");
sql.add(proc.toString());
addTrigger(pb, "BEFORE DELETE", "CALL " + quoteId(delConName) + "(OLD." + quoteId(tablePK(pb)) + ')');
// Federico Mora
int j = 0;
// c.b_id = b.id JOIN d ON d.c_id = c.id...> WHERE <begin> = id;
for (int i = 0; i < constraintWidth; i++) {
ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> p = constraint.getProjectionPath(i);
StringBuilder proc1 = new StringBuilder(500);
StringBuilder body = new StringBuilder(50);
proc1.append("CREATE PROCEDURE ").append("Update" + constraint.getID() + "Proj" + j++).append("() BEGIN").append(lineSep);
for (int k = 0; k < constraintWidth; k++) {
ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> q = constraint.getProjectionPath(k);
if (p == q) {
// do nothing, cascade will take care of it
} else {
// making the update string which is used by all the delete
// procedures.
final LinkedList<SketchEdge> edges = q.getEdges();
if (edges.size() >= 2) {
Iterator<SketchEdge> iter = edges.iterator();
SketchEdge e = iter.next();
body.append(" UPDATE ").append(leftJoinPath(q)).append(lineSep);
body.append(" SET");
while (iter.hasNext()) {
SketchEdge ske = iter.next();
body.append(" " + quoteId(ske.getSourceEntity()) + ".BC" + constraint.getID() + " = " + false + ",");
}
body.delete(body.length() - 1, body.length());
body.append(" WHERE " + qualifiedFK(e) + " IS NULL;" + lineSep);
}
}
}
if (body.length() > 0) {
proc1.append(body);
proc1.append("END");
sql.add(proc1.toString());
// Now create the triggers to call the new procedure
addTrigger(p.getCoDomain(), "AFTER DELETE", "CALL Update" + constraint.getID() + "Proj" + (j - 1) + "()");
addTrigger(p.getCoDomain(), "AFTER UPDATE", "CALL Update" + constraint.getID() + "Proj" + (j - 1) + "()");
}
}
return delimit("$$", sql);
}
use of easik.sketch.util.graph.SketchGraphModel in project fql by CategoricalData.
the class MySQLExporter method createConstraint.
/**
* @param constraint
* @param id
*
* @return
*/
@Override
public List<String> createConstraint(final LimitConstraint<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> constraint, final String id) {
final List<String> sql = new LinkedList<>();
StringBuilder proc = new StringBuilder(500);
final List<String> declarations = new LinkedList<>();
final List<String> values = new LinkedList<>();
final List<String> args = new LinkedList<>();
final List<String> params = new LinkedList<>();
// getting the paths involved in this limit constraint
ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> coneAB = constraint.getCone().AB;
ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> coneBC = constraint.getCone().BC;
ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> coneAC = constraint.getCone().AC;
// TODO this should be in the LimitConstraint
List<SketchEdge> tmpEdges = coneAB.getEdges();
tmpEdges.addAll(coneBC.getEdges());
ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> coneABC = new ModelPath<>(tmpEdges);
ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> limitConeAB = constraint.getLimitCone1().AB;
ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> limitCone1BC = constraint.getLimitCone1().BC;
ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> limitCone2BC = constraint.getLimitCone2().BC;
tmpEdges = limitConeAB.getEdges();
tmpEdges.addAll(limitCone1BC.getEdges());
ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> limitCone1ABC = new ModelPath<>(tmpEdges);
tmpEdges = limitConeAB.getEdges();
tmpEdges.addAll(limitCone2BC.getEdges());
ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> limitCone2ABC = new ModelPath<>(tmpEdges);
ArrayList<ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge>> paths = new ArrayList<>();
paths.add(coneABC);
paths.add(coneAC);
paths.add(limitCone1ABC);
paths.add(coneAB);
paths.add(limitCone2ABC);
// would add coneAC, but it's already been added
int targetNum = 0;
for (final ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> path : paths) {
++targetNum;
final LinkedList<SketchEdge> tmpPath = new LinkedList<>(path.getEdges());
tmpPath.removeFirst();
final String fk = "_path" + targetNum + "fk";
args.add(fk + ' ' + pkType());
params.add("NEW." + quoteId(tableFK(path.getFirstEdge())));
declarations.add("_cdTarget" + targetNum);
if (tmpPath.size() == 0) {
values.add(" SELECT " + fk + " INTO _cdTarget" + targetNum + ';' + lineSep);
} else {
values.add(" SELECT " + qualifiedFK(path.getLastEdge()) + " INTO _cdTarget" + targetNum + " FROM " + joinPath(tmpPath, false) + " WHERE " + qualifiedPK(tmpPath.getFirst().getSourceEntity()) + " = " + fk + ';' + lineSep);
}
}
proc.append("CREATE PROCEDURE ").append(quoteId("limitConstraint" + id)).append('(').append(EasikTools.join(", ", args)).append(") BEGIN").append(lineSep).append(" DECLARE ").append(EasikTools.join(", ", declarations)).append(' ').append(pkType()).append(';').append(lineSep).append(EasikTools.join("", values)).append(" IF").append(lineSep);
// cone commutativity check
proc.append(" NOT (_cdTarget1 <=> _cdTarget2) OR");
proc.append(lineSep);
// limitCone1 commutativity check
proc.append(" NOT (_cdTarget3 <=> _cdTarget4) OR");
proc.append(lineSep);
// limitCone2 commutativity check
proc.append(" NOT (_cdTarget5 <=> _cdTarget2)");
proc.append(lineSep);
proc.append(" THEN CALL constraint_failure('Limit constraint failure.');").append(lineSep).append(" END IF;").append(lineSep).append("END");
addFail = true;
sql.addAll(delimit("$$", proc));
// cast because we will only do this in sketches
addTrigger(constraint.getCone().getA(), "BEFORE INSERT", "CALL " + quoteId("limitConstraint" + id) + '(' + EasikTools.join(", ", params) + ')');
return sql;
}
use of easik.sketch.util.graph.SketchGraphModel in project fql by CategoricalData.
the class MySQLExporter method pbAfterInsertProcs.
/**
* @param sql
* @param id
* @param constraint
* @param thisPath
* @param thisFirstPath
* @param index
*/
private void pbAfterInsertProcs(final List<String> sql, final String id, final PullbackConstraint<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> constraint, final ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> thisPath, final ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> thisFirstPath, int index) {
final EntityNode source = thisPath.getDomain();
final EntityNode pb = thisFirstPath.getDomain();
final EntityNode target = thisPath.getCoDomain();
final String insConName = "pullbackConstraint" + id + "Insert" + cleanId(source);
final Collection<String> args = new LinkedList<>();
final Collection<String> params = new LinkedList<>();
args.add("_newId " + pkType());
params.add("NEW." + quoteId(tablePK(source)));
// commented out by Sarah van der Laan -- caused error in generated SQL
// file (invalid foreign keys)
/**
* for (final SketchEdge shadow : source.getShadowEdges()) {
* args.add(quoteId("NEW_shadow_" + tableFK(shadow)) + ' ' + pkType());
* params.add("NEW." + quoteId(tableFK(shadow))); }
*/
final StringBuilder proc = new StringBuilder(500);
proc.append("CREATE PROCEDURE ").append(quoteId(insConName)).append('(').append(EasikTools.join(", ", args)).append(") BEGIN").append(lineSep);
// trigger body
// omitting last
final String thisJoinPath = joinPath(thisPath, false);
// edge
String lastJoinOn = "JOIN " + quoteId(target) + " ON " + qualifiedFK(thisPath.getLastEdge()) + " = " + qualifiedPK(target);
for (int i = 0; i < constraint.getWidth(); i++) {
if (i == index) {
continue;
}
ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> otherPath = constraint.getTargetPath(i);
lastJoinOn += " AND ";
lastJoinOn += qualifiedFK(otherPath.getLastEdge()) + " = " + qualifiedPK(target);
}
proc.append("\tIF (SELECT COUNT(*) FROM (").append(thisJoinPath);
for (int i = 0; i < constraint.getWidth(); i++) {
if (i == index) {
continue;
}
ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> otherPath = constraint.getTargetPath(i);
proc.append(", ").append(joinPath(otherPath, false));
}
proc.append(") ").append(lastJoinOn).append(" WHERE ").append(qualifiedPK(source)).append(" = _newId) > 0 THEN").append(lineSep);
// constraint condition met
SketchEdge[] edges;
for (int i = 0; i < constraint.getWidth(); i++) {
if (i == index) {
continue;
}
final ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> otherPath = constraint.getTargetPath(i);
final ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> otherFirstPath = constraint.getProjectionPath(i);
final LinkedList<SketchEdge> sketchEdgeLinkedList = otherFirstPath.getEdges();
edges = sketchEdgeLinkedList.toArray(new SketchEdge[sketchEdgeLinkedList.size()]);
if (edges.length >= 2) {
final String joinOn = "JOIN " + quoteId(target) + " ON " + qualifiedFK(thisPath.getLastEdge()) + " = " + qualifiedPK(target) + " AND " + qualifiedFK(otherPath.getLastEdge()) + " = " + qualifiedPK(target);
// proc.append("\t\tIF (SELECT COUNT(*) FROM
// (").append(joinPath(sketchEdgeLinkedList, true));
proc.append("\t\tIF (SELECT COUNT(*) FROM (").append(joinPath(constraint.getFullPath(i).getEdges(), false));
// TODO might have the same bug if the target path is longer
// than 1, check this
proc.append(", ").append(thisJoinPath).append(") ").append(joinOn).append(" WHERE ").append(qualifiedPK(source)).append(" = _newId) = 0 THEN").append(lineSep);
final LinkedList<SketchEdge> partialPath = new LinkedList<>(otherPath.getEdges());
for (int j = edges.length - 1; j > 0; j--) {
final EntityNode s = edges[j].getSourceEntity();
final EntityNode t = edges[j].getTargetEntity();
// after s there used to be dest.getShadowEdges();
proc.append("\t\t\t").append(insertInto(// SELECT
true, // SELECT
s, // SELECT
qualifiedPK(t), // FROM:
'(' + joinPath(partialPath, false) + ", " + thisJoinPath + ") " + joinOn + " WHERE " + qualifiedPK(source) + " = _newId", Collections.singletonList(quoteId(tableFK(edges[j]))), null));
partialPath.addFirst(edges[j]);
}
proc.append("\t\tEND IF;").append(lineSep);
}
}
final LinkedList<SketchEdge> firstPathEdges = thisFirstPath.getEdges();
edges = firstPathEdges.toArray(new SketchEdge[firstPathEdges.size()]);
final LinkedList<SketchEdge> partialPath = new LinkedList<>(thisPath.getEdges());
for (int i = edges.length - 1; i > 0; i--) {
final SketchEdge e = edges[i];
final EntityNode s = e.getSourceEntity();
final EntityNode t = e.getTargetEntity();
// after s there used to be dest.getShadowEdges();
proc.append("\t\t").append(insertInto(true, s, qualifiedPK(t), joinPath(partialPath) + " WHERE " + qualifiedPK(source) + " = _newId", Collections.singletonList(quoteId(tableFK(e))), null));
partialPath.addFirst(e);
}
final EntityNode firstStop = thisFirstPath.getFirstCoDomain();
final List<String> cols = new LinkedList<>();
cols.add(quoteId(tableFK(thisFirstPath.getFirstEdge())));
String tmpStr1 = qualifiedPK(firstStop);
LinkedList<SketchEdge> tmpPath = new LinkedList<>(constraint.getFullPath(0).getEdges());
tmpPath.removeFirst();
String tmpStr2 = '(' + joinPath(tmpPath, false);
for (int i = 0; i < constraint.getWidth(); i++) {
final ModelPath<SketchFrame, SketchGraphModel, Sketch, EntityNode, SketchEdge> otherFirstPath = constraint.getProjectionPath(i);
final EntityNode otherFirstStop = otherFirstPath.getFirstCoDomain();
if (otherFirstPath != thisFirstPath) {
tmpStr1 += ", " + qualifiedPK(otherFirstStop);
cols.add(quoteId(tableFK(otherFirstPath.getFirstEdge())));
}
if (i > 0) {
tmpPath = new LinkedList<>(constraint.getFullPath(i).getEdges());
tmpPath.removeFirst();
tmpStr2 += ", " + joinPath(tmpPath, false);
}
}
// after pb there used to be dest.getShadowEdges();
proc.append("\t\t").append(insertInto(true, pb, tmpStr1, tmpStr2 + ") " + lastJoinOn + " WHERE " + qualifiedPK(source) + " = _newId", cols, null));
// end constraint condition met
proc.append("\tEND IF;");
// end trigger body
proc.append(lineSep).append("END");
sql.add(proc.toString());
// Now create the trigger to call the new procedure
addTrigger(source, "AFTER INSERT", "CALL " + quoteId(insConName) + '(' + EasikTools.join(", ", params) + ')');
}
Aggregations