relay_gen_java.py 2.6 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;
Anders Blomdell's avatar
Anders Blomdell committed
31
32
33
34
35
36
37
38
39
      |
      |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
40
      |  EncoderChannel encoder;
Anders Blomdell's avatar
Anders Blomdell committed
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
    """))
    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
61
      |    DecoderChannel d = new DecoderChannel(InFile);
Anders Blomdell's avatar
Anders Blomdell committed
62
      |    FileOutputStream OutFile = new FileOutputStream(OutName);
Anders Blomdell's avatar
Anders Blomdell committed
63
      |    encoder = new EncoderChannel(OutFile);
Anders Blomdell's avatar
Anders Blomdell committed
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
      |
    """))
    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