USESolverMemory.java 文件源码

public USESolverMemory(EPackage metamodel, List<String> constraints) throws transException {
    super();
    this.metamodel = metamodel;

    root = (EClass) metamodel.getEClassifier("AuxiliaryClass4USE");
    if ( root == null ) {
        root = EcoreFactory.eINSTANCE.createEClass();
        root.setName ("AuxiliaryClass4USE");
        metamodel.getEClassifiers().add(root);
    }

    try {
        StringWriter writer1 = new StringWriter();
        transformEcore2use(metamodel, writer1);
        writer1.append("\n\n");
        writeOCLexpression(metamodel, constraints, root, writer1);

        this.useSpecification = writer1.toString();
        writer1.close();
    } catch (IOException e) {
        // TODO Auto-generated catch block
        e.printStackTrace();
    }           
}