From b9aaa826e1e7504958b6e75f35e9dcd09086a13e Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sat, 4 May 2019 17:56:18 -0400 Subject: Metrics for satellite case study --- .../model/satellite.aird | 251 +++++++++------------ .../model/satellite.ecore | 9 +- .../model/satellite.genmodel | 9 +- 3 files changed, 114 insertions(+), 155 deletions(-) (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.aird b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.aird index 3aa1cc06..569089d8 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.aird +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.aird @@ -1277,6 +1277,35 @@ java:/Objects/java.io.Console java:/Objects/java.io.FileOutputStream ../inputs/SatelliteInstance.xmi + java:/Objects/hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor + java:/Objects/hu.bme.mit.inf.dslreasoner.application.execution.ScriptConsole + java:/Objects/hu.bme.mit.inf.dslreasoner.application.execution.ScriptConsoleDecorator + java:/Objects/hu.bme.mit.inf.dslreasoner.application.ApplicationConfigurationStandaloneSetup + java:/Objects/hu.bme.mit.inf.dslreasoner.application.execution.StandardOutputBasedScriptConsole + java:/Objects/hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor + java:/Objects/hu.bme.mit.inf.dslreasoner.application.execution.util.ApplicationConfigurationParser + java:/Objects/hu.bme.mit.inf.dslreasoner.application.execution.PatternLanguageWithRSSetup + java:/Objects/hu.bme.mit.inf.dslreasoner.application.execution.PatternLanguageWithRSModule + java:/Objects/hu.bme.mit.inf.dslreasoner.application.ApplicationConfigurationStandaloneRuntimeModule + java:/Objects/hu.bme.mit.inf.dslreasoner.application.validation.ApplicationConfigurationValidator + java:/Objects/hu.bme.mit.inf.dslreasoner.application.execution.GenerationTaskExecutor + java:/Objects/hu.bme.mit.inf.dslreasoner.application.execution.MetamodelLoader + java:/Objects/hu.bme.mit.inf.dslreasoner.application.validation.MetamodelValidator + java:/Objects/hu.bme.mit.inf.dslreasoner.application.execution.ModelLoader + java:/Objects/hu.bme.mit.inf.dslreasoner.application.validation.QueryAndMetamodelValidator + java:/Objects/hu.bme.mit.inf.dslreasoner.application.execution.QueryLoader + java:/Objects/hu.bme.mit.inf.dslreasoner.application.execution.ScopeLoader + java:/Objects/hu.bme.mit.inf.dslreasoner.application.execution.SolverLoader + java:/Objects/hu.bme.mit.inf.dslreasoner.application.valueconverter.QualifiedNameValueConverter + java:/Objects/hu.bme.mit.inf.dslreasoner.application.execution.NullWorkspace + java:/Objects/hu.bme.mit.inf.dslreasoner.application.execution.EclipseBasedProgressMonitor + java:/Objects/org.eclipse.viatra.query.runtime.matchers.aggregators.count + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.aggregations.AggregatorType + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.aggregations.IAggregatorFactory + java:/Objects/java.lang.annotation.Inherited + java:/Objects/org.eclipse.viatra.query.runtime.matchers.aggregators.min + ../src/hu/bme/mit/inf/dslreasoner/domains/satellite/metrics/SatelliteMetrics.vql + java:/Objects/org.eclipse.viatra.query.runtime.matchers.aggregators.max @@ -1370,39 +1399,16 @@ + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1489,6 +1495,27 @@ + + + + + + + + + + + + + + + + + + + + + @@ -1506,54 +1533,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1782,86 +1761,25 @@ - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + italic - - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - - - - - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - - - - - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - - - - - - - - - - - italic - - - - - - - - - - - - italic - - - - - - - - - - - - italic - - - - + + + + + bold + + + @@ -1878,12 +1796,12 @@ - + - + italic - + @@ -2111,6 +2029,41 @@ + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore index d439fe23..99766ab7 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore @@ -21,10 +21,8 @@ + - - - @@ -47,4 +45,9 @@ + + + + + diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel index a90d5b26..61a4104a 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel @@ -22,6 +22,11 @@ + + + + + @@ -36,10 +41,8 @@ + - - - -- cgit v1.2.3-70-g09d2