Example #1
0
 def GET(self):
     f = myform()
     f["C"].value = examples.values()[0]
     f["Examples"].value = examples.keys()[0]
     return render.page(f)
Example #2
0
 def GET(self):
     f = myform()
     f["C"].value = examples.values()[0]
     f["Examples"].value = examples.keys()[0]
     return render.page(f)
Example #3
0
from examples import examples

module_path = os.path.dirname(__file__)
render = web.template.render(os.path.join(module_path, 'templates/'))

urls = (
    '/', 'source_entry',
    '/main.v', 'file_download'
)
app = web.application(urls, globals())

myform = form.Form(
    form.Textarea("C"),
    form.Dropdown(
        "Examples",
        examples.keys(),
        onclick="return update_form()"),
)


class file_download:

    def POST(self):
        f = myform()
        f.validates()
        try:
            code = compile(f["C"].value)
            web.header("content-type", "application/octet-stream")
            web.header("content-transfer-encoding", "binary")
            return code
        except C2CHIPError as err:
Example #4
0
from web import form
from chips.compiler.parser import Parser
from chips.compiler.exceptions import C2CHIPError
from chips.compiler.macro_expander import expand_macros
from chips.compiler.verilog_area import generate_CHIP as generate_CHIP_area
from examples import examples

module_path = os.path.dirname(__file__)
render = web.template.render(os.path.join(module_path, 'templates/'))

urls = ('/', 'source_entry', '/main.v', 'file_download')
app = web.application(urls, globals())

myform = form.Form(
    form.Textarea("C"),
    form.Dropdown("Examples", examples.keys(), onclick="return update_form()"),
)


class file_download:
    def POST(self):
        f = myform()
        f.validates()
        try:
            code = compile(f["C"].value)
            web.header("content-type", "application/octet-stream")
            web.header("content-transfer-encoding", "binary")
            return code
        except C2CHIPError as err:
            return "Error in file: " + err.filename + " at line: " + str(
                err.lineno) + "\n" + err.message