Groovy ASTTransformation - выполнение коллекции forL oop выражение внутри замыкания - PullRequest
Новая
       49

Groovy ASTTransformation - выполнение коллекции forL oop выражение внутри замыкания

0 голосов
/ 07 января 2020

Я создаю пользовательский DSL в Groovy и хочу выполнить условное выражение forL oop внутри замыкания.

По сути, я изменяю forL oop следующим образом во время INSTRUCTION_SELECTION фаза компиляции 

visitForLoop(forLoop: ForStatement) {
.
.
.
.
forLoop.collectionExpression = ClosureExpression(emptyArray(),
                        GeneralUtils.stmt(forLoop.collectionExpression))
}

Это мой Groovy скрипт, 

int simpleForLoopTest() {

    int result = 0
    int i = 100, times = 3

    for (int j in 1..times) {
        result += square(i)
    }

    return result
}

Генерируемый файл класса 

final class _simpleForLoopTest_closure1 extends Closure implements GeneratedClosure {
            public _simpleForLoopTest_closure1(Object _outerInstance, Object _thisObject) {
                super(_outerInstance, _thisObject);
            }

            public Object doCall(Object it) {
                return new IntRange(true, 1, DefaultTypeTransformation.intUnbox(times.get()));
            }

            public Integer getTimes() {
                return (Integer)ScriptBytecodeAdapter.castToType(times.get(), Integer.class);
            }

            public Object call(Object args) {
                return this.doCall(args);
            }

            public Object call() {
                return this.doCall((Object)null);
            }

            @Generated
            public Object doCall() {
                return this.doCall((Object)null);
            }
        }

Это способ обращения к закрытию в файл класса скрипта 

for(Iterator var8 = DefaultGroovyMethods.iterator(new _simpleForLoopTest_closure1(this, this)); var8.hasNext(); result += this.square((CodeStack)iterationStack_13_5.makeNewCall("square:14:19"), i))

Во время компиляции я получаю следующую ошибку: 

java.lang.VerifyError: Bad local variable type
Exception Details:
  Location:
    TestEventing/ForLoopTest.simpleForLoopTest()I @62: iload
  Reason:
    Type 'groovy/lang/Reference' (current frame, locals[5]) is not assignable to integer
  Current Frame:
    bci: @62
    flags: { }
    locals: { 'TestEventing/ForLoopTest', 'com/testing/flows/episodes/CodeStack', 'java/lang/String', integer, integer, 'groovy/lang/Reference' }
    stack: { }
  Bytecode:
    0x0000000: 2ab4 0020 1239 b600 3d4c 2b57 2ab4 0020
    0x0000010: b600 414d 2c57 2ab4 0020 b600 4401 5703
    0x0000020: 3e1d 5710 6436 0415 0457 06b8 004a b600
    0x0000030: 4db8 004a bb00 4f5a 5fb7 0052 3a05 1505
    0x0000040: 57bb 0054 5912 562b b700 593a 0619 0657
    0x0000050: 013a 07bb 005b 592a 2a19 05b7 005e b800
    0x0000060: 643a 0819 08b9 006a 0100 9900 4619 08b9
    0x0000070: 006d 0100 1246 b800 1ec0 0046 3a07 1906
    0x0000080: b600 7057 1906 b600 743a 0919 0957 2ab4
    0x0000090: 0020 b600 4401 571d 1900 1909 1276 b600
    0x00000a0: 7bc0 0078 1504 b600 7f60 593e 57a7 ffb6
    0x00000b0: 2ab4 0020 1256 2b2c b600 8301 571d ac00
    0x00000c0: 00bf                                   
  Stackmap Table:
    full_frame(@99,{Object[#2],Object[#120],Object[#148],Integer,Integer,Object[#79],Object[#84],Object[#70],Object[#102]},{})
    same_frame_extended(@176)
    full_frame(@191,{},{Object[#53]})


    at java.lang.Class.getDeclaredMethods0(Native Method)
    at java.lang.Class.privateGetDeclaredMethods(Class.java:2701)

Примечание: я также вызываю VariableScopeVisitor(source, true).visitClass(node) после выполнения вышеуказанного преобразования.

Может кто-то пролить свет на то, что идет не так?

Заранее спасибо.

1 Ответ

0 голосов
/ 09 января 2020

Похоже, вы пытаетесь переписать 

for (int j in 1..times) {
    result += square(i)
}

как 

for (int j in { -> 1..times}) { // collection expression wrapped in no-arg closure
    result += square(i)
}

Это правильно? Я думаю, что вам не хватает выражения вызова метода, где замыкание является выражением объекта, а имя метода - "вызов".

Я не уверен, что понимаю, почему вы бы сделали это преобразование, но я думаю, что делать это на этапе выбора инструкций очень поздно, и вы пропустите множество шагов компилятора, которые разрешают типы / переменные и проверяют ваш класс / скрипт.

...