search

Echtzeitsysteme / gips

Graph-Based (M)ILP Problem Specification Tool
https://gips.dev
GNU General Public License v3.0
3 stars 1 forks source link

Build exception: Pattern already registered with interpreter #30

Closed maxkratz closed 1 year ago

maxkratz commented 2 years ago 
constraint -> class::Entry {
    patterns.findFirst->filter(m | m.nodes().val == self)->count() == 0
}

(Taken from https://github.com/Echtzeitsysteme/gips-tests/blob/feature/snapshot-ilp-sort/gips.sort.patternreg/src/gipsl/Model.gipsl#L24-L26) throws an exception at build time:

java.lang.IllegalArgumentException: java.lang.IllegalArgumentException: Pattern already registered with interpreter: org.emoflon.ibex.patternmodel.IBeXPatternModel.impl.IBeXContextPatternImpl@7a66c35a (name: findFirst) (hasCountExpression: false) (documentation: )

maxkratz commented 2 years ago

See tests: https://github.com/Echtzeitsysteme/gips-tests/tree/feature/add-string-compare-tests/test.suite.gips/src/test/suite/gips/sort https://github.com/Echtzeitsysteme/gips-tests/tree/main/test.suite.gips/src/test/suite/gips/sort