VIATRA-Generator

VIATRA-Generator copied to clipboard

java.lang.IllegalArgumentException with patterns using EObject parameters

2

## Description The **transformQueries** method found in [viatra2logic](https://github.com/viatra/VIATRA-Generator/blob/master/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend) catches an IllegalArgumentException with the following query: ## Query used: ``` pattern transitionWithoutTargetStateV1(transition:EObject) { EObject(source); EObject(transition); neg find State_OutgoingTransitions(source, transition); neg find...

mayerkr

java.lang.IllegalArgumentException in transformQueries method

2

## Description The **transformQueries** method found in [viatra2logic](https://github.com/viatra/VIATRA-Generator/blob/master/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend) runs into an IllegalArgumentException with the following query: ## Query used: ``` pattern availableGreaterThanTotalCpu(host : HostInstance) { HostInstance.availableCpu(host, aCpu); HostInstance.totalCpu(host, tCpu); check(aCpu...

mayerkr

## Description: java.lang.UnsupportedOperationException is thrown from **transformMetamodel** ## Relevant code in main: ``` def static void main(String[] args) { val inputs = new FileSystemWorkspace('''initialModels/''',"") val workspace = new FileSystemWorkspace('''outputModels/''',"") workspace.initAndClear...

mayerkr

## Description The **transformQueries** method found in [viatra2logic](https://github.com/viatra/VIATRA-Generator/blob/master/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend) runs into a ClassCastException ## Query used: ``` pattern multipleTransitionsWithSameAction(state : State, action : java String) { State.outgoingTransitions(state, transition); State.outgoingTransitions(state, otherTransition); find...

mayerkr

mayerkr

mayerkr

mayerkr