Measurements framework fixes

1 files changed, 28 insertions, 4 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/run/RunGeneratorConfig.xtend b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/run/RunGeneratorConfig.xtend
index c84f55d3..20eed2e2 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/run/RunGeneratorConfig.xtend
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/run/RunGeneratorConfig.xtend
@@ -12,7 +12,7 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RuntimeEn
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeSpecification

 import hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor

 import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor

-import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace

+import java.io.File

 import java.text.SimpleDateFormat

 import java.util.Date

 import org.apache.commons.cli.BasicParser

@@ -23,8 +23,8 @@ import org.apache.commons.cli.Option
 import org.apache.commons.cli.Options

 import org.apache.commons.cli.ParseException

 import org.eclipse.core.runtime.NullProgressMonitor

-import org.eclipse.emf.ecore.resource.Resource

-import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl

+import com.google.common.io.Files

+import java.io.PrintWriter

 

 class RunGeneratorConfig {

         static var SIZE_LB = 20

@@ -40,6 +40,8 @@ class RunGeneratorConfig {
         static val INITIAL = true

 

         def static void main(String[] args) {

+//              MyChangeFactory.install()

+                

 //              Resource.Factory.Registry.INSTANCE.extensionToFactoryMap.put("xmi", new XMIResourceFactoryImpl)

 //              val workspace = new FileSystemWorkspace('''x/''', "")

 //              workspace.initAndClear

@@ -142,7 +144,29 @@ class RunGeneratorConfig {
                                 val pms = genTask.partialModel as PartialModelSpecification

                                 val me = pms.entry.get(0) as ModelEntry

                                 val fs = me.path as FileSpecification

-                                fs.path = "inputs/Resource" + HOUSEHOLD + "hh.xmi"

+                                val modelPath = "inputs/Resource" + HOUSEHOLD + "hh.xmi"

+                                val modelFile = new File(modelPath)

+                                if (!modelFile.exists) {

+                                        val writer = new PrintWriter(modelFile)

+                                        try {

+                                                writer.println('''

+                                                <?xml version="1.0" encoding="UTF-8"?>

+                                                <TaxCardWithRoot:Resource

+                                                    xmi:version="2.0"

+                                                    xmlns:xmi="http://www.omg.org/XMI"

+                                                    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"

+                                                    xmlns:TaxCardWithRoot="http:///TaxCardWithRoot.ecore"

+                                                    xsi:schemaLocation="http:///TaxCardWithRoot.ecore ../../case.study.pledge.model/model/TaxationWithRoot.ecore">

+                                                    «FOR i : 0 ..< HOUSEHOLD»

+                                                        <contains/>

+                                                    «ENDFOR»

+                                                </TaxCardWithRoot:Resource>

+                                                ''')

+                                        } finally {

+                                                writer.close

+                                        }

+                                }

+                                fs.path = modelPath

                                 println("<<Using " + fs.path + " as initial model>>")

                         } else {

                                 scopeSpec.scopes.remove(1)