modelverse/interface/HUTN/hutn_compiler/linker.py

import sys
import urllib
import urllib2
import json

def flush_data(address, data, username):
    if data:
        urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "data": json.dumps(data), "username": username})), timeout=10).read()
    return []

def link(address, username, objects):
    # Read out all symbol tables that are to be linked
    definers = {}
    users = {}
    data = []

    definers["main"] = None
    for obj in objects:
        data.append(("V", '3'))
        data.append(("V", '"read_symbols"'))
        data.append(("V", '"%s"' % obj))

    data = flush_data(address, data, username)

    for obj in objects:
        print("[SYMB] %s" % (obj))
        v = urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "get_output", "username": username}))).read()
        lst = v.rsplit("=", 1)[1]
        lst = lst.split("\n")
        print("Split in " + str(lst))
        for e in lst:
            print("Check " + str(e))
            if len(e) > 1:
                name, defined = e.rsplit(":", 1)
                if defined == "1":
                    if definers.get(name, None):
                        raise Exception("Double definition for symbol %s\nDefined in %s\nDefined in %s" % (name, definers[name], obj))
                    definers[name] = obj
                else:
                    users.setdefault(name, []).append(obj)
                    if name not in definers:
                        definers[name] = None
        print("Finished list!")

    # Check for undefined symbols with this linking set
    for symbol in definers:
        if definers[symbol] is None:
            if symbol not in ["input", "output"]:
                # Some symbols are built-ins which only look like functions
                raise Exception("Undefined symbol %s.\nUsed by modules:\n\t%s" % (symbol, "\n\t".join(users[symbol])))

    # Ok, we know that all symbols can be defined with this set of files, now link their initializers together
    initializers = []
    for obj in objects:
        data.append(("V", '3'))
        data.append(("V", '"read_initializers"'))
        data.append(("V", '"%s"' % obj))

    data = flush_data(address, data, username)

    for obj in objects:
        print("[LINK] %s" % (obj))
        v = urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "get_output", "username": username}))).read()
        start = str(v.split("&", 1)[0].split("=")[1])
        initializers.append(start)

    # Bind all initializers together
    if definers:
        print("[LOAD] %s:main()" % definers["main"])
    else:
        print("[LOAD] main()")

    # Set interface to constructors
    commands = [("V", '1')]

    # Link all initializers together
    for init in initializers:
        commands.extend([
                ("V", '"call"'),
                    ("V", '"access"'),
                        ("V", '"resolve"'),
                            ("V", '"exec"'),
                    ("V", '1'),
                    ("V", '"const"'),
                        ("R", str(init)),
                    ("V", 'true'),
            ])

    # Load main function
    commands.extend([
                ("V", '"return"'),
                    ("V", 'true'),
                    ("V", '"call"'),
                        ("V", '"access"'),
                            ("V", '"resolve"'),
                                ("V", '"main"'),
                        ("V", '0'),
                        ("V", 'false'),
            ])

    import json
    urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "data": json.dumps(commands), "username": username}))).read()

if __name__ == "__main__":
    if len(sys.argv) == 1:
        print("No username defined")
    else:
        address = sys.argv[1]
        username = sys.argv[2]
        objects = set(sys.argv[3:])

        if objects:
            link(address, username, objects)
        else:
            print("No files to link defined")