jsketcher/web/app/cad/craft/production/productionAnalyzer.ts

import {MObject} from "cad/model/mobject";
import {Shell} from "brep/topo/shell";
import {MFace} from "cad/model/mface";
import {Face} from "brep/topo/face";
import {FaceRef} from "cad/craft/e0/OCCUtils";
import {Classification, Classifier, OCCClassifier} from "cad/craft/production/classifier";
import {addToListInMap} from "gems/iterables";
import {MEdge} from "cad/model/medge";
import {Edge} from "brep/topo/edge";
import {MBrepShell, MShell} from "cad/model/mshell";
import {TopoObject} from "brep/topo/topo-object";
import {Matrix3x4} from "math/matrix";

const classifier: Classifier = new OCCClassifier();

type ObjectRef = [string, number];

interface OneToManyRelation {
  source: ObjectRef;
  targets: ObjectRef[];
}

interface ProductionHistory {

  generated: OneToManyRelation[];

  modified: OneToManyRelation[];

}

enum GenClassification {
  EDGE_TO_FACE,
  VERTEX_TO_EDGE,
  FACE_x_FACE_TO_EDGE,
  EDGE_x_EDGE_TO_VERTEX
}



class ID {

  type: string;

  generated: string[] = [];

  modified: string[] = [];

  constructor(type) {
    this.type = type;
  }

  addGenerated(sourceType: string, sourceId: string) {
    this.generated.push(sourceId);
  }

  addModified(sourceType: string, sourceId: string) {
    this.modified.push(sourceId);
  }

  render() {
    if (this.generated.length > 0) {
      if (this.generated.length === 1) {
        return this.type[0] + ":" + this.generated[0];
      } else if (this.generated.length > 1) {
        return this.type[0] + ':[' + this.generated.sort().join('x') + ']';
      }
    } else {

      if (this.modified.length === 1) {
        return this.modified[0];
      } else if (this.modified.length > 1) {
        return this.type[0] + ':[' + this.modified.sort().join('|') + ']';
      }
    }
    throw 'illegal state';
  }
}

export interface ProductionAnalyzer {
  assignIdentification(createdShell: Shell);
}

export class NullProductionAnalyzer implements ProductionAnalyzer {



  assignIdentification(createdShell: Shell) {
  }
}

export const NULL_ANALYZER = new NullProductionAnalyzer();

abstract class BasicProductionAnalyzer implements ProductionAnalyzer {

  abstract assignIdentificationImpl(createdShell: Shell);

  assignIdentification(createdShell: Shell) {

    classifier.prepare(createdShell);

    this.assignIdentificationImpl(createdShell);

    createdShell.traverse(obj => {
      if (!obj.data.productionInfo) {
        obj.data.productionInfo = {
          unstable: true
        }
      }
    });

  }

}

export class SameTopologyProductionAnalyzer extends BasicProductionAnalyzer {

  originShell: Shell;
  suffix: string;
  originShape;

  constructor(originShape: MBrepShell, suffix: string) {
    console.log(originShape);
    super();
    this.originShape = originShape;
    this.originShell = originShape.brepShell;
    this.suffix = suffix;
  }

  assignIdentificationImpl(createdShell: Shell) {

    this.originShell.faces.forEach((originFace, index) => {
      const createdFace = createdShell.faces[index];
      createdFace.data.id = originFace.data.id + ":" + this.suffix;
      createdFace.data.productionInfo = originFace.data.productionInfo;
    })

    const listOfEdgesToCopy = [...this.originShell.edges];
    const createdShellEdges = [...createdShell.edges];

    listOfEdgesToCopy.forEach((originEdge, index) => {
      //console.log("originEdge", originEdge);
      const createdEdge = createdShellEdges[index];
      //console.log(createdEdge);
      createdEdge.data.id = originEdge.data.id + ":" + this.suffix;
      createdEdge.data.productionInfo = originEdge.data.productionInfo;
    })


  }
}

type IdentificationInfo = {
  id: string,
  productionInfo: any;
}

export class ExpectedOrderProductionAnalyzer extends BasicProductionAnalyzer {

  faceInfo: IdentificationInfo[];
  edgeInfo: IdentificationInfo[];
  vertexInfo: IdentificationInfo[];

  constructor(faceInfo: IdentificationInfo[], edgeInfo: IdentificationInfo[], vertexInfo: IdentificationInfo[]) {
    super();
    this.faceInfo = faceInfo;
    this.edgeInfo = edgeInfo;
    this.vertexInfo = vertexInfo;
  }

  assignIdentificationImpl(createdShell: Shell) {

    function assignIdentificationInfo(obj: TopoObject, identificationInfo: IdentificationInfo) {
      obj.data.id = identificationInfo.id;
      obj.data.productionInfo = identificationInfo.productionInfo;
    }

    let i = 0;
    for (const face of createdShell.faces) {
      const identificationInfo = this.faceInfo[i++];
      if (identificationInfo) {
        assignIdentificationInfo(face, identificationInfo)
      } else {
        break;
      }
    }
    i = 0;
    for (const edge of createdShell.edges) {
      const identificationInfo = this.edgeInfo[i++];
      if (identificationInfo) {
        assignIdentificationInfo(edge, identificationInfo)
      } else {
        break;
      }
    }
    i = 0;
    for (const vertex of createdShell.vertices) {
      const identificationInfo = this.vertexInfo[i++];
      if (identificationInfo) {
        assignIdentificationInfo(vertex, identificationInfo)
      } else {
        break;
      }
    }
  }

}

export class FromSketchProductionAnalyzer extends BasicProductionAnalyzer {

  profiles: FaceRef[];

  constructor(profiles: FaceRef[]) {
    super();
    this.profiles = profiles;
    for (const originFace of this.profiles) {
      classifier.prepare(originFace.topoShape);
    }
  }

  assignIdentificationImpl(createdShell: Shell) {

    classifier.prepare(createdShell);

    for (const originFace of this.profiles) {
      const originFaceTopology = originFace.topoShape.faces[0];
      let base: Face = null;
      const wireId = originFace.contour.id;

      for (const createdFace of createdShell.faces) {

        classifier.prepare(originFace.topoShape);
        const faceToFaceClassification = classifier.classifyFaceToFace(originFaceTopology, createdFace);

        if (faceToFaceClassification === Classification.EXACT) {
          base = createdFace;
          base.data.id = `F:BASE[${wireId}]`;
          base.data.productionInfo = {
            role: 'base',
            originatingWire: wireId
          }
          break;
        }
      }

      for (let i = 0; i < originFace.edges.length; ++i) {
        const profileEdge = originFaceTopology.outerLoop.halfEdges[i].edge;
        const seg = originFace.contour.segments[i];

        for (const createdEdge of createdShell.edges) {

          if (classifier.classifyEdgeToEdge(profileEdge, createdEdge) !== Classification.UNRELATED) {
            createdEdge.data.id = `E:BASE[${seg.id}]`;
            createdEdge.data.productionInfo = {
              role: 'base',
              originatingPrimitive: seg.id
            }
            const halfEdge = createdEdge.getHalfEdge(he => he?.loop?.face && he.loop.face !== base);
            if (halfEdge) {
              const face = halfEdge.loop.face;
              face.data.id = `F:SWEEP[${seg.id}]`;
              face.data.productionInfo = {
                role: 'sweep',
                originatingPrimitive: seg.id
              }

              halfEdge.prev.edge.data.id = `E:SWEEP[${seg.id}/A]`;
              halfEdge.prev.edge.data.productionInfo = {
                role: 'sweep',
                originatingPrimitive: seg.id + '/A'
              }

              halfEdge.prev.vertexA.data.id = `V:LID[${seg.id}/A]`
              halfEdge.prev.vertexA.data.productionInfo = {
                role: 'lid',
                originatingPrimitive: seg.id + '/A'
              }

              halfEdge.prev.vertexB.data.id = `V:BASE[${seg.id}/A]`
              halfEdge.prev.vertexB.data.productionInfo = {
                role: 'base',
                originatingPrimitive: seg.id + '/A'
              }

              //Extruded not closed wire
              if (!halfEdge.next.twin()) {
                halfEdge.next.edge.data.id = `E:SWEEP[${seg.id}/B]`;
                halfEdge.next.edge.data.productionInfo = {
                  role: 'sweep',
                  originatingPrimitive: seg.id + '/B'
                }

                halfEdge.next.vertexA.data.id = `V:BASE[${seg.id}/B]`
                halfEdge.next.vertexA.data.productionInfo = {
                  role: 'base',
                  originatingPrimitive: seg.id + '/B'
                }

                halfEdge.prev.vertexB.data.id = `V:LID[${seg.id}/B]`
                halfEdge.prev.vertexB.data.productionInfo = {
                  role: 'lid',
                  originatingPrimitive: seg.id + '/B'
                }
              }
            }
          }
        }
      }

      for (const createdFace of createdShell.faces) {
        if (!createdFace.data.productionInfo) {
          createdFace.data.id = `F:LID[${wireId}]`;
          createdFace.data.productionInfo = {
            role: 'lid'
          }
          break;
        }
      }

      for (const createdEdge of createdShell.edges) {
        if (!createdEdge.data.productionInfo) {

          const he = createdEdge.getHalfEdge(he => he?.loop?.face?.data?.productionInfo?.role === 'sweep');
          if (he) {
            const originatingPrimitive = he.loop.face.data.productionInfo.originatingPrimitive;
            createdEdge.data.id = `E:LID[${originatingPrimitive}]`;
            createdEdge.data.productionInfo = {
              role: 'lid',
              originatingPrimitive
            }
          }
        }
      }
    }
  }
}



const SPATIAL_COMPARATOR = (a: Face, b: Face) => {


};

function spatialSort(faces: Face[]) {

}

function spatialEdgeSort(edges: Edge[]) {

}


function spatialMSort(faces: MFace[]) {

}

function spatialMEdgeSort(edges: MEdge[]) {

}


function forceAdvance(idToAssign: string): string {
  const match = idToAssign.match(/(.+)\/\$(\d+)$/);
  if (match) {
    return match[1] + '/$' + (parseInt(match[2]) + 1);
  } else {
    return idToAssign + '/$1';
  }
}

export class FromMObjectProductionAnalyzer extends BasicProductionAnalyzer {

  consumed: MObject[] = [];
  mustAdvance: Set<string>;

  constructor(consumed: MObject[], mustAdvance: MObject[] = []) {
    super();
    this.consumed = consumed;
    this.mustAdvance = new Set<string>(mustAdvance && mustAdvance.map(o => o.id));
    consumed.forEach(mShell => {
      if (mShell instanceof MBrepShell) {
        classifier.prepare(mShell.brepShell);
      }
    });

  }

  assignIdentificationImpl(createdShell: Shell) {

    classifier.prepare(createdShell);

    const faceIds = new Map<string, Face[]>();
    const edgeIds = new Map<string, Edge[]>();
    const notIdentifiedEdges = new Set<Edge>();

    function assignFaceId(id: string, face: Face) {
      addToListInMap(edgeIds, id, face);
    }

    function assignEdgeId(id: string, edge: Edge) {
      addToListInMap(edgeIds, id, edge);
    }

    for (const createdFace of createdShell.faces) {
      const fuse: MFace[] = [];
      this.consumed.forEach(consumedShell => {

        consumedShell.traverse(consumedObj => {
          if (consumedObj instanceof MFace) {
            const consumedFace = consumedObj;
            if (!consumedFace.brepFace) {
              return;
            }
            let ffClassification = classifier.classifyFaceToFace(createdFace, consumedFace.brepFace);
            if (ffClassification !== Classification.UNRELATED) {
              fuse.push(consumedFace);
            } else {
              ffClassification = classifier.classifyFaceToFace(consumedFace.brepFace, createdFace);
              if (ffClassification !== Classification.UNRELATED) {
                fuse.push(consumedFace);
              }
            }
          }
        });
      })
      if (fuse.length == 1) {
        createdFace.data.productionInfo = fuse[0].brepFace.data.productionInfo;
        let idToAssign = fuse[0].id;
        if (this.mustAdvance.has(idToAssign)) {
          idToAssign = forceAdvance(idToAssign);
        }
        assignFaceId(idToAssign, createdFace);
      } else if (fuse.length > 1) {
        spatialMSort(fuse);
        const fuseId = '[' + fuse.map(f => f.id).join('|') + ']';
        fuse.reverse();
        const fusedProdInfo = fuse.reduce((accum, face) => {
          return Object.assign(accum, face.brepFace.data.productionInfo);
        }, {});
        createdFace.data.productionInfo = fusedProdInfo;
        assignFaceId(fuseId, createdFace);
      }
    }

    for (const [id, newFaces] of faceIds) {
      if (newFaces.length > 1) {
        spatialSort(newFaces);
        newFaces.forEach((newFace, i) => {
          newFace.data.id = `${id}:${i}`;
        });
      } else if (newFaces.length === 1) {
        newFaces[0].data.id = id;
      }
    }

    for (const createdEdge of createdShell.edges) {
      const fuse: MEdge[] = [];
      this.consumed.forEach(consumedShell => {
        consumedShell.traverse(consumedObj => {
          if (consumedObj instanceof MEdge) {
            const consumedEdge = consumedObj;
            const eeClassification = classifier.classifyEdgeToEdge(createdEdge, consumedEdge.brepEdge);
            if (eeClassification !== Classification.UNRELATED) {
              fuse.push(consumedEdge);
            }
          }
        });
      });
      if (fuse.length === 1) {
        createdEdge.data.productionInfo = fuse[0].brepEdge.data.productionInfo;
        const idToAssign = fuse[0].id;
        assignEdgeId(idToAssign, createdEdge);
      } else if (fuse.length > 1) {
        spatialMEdgeSort(fuse);
        const fuseId = '[' + fuse.map(f => f.id).join('|') + ']';
        fuse.reverse();
        const fusedProdInfo = fuse.reduce((accum, face) => {
          return Object.assign(accum, face.brepEdge.data.productionInfo);
        }, {});
        createdEdge.data.productionInfo = fusedProdInfo;
        assignEdgeId(fuseId, createdEdge);
      } else {
        notIdentifiedEdges.add(createdEdge)
      }
    }

    for (const [id, newEdges] of edgeIds) {
      if (newEdges.length > 1) {
        spatialEdgeSort(newEdges);
        newEdges.forEach((newFace, i) => {
          newFace.data.id = `${id}:${i}`;
        });
      } else if (newEdges.length === 1) {
        newEdges[0].data.id = id;
      }
    }

    const newEdges = new Map<string, Edge[]>();
    notIdentifiedEdges.forEach(edge => {

      const edgeCreators = [];
      this.consumed.forEach(consumedShell => {
        consumedShell.traverse(consumedObj => {
          if (consumedObj instanceof MFace && consumedObj.brepFace) {
            //We look for strict intersection otherwise any vertex touch will count
            if (classifier.classifyEdgeToFace(edge, consumedObj.brepFace) === Classification.EXACT) {
              edgeCreators.push(consumedObj);
            }
          }
        });
      });
      if (edgeCreators.length < 2) {
        //dangled edge - random id will be assigned
        return;
      }
      const edgeCreatorIds = edgeCreators.map(f => f.id).sort();
      const id = '[' + edgeCreatorIds.join('|') + ']';
      addToListInMap(newEdges, id, edge);
      edge.data.productionInfo = {
        role: 'intersection',
        parents: edgeCreatorIds
      };
      edge.data.id = id;
    });

    for (const [id, newEdges] of edgeIds) {
      if (newEdges.length > 1) {
        spatialEdgeSort(newEdges);
        newEdges.forEach((newFace, i) => {
          newFace.data.id = `${id}:${i}`;
        });
      } else if (newEdges.length === 1) {
        newEdges[0].data.id = id;
      }
    }


  }
}

export class PushPullFaceProductionAnalyzer extends FromMObjectProductionAnalyzer {

  baseFace: Face;

  constructor(consumed: MObject[], baseFace: Face) {
    super(consumed);
    this.baseFace = baseFace;
  }

  assignIdentificationImpl(createdShell: Shell) {
    super.assignIdentificationImpl(createdShell);

    const edgeMap = new Map();
    for (const he of this.baseFace.edges) {
      const twin = he.twin();
      if (twin) {
        edgeMap.set(twin.loop.face.data.id, twin.edge);
      }
    }

    for (const face of createdShell.faces) {
      if (!face.data.productionInfo) {
        face.data.id = this.baseFace.id;
        face.data.productionInfo = this.baseFace.data.productionInfo;
        for (const he of face.edges) {
          const twin = he.twin();
          if (twin) {
            const originEdge = edgeMap.get(twin.loop.face.data.id);
            he.edge.data.id = originEdge.data.id;
            he.edge.data.productionInfo = originEdge.data.productionInfo;
          }
        }
      }
    }

  }

}