Esempio n. 1
0
def validate_module(module):
    #print("validate_module()")
    try:
        validation.spec_validate_module(module)
    except Exception as e:
        return "error: invalid"
    return None
Esempio n. 2
0
def module_imports(module):
    try:
        validation.spec_validate_module(mod)
    except:
        return "error: invalid"
    externtypestar, extertypeprimestar = ret
    importstar = module["imports"]
    if len(importstar) != len(externtypestar):
        return "error: wrong import length"
    result = []
    for i in range(len(importstar)):
        importi = importstar[i]
        externtypei = externtypestar[i]
        resutli = [immporti["module"], importi["name"], externtypei]
        result += resulti
    return result
Esempio n. 3
0
def module_exports(module):
    try:
        ret = validation.spec_validate_module(mod)
    except:
        return "error: invalid"
    externtypestar, extertypeprimestar = ret
    exportstar = module["exports"]
    assert len(exportstar) == len(externtypeprimestar)
    result = []
    for i in range(len(importstar)):
        exporti = exportstar[i]
        externtypeprimei = externtypeprimestar[i]
        resutli = [exporti["name"], externtypeprimei]
        result += resulti
    return result