relay_gen_java.py 2.64 KB
Newer Older
Anders Blomdell's avatar
Anders Blomdell committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#!/usr/bin/python

import re
import sys

def split_match(pattern, multiline):
    def match(s):
        m = re.match(pattern, s)
        if m:
            return m.group(1)
        pass
    return filter(lambda s: s != None, map(match, multiline.split('\n')))
   

if __name__ == '__main__':
    f = open(sys.argv[1])
    sample = []
    for l in map(lambda s: s.strip(), f):
19
        lang,kind,func,arg,dummy = l[1:].split(l[0])
Anders Blomdell's avatar
Anders Blomdell committed
20
21
22
23
24
25
26
27
28
        if lang == 'Java' and kind == 'sample':
            sample.append((func, arg))
            pass
        pass
    result = []
    result.extend(split_match('^[^|]*\|(.*)$', """
      |import java.io.FileInputStream;
      |import java.io.FileOutputStream;
      |import java.io.IOException;
Anders Blomdell's avatar
Anders Blomdell committed
29
30
      |import se.lth.control.labcomm.DecoderChannel;
      |import se.lth.control.labcomm.EncoderChannel;
31
      |import se.lth.control.labcomm.Sample;
Anders Blomdell's avatar
Anders Blomdell committed
32
33
34
35
36
37
38
39
40
      |
      |public class java_relay implements
    """))
    for func,arg in sample[0:-1]:
        result.append('  %s.Handler,' % func)
        pass
    result.append('  %s.Handler' % sample[-1][0])
    result.extend(split_match('^[^|]*\|(.*)$', """
      |{
Anders Blomdell's avatar
Anders Blomdell committed
41
      |  EncoderChannel encoder;
Anders Blomdell's avatar
Anders Blomdell committed
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
    """))
    for func,arg in sample:
        if arg == 'void':
            result.extend(split_match('^[^|]*\|(.*)$', """
              |  public void handle_%(func)s() throws IOException {
              |    %(func)s.encode(encoder);
              |  }
            """ % { 'func': func}))
            pass
        else:
            result.extend(split_match('^[^|]*\|(.*)$', """
              |  public void handle_%(func)s(%(arg)s data) throws IOException {
              |    %(func)s.encode(encoder, data);
              |  }
            """ % { 'func': func, 'arg': arg}))
            pass
        pass
    result.extend(split_match('^[^|]*\|(.*)$', """
      |  public java_relay(String InName, String OutName) throws Exception {
      |    FileInputStream InFile = new FileInputStream(InName);
Anders Blomdell's avatar
Anders Blomdell committed
62
      |    DecoderChannel d = new DecoderChannel(InFile);
Anders Blomdell's avatar
Anders Blomdell committed
63
      |    FileOutputStream OutFile = new FileOutputStream(OutName);
Anders Blomdell's avatar
Anders Blomdell committed
64
      |    encoder = new EncoderChannel(OutFile);
Anders Blomdell's avatar
Anders Blomdell committed
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
      |
    """))
    for func,arg in sample:
        result.append('    %s.register(d, this);' % func)
        pass
    for func,arg in sample:
        result.append('    %s.register(encoder);' % func)
        pass
    result.extend(split_match('^[^|]*\|(.*)$', """
      |    try {
      |      d.run();
      |    } catch (java.io.EOFException e) {
      |    }
      |  }
      |  public static void main(String[] arg) throws Exception {
      |    new java_relay(arg[0], arg[1]);
      |  }
      |}
    """))
    print "\n".join(result)
    pass