|
org.kframework.utils.errorsystem.KEMException: [Error] Critical: (null) |
|
while evaluating function Set:in * 6698 |
|
while evaluating functional term: |
|
Set:in(Int(#"3"),, Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:di... |
|
and applying the rule |
|
rule ACCTCODE in SetItem( 1 ) |
|
SetItem ( 2 ) |
|
SetItem ( 3 ) |
|
SetItem ( 4 ) |
|
SetItem ( 5 ) |
|
SetItem ( 6 ) |
|
SetItem ( 7 ) |
|
SetItem ( 8 ) |
|
SetItem ( 9 ) |
|
=> false |
|
requires ACCTCODE ==Int 0 orBool 10 <=Int ACCTCODE |
|
Source: /mnt/stuff/maker/k-dss-cdp-manager/out/rules.k Location(199,6,209,56) |
|
|
|
while evaluating function Set:in |
|
while evaluating functional term: |
|
Set:in(Int(#"3"),, Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:di... |
|
and applying the rule |
|
rule ACCTCODE in SetItem( 1 ) |
|
SetItem ( 2 ) |
|
SetItem ( 3 ) |
|
SetItem ( 4 ) |
|
SetItem ( 5 ) |
|
SetItem ( 6 ) |
|
SetItem ( 7 ) |
|
SetItem ( 8 ) |
|
SetItem ( 9 ) |
|
=> false |
|
requires ACCTCODE ==Int 0 orBool 10 <=Int ACCTCODE |
|
Source: /mnt/stuff/maker/k-dss-cdp-manager/out/rules.k Location(199,6,209,56) |
|
|
|
while evaluating function Set:in |
|
while evaluating functional term: |
|
Set:in(Int(#"3"),, Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:di... |
|
and applying the rule |
|
rule ACCTCODE in SetItem( 1 ) |
|
SetItem ( 2 ) |
|
SetItem ( 3 ) |
|
SetItem ( 4 ) |
|
SetItem ( 5 ) |
|
SetItem ( 6 ) |
|
SetItem ( 7 ) |
|
SetItem ( 8 ) |
|
SetItem ( 9 ) |
|
=> false |
|
requires ACCTCODE ==Int 0 orBool 10 <=Int ACCTCODE |
|
Source: /mnt/stuff/maker/k-dss-cdp-manager/out/rules.k Location(199,6,209,56) |
|
|
|
while evaluating function Set:in |
|
while evaluating functional term: |
|
Set:in(Int(#"3"),, Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:di... |
|
and applying the rule |
|
rule ACCTCODE in SetItem( 1 ) |
|
SetItem ( 2 ) |
|
SetItem ( 3 ) |
|
SetItem ( 4 ) |
|
SetItem ( 5 ) |
|
SetItem ( 6 ) |
|
SetItem ( 7 ) |
|
SetItem ( 8 ) |
|
SetItem ( 9 ) |
|
=> false |
|
requires ACCTCODE ==Int 0 orBool 10 <=Int ACCTCODE |
|
Source: /mnt/stuff/maker/k-dss-cdp-manager/out/rules.k Location(199,6,209,56) |
|
|
|
while evaluating function Set:in |
|
while evaluating functional term: |
|
Set:in(Int(#"3"),, Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:di... |
|
and applying the rule |
|
rule ACCTCODE in SetItem( 1 ) |
|
SetItem ( 2 ) |
|
SetItem ( 3 ) |
|
SetItem ( 4 ) |
|
SetItem ( 5 ) |
|
SetItem ( 6 ) |
|
SetItem ( 7 ) |
|
SetItem ( 8 ) |
|
SetItem ( 9 ) |
|
=> false |
|
requires ACCTCODE ==Int 0 orBool 10 <=Int ACCTCODE |
|
Source: /mnt/stuff/maker/k-dss-cdp-manager/out/rules.k Location(199,6,209,56) |
|
|
|
while evaluating function Set:in |
|
while evaluating functional term: |
|
Set:in(Int(#"3"),, Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:di... |
|
and applying the rule |
|
rule ACCTCODE in SetItem( 1 ) |
|
SetItem ( 2 ) |
|
SetItem ( 3 ) |
|
SetItem ( 4 ) |
|
SetItem ( 5 ) |
|
SetItem ( 6 ) |
|
SetItem ( 7 ) |
|
SetItem ( 8 ) |
|
SetItem ( 9 ) |
|
=> false |
|
requires ACCTCODE ==Int 0 orBool 10 <=Int ACCTCODE |
|
Source: /mnt/stuff/maker/k-dss-cdp-manager/out/rules.k Location(199,6,209,56) |
|
|
|
while evaluating function Set:in |
|
while evaluating functional term: |
|
Set:in(Int(#"3"),, Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:di... |
|
and applying the rule |
|
rule ACCTCODE in SetItem( 1 ) |
|
SetItem ( 2 ) |
|
SetItem ( 3 ) |
|
SetItem ( 4 ) |
|
SetItem ( 5 ) |
|
SetItem ( 6 ) |
|
SetItem ( 7 ) |
|
SetItem ( 8 ) |
|
SetItem ( 9 ) |
|
=> false |
|
requires ACCTCODE ==Int 0 orBool 10 <=Int ACCTCODE |
|
Source: /mnt/stuff/maker/k-dss-cdp-manager/out/rules.k Location(199,6,209,56) |
|
|
|
while evaluating function Set:in |
|
while evaluating functional term: |
|
Set:in(Int(#"3"),, Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:di... |
|
and applying the rule |
|
rule ACCTCODE in SetItem( 1 ) |
|
SetItem ( 2 ) |
|
SetItem ( 3 ) |
|
SetItem ( 4 ) |
|
SetItem ( 5 ) |
|
SetItem ( 6 ) |
|
SetItem ( 7 ) |
|
SetItem ( 8 ) |
|
SetItem ( 9 ) |
|
=> false |
|
requires ACCTCODE ==Int 0 orBool 10 <=Int ACCTCODE |
|
Source: /mnt/stuff/maker/k-dss-cdp-manager/out/rules.k Location(199,6,209,56) |
|
|
|
while evaluating function Set:in |
|
while evaluating functional term: |
|
Set:in(Int(#"3"),, Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:di... |
|
and applying the rule |
|
rule ACCTCODE in SetItem( 1 ) |
|
SetItem ( 2 ) |
|
SetItem ( 3 ) |
|
SetItem ( 4 ) |
|
SetItem ( 5 ) |
|
SetItem ( 6 ) |
|
SetItem ( 7 ) |
|
SetItem ( 8 ) |
|
SetItem ( 9 ) |
|
=> false |
|
requires ACCTCODE ==Int 0 orBool 10 <=Int ACCTCODE |
|
Source: /mnt/stuff/maker/k-dss-cdp-manager/out/rules.k Location(199,6,209,56) |
|
|
|
while evaluating function Set:in |
|
while evaluating functional term: |
|
Set:in(Int(#"3"),, Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:difference(Set:di... |
|
and applying the rule |
|
rule ACCTCODE in SetItem( 1 ) |
|
SetItem ( 2 ) |
|
SetItem ( 3 ) |
|
SetItem ( 4 ) |
|
SetItem ( 5 ) |
|
SetItem ( 6 ) |
|
SetItem ( 7 ) |
|
SetItem ( 8 ) |
|
SetItem ( 9 ) |
|
=> false |
|
requires ACCTCODE ==Int 0 orBool 10 <=Int ACCTCODE |
|
Source: /mnt/stuff/maker/k-dss-cdp-manager/out/rules.k Location(199,6,209,56) |
|
|
|
while evaluating function Set:in * 14408 |
|
at org.kframework.utils.errorsystem.KEMException.create(KEMException.java:126) |
|
at org.kframework.utils.errorsystem.KEMException.criticalError(KEMException.java:43) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:586) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
Caused by: java.lang.StackOverflowError |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:398) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.lambda$evaluateConditions$0(RewriteEngineUtils.java:186) |
|
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195) |
|
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1654) |
|
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) |
|
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) |
|
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913) |
|
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) |
|
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:188) |
|
at org.kframework.backend.java.symbolic.PatternMatcher.match(PatternMatcher.java:134) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.evaluateFunction(KItem.java:511) |
|
at org.kframework.backend.java.kil.KItem$KItemOperations.resolveFunctionAndAnywhere(KItem.java:372) |
|
at org.kframework.backend.java.kil.KItem.resolveFunctionAndAnywhere(KItem.java:306) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.construct(RewriteEngineUtils.java:292) |
|
at org.kframework.backend.java.util.RewriteEngineUtils.evaluateConditions(RewriteEngineUtils.java:143) |