def __init__(self):
SimplePanel.__init__(self)
self.form = FormPanel()
self.form.setEncoding(FormPanel.ENCODING_MULTIPART)
self.form.setMethod(FormPanel.METHOD_POST)
self.url = "http://localhost/pyjamas_upload_demo"
self.form.setAction(self.url)
self.form.setTarget("results")
vPanel = VerticalPanel()
hPanel = HorizontalPanel()
hPanel.setSpacing(5)
hPanel.add(Label("Upload file:"))
self.field = FileUpload()
self.field.setName("file")
hPanel.add(self.field)
hPanel.add(Button("Submit", getattr(self, "onBtnClick")))
vPanel.add(hPanel)
self.simple = CheckBox("Simple mode? ")
#self.simple.setChecked(True)
vPanel.add(self.simple)
self.progress = Label('0%')
results = NamedFrame("results")
vPanel.add(results)
vPanel.add(self.progress)
self.form.add(vPanel)
self.add(self.form)
def __init__(self):
SimplePanel.__init__(self)
self.box = CheckBox("Print Results?")
self.box.addClickListener(getattr(self, "onClick"))
self.add(self.box)
class CheckBoxDemo(SimplePanel):
def __init__(self):
SimplePanel.__init__(self)
self.box = CheckBox("Print Results?")
self.box.addClickListener(getattr(self, "onClick"))
self.add(self.box)
def onClick(self, sender=None):
Window.alert("checkbox status: " + str(self.box.isChecked()))
class CheckBoxDemo(SimplePanel):
def __init__(self):
SimplePanel.__init__(self)
self.box = CheckBox("Print Results?")
self.box.addClickListener(getattr(self, "onClick"))
self.add(self.box)
def onClick(self, sender=None):
Window.alert("checkbox status: " + str(self.box.isChecked()))
def __init__(self):
SimplePanel.__init__(self)
self.form = FormPanel()
self.form.setEncoding(FormPanel.ENCODING_MULTIPART)
self.form.setMethod(FormPanel.METHOD_POST)
self.url = "http://localhost/pyjamas_upload_demo"
self.form.setAction(self.url)
self.form.setTarget("results")
vPanel = VerticalPanel()
hPanel = HorizontalPanel()
hPanel.setSpacing(5)
hPanel.add(Label("Upload file:"))
self.field = FileUpload()
self.field.setName("file")
hPanel.add(self.field)
hPanel.add(Button("Submit", getattr(self, "onBtnClick")))
vPanel.add(hPanel)
self.simple = CheckBox("Simple mode? ")
#self.simple.setChecked(True)
vPanel.add(self.simple)
self.progress = Label('0%')
results = NamedFrame("results")
vPanel.add(results)
vPanel.add(self.progress)
self.form.add(vPanel)
self.add(self.form)
def __init__(self):
SimplePanel.__init__(self)
self.box = CheckBox("Print Results?")
self.box.addClickListener(getattr(self, "onClick"))
self.add(self.box)
def __init__(self, editor):
PopupPanel.__init__(self, glass=True)
self.m_origAnchorStart = None
self.m_origAnchorEnd = None
self.m_origTargetText = ""
self.m_editor = editor
vpanel = VerticalPanel()
vpanel.setWidth("350px")
self.m_webPageText = TextBox()
self.m_webPageText.setText("http:#")
self.m_webPageText.setWidth("320px")
vpanel.add(self.m_webPageText)
lbl = Label("Display:")
self.m_targetText = TextBox()
self.m_targetText.setWidth("100%")
lpanel = HorizontalPanel()
lpanel.add(lbl)
lpanel.add(self.m_targetText)
vpanel.add(lpanel)
self.m_fillOutCB = CheckBox("Change entire link")
self.m_fillOutCB.setVisible(False)
self.m_fillOutCB.addClickListener(self)
vpanel.add(self.m_fillOutCB)
self.m_okBut = Button("Ok", self)
self.m_okBut.addStyleName("float-left")
self.m_cancelBut = Button("Cancel", self)
self.m_cancelBut.addStyleName("float-left")
hpanel = HorizontalPanel()
hpanel.add(self.m_okBut)
hpanel.add(self.m_cancelBut)
vpanel.add(hpanel)
self.add(vpanel)
self.setStyleName("gwt-DialogBox")
def main():
root = RootPanel()
tree = Tree()
cb1 = CheckBox('test 1')
cb1.addClickListener(onCb1)
root.add(cb1)
cb2 = CheckBox('test 2')
cb2.addClickListener(onCb2)
item = TreeItem(cb2)
tree.addItem(item)
root.add(tree)
def createStatesPanel(self):
vertPanel=VerticalPanel()
vertPanel.setSpacing(10)
selectionNames = (["Main Control", "Masks", "Trims"])
registerSelection = VerticalPanel()
for name in selectionNames :
checkBox = CheckBox(name)
checkBox.setTitle(name)
self.stateValueEntries[name]=checkBox
registerSelection.add(checkBox)
#Tidy up
loadPanel = HorizontalPanel()
loadFileTextBox = TextBox()
loadFileTextBox.setText("MyI2cCfg")
loadFileTextBox.setWidth(80)
self.loadFileName = loadFileTextBox
loadPanel.add(loadFileTextBox)
self.load = Button("Load",getattr(self,"onChange")) #overrides default and sends it to onChange
loadPanel.add(self.load)
self.load.setEnabled(False)
savePanel = HorizontalPanel()
saveFileTextBox = TextBox()
saveFileTextBox.setText("MyI2cCfg")
saveFileTextBox.setWidth(80)
self.saveFileName = saveFileTextBox
savePanel.add(saveFileTextBox)
self.save = Button("Save", getattr(self,"onChange"))
savePanel.add(self.save)
self.save.setEnabled(False)
self.returnStatement = Label()
vertPanel.add(registerSelection)
vertPanel.add(loadPanel)
vertPanel.add(savePanel)
vertPanel.add(self.returnStatement)
return vertPanel
def add_formula(self, f):
h = HorizontalPanel()
im = Image()
im.setUrl(latex_to_url(f.to_latex()))
c = CheckBox()
h.add(c)
h.add(im)
self.pok.add(h)
self.checkbox_list.append(c)
self.hpanel_list.append(h)
self.image_list.append(im)
def __init__(self):
Sink.__init__(self)
disabledButton = Button("Disabled Button")
disabledCheck = CheckBox("Disabled Check")
normalButton = Button("Normal Button")
normalCheck = CheckBox("Normal Check")
panel = VerticalPanel()
radio0 = RadioButton("group0", "Choice 0")
radio1 = RadioButton("group0", "Choice 1")
radio2 = RadioButton("group0", "Choice 2 (Disabled)")
radio3 = RadioButton("group0", "Choice 3")
hp = HorizontalPanel()
panel.add(hp)
hp.setSpacing(8)
hp.add(normalButton)
hp.add(disabledButton)
hp = HorizontalPanel()
panel.add(hp)
hp.setSpacing(8)
hp.add(normalCheck)
hp.add(disabledCheck)
hp = HorizontalPanel()
panel.add(hp)
hp.setSpacing(8)
hp.add(radio0)
hp.add(radio1)
hp.add(radio2)
hp.add(radio3)
disabledButton.setEnabled(False)
disabledCheck.setEnabled(False)
radio2.setEnabled(False)
panel.setSpacing(8)
self.initWidget(panel)
def __init__(self, handle):
self.log = logging.getConsoleLogger(type(self).__name__, lev)
self.log.disabled = False
self.log.debug('__init__: Instantiation')
self._cacheBreaker = 0
self._handle = handle
self.remoteService=DiagramService(handle.spinner)
labelDisplay = Label('Diagram')
self.display = HTMLPanel('No circuit created.')
self.latex = TextArea()
buttonPanel = HorizontalPanel()
labelFormatting = Label('Formatting')
labelCheckbox = Label('Show: ')
self.checkboxValue = CheckBox('value')
self.checkboxValue.setID('CBXV1')
self.checkboxValue.addClickListener(self.onCirctuiTikzClick)
self.checkboxSymbol = CheckBox('symbol')
self.checkboxSymbol.setID('CBXS1')
self.checkboxSymbol.addClickListener(self.onCirctuiTikzClick)
checkboxPanel = HorizontalPanel()
checkboxPanel.add(labelCheckbox)
checkboxPanel.add(self.checkboxSymbol)
checkboxPanel.add(self.checkboxValue)
#layout
self.layout=VerticalPanel(HorizontalAlignment=HasAlignment.ALIGN_LEFT, Spacing=10)
self.layout.add(labelDisplay)
self.layout.add(self.display)
self.layout.add(Label('Circuitikz Markup'))
self.layout.add(self.latex)
self.layout.add(buttonPanel)
self.layout.add(labelFormatting)
self.layout.add(checkboxPanel)
RootPanel().add(self.layout)
#Set Default view
self.actCircuitTikzLock(lock = True)
def __init__(self, handle):
self.log = logging.getConsoleLogger(type(self).__name__, lev)
self.log.disabled = False
self.log.debug("__init__: Instantiation")
self._cacheBreaker = 0
self._handle = handle
self.remoteService = DiagramService(handle.spinner)
labelDisplay = Label("Diagram")
self.display = HTMLPanel("No circuit created.")
self.latex = TextArea()
buttonPanel = HorizontalPanel()
labelFormatting = Label("Formatting")
labelCheckbox = Label("Show: ")
self.checkboxValue = CheckBox("value")
self.checkboxValue.setID("CBXV1")
self.checkboxValue.addClickListener(self.onCirctuiTikzClick)
self.checkboxSymbol = CheckBox("symbol")
self.checkboxSymbol.setID("CBXS1")
self.checkboxSymbol.addClickListener(self.onCirctuiTikzClick)
checkboxPanel = HorizontalPanel()
checkboxPanel.add(labelCheckbox)
checkboxPanel.add(self.checkboxSymbol)
checkboxPanel.add(self.checkboxValue)
# layout
self.layout = VerticalPanel(HorizontalAlignment=HasAlignment.ALIGN_LEFT, Spacing=10)
self.layout.add(labelDisplay)
self.layout.add(self.display)
self.layout.add(Label("Circuitikz Markup"))
self.layout.add(self.latex)
self.layout.add(buttonPanel)
self.layout.add(labelFormatting)
self.layout.add(checkboxPanel)
RootPanel().add(self.layout)
# Set Default view
self.actCircuitTikzLock(lock=True)
def setup(self, x):
edit = self.uid == self.app.uid or self.app.admin
if not x:
x = {'id': -1, 'handle': '', 'name': '' , 'admin': '', 'email': ''}
self.uid = x['id']
self.name = TextBox()
self.name.setText(x['name'])
self.email = TextBox()
self.email.setText(x['email'])
self.password = PasswordTextBox()
self.passwordRepeat = PasswordTextBox()
self.handle = TextBox()
self.admin = CheckBox()
self.admin.setChecked( x['admin'] )
self.admin.setEnabled( self.app.admin )
self.table.setText(0,0, "ID");
self.table.setText(0,1, x['id'])
self.table.setText(1,0, "Handle")
if x['id'] == -1:
self.table.setWidget(1,1, self.handle)
else:
self.table.setText(1,1, x['handle'])
self.table.setText(2,0, "Name");
if edit:
self.table.setWidget(2,1, self.name)
else:
self.table.setText(2,1, x['name'])
self.table.setText(3,0, "Email")
if edit:
self.table.setWidget(3,1, self.email)
else:
self.table.setText(3,1, x['email'])
self.table.setText(4,0, "Admin");
self.table.setWidget(4,1, self.admin)
if edit:
self.table.setText(5,0, "Password");
self.table.setWidget(5,1, self.password)
self.table.setText(6,0, "Password Repeat");
self.table.setWidget(6,1, self.passwordRepeat)
self.saveBtn = Button("Save",self.save)
self.table.setWidget(7,1, self.saveBtn)
if self.app.admin:
self.table.setWidget(8,1, Button("Remove", self.delete))
if self.uid == -1:
self.add('New user')
else:
self.add(x['handle'])
def __init__(self, editor):
PopupPanel.__init__(self, glass=True)
self.m_origAnchorStart = None
self.m_origAnchorEnd = None
self.m_origTargetText = ""
self.m_editor = editor
vpanel = VerticalPanel()
vpanel.setWidth("350px")
self.m_webPageText = TextBox()
self.m_webPageText.setText("http:#")
self.m_webPageText.setWidth("320px")
vpanel.add(self.m_webPageText)
lbl = Label("Display:")
self.m_targetText = TextBox()
self.m_targetText.setWidth("100%")
lpanel = HorizontalPanel()
lpanel.add(lbl)
lpanel.add(self.m_targetText)
vpanel.add(lpanel)
self.m_fillOutCB = CheckBox("Change entire link")
self.m_fillOutCB.setVisible(False)
self.m_fillOutCB.addClickListener(self)
vpanel.add(self.m_fillOutCB)
self.m_okBut = Button("Ok", self)
self.m_okBut.addStyleName("float-left")
self.m_cancelBut = Button("Cancel", self)
self.m_cancelBut.addStyleName("float-left")
hpanel = HorizontalPanel()
hpanel.add(self.m_okBut)
hpanel.add(self.m_cancelBut)
vpanel.add(hpanel)
self.add(vpanel)
self.setStyleName("gwt-DialogBox")
def main():
root = RootPanel()
tree = Tree()
cb1 = CheckBox('test 1')
cb1.addClickListener(onCb1)
root.add(cb1)
cb2 = CheckBox('test 2')
cb2.addClickListener(onCb2)
item = TreeItem(cb2)
tree.addItem(item)
root.add(tree)
def __init__(self):
Composite.__init__(self)
panel = VerticalPanel()
panel.add(CheckBox("Get groceries"))
panel.add(CheckBox("Walk the dog"))
panel.add(CheckBox("Start Web 2.0 company"))
panel.add(CheckBox("Write cool app in GWT"))
panel.add(CheckBox("Get funding"))
panel.add(CheckBox("Take a vacation"))
self.initWidget(panel)
self.setStyleName("mail-Tasks")
class Circuit(object):
def __init__(self, handle):
self.log = logging.getConsoleLogger(type(self).__name__, lev)
self.log.disabled = False
self.log.debug("__init__: Instantiation")
self._cacheBreaker = 0
self._handle = handle
self.remoteService = DiagramService(handle.spinner)
labelDisplay = Label("Diagram")
self.display = HTMLPanel("No circuit created.")
self.latex = TextArea()
buttonPanel = HorizontalPanel()
labelFormatting = Label("Formatting")
labelCheckbox = Label("Show: ")
self.checkboxValue = CheckBox("value")
self.checkboxValue.setID("CBXV1")
self.checkboxValue.addClickListener(self.onCirctuiTikzClick)
self.checkboxSymbol = CheckBox("symbol")
self.checkboxSymbol.setID("CBXS1")
self.checkboxSymbol.addClickListener(self.onCirctuiTikzClick)
checkboxPanel = HorizontalPanel()
checkboxPanel.add(labelCheckbox)
checkboxPanel.add(self.checkboxSymbol)
checkboxPanel.add(self.checkboxValue)
# layout
self.layout = VerticalPanel(HorizontalAlignment=HasAlignment.ALIGN_LEFT, Spacing=10)
self.layout.add(labelDisplay)
self.layout.add(self.display)
self.layout.add(Label("Circuitikz Markup"))
self.layout.add(self.latex)
self.layout.add(buttonPanel)
self.layout.add(labelFormatting)
self.layout.add(checkboxPanel)
RootPanel().add(self.layout)
# Set Default view
self.actCircuitTikzLock(lock=True)
def actClear(self):
self.latex.setText("")
self.layout.remove(self.display)
self.display = HTMLPanel("No circuit created.")
self.layout.insert(self.display, 1)
def onMenuResume(self):
self.remoteService.session_resume(self._handle)
def onCirctuiTikzClick(self, sender, event):
sendId = sender.getID()
if sendId == "CBXV1":
self.log.debug("click value")
self.remoteService.change_display(self._handle, "value", self.checkboxValue.getChecked())
elif sendId == "CBXS1":
self.log.debug("click symbol")
self.remoteService.change_display(self._handle, "symbol", self.checkboxSymbol.getChecked())
def onCircuitTikzSubmit(self):
self.log.debug("onCircuitTikzSubmit - entry")
self.remoteService.render_circuitikz(self._handle, self.latex.getText())
def actCircuitTikzSubmit(self, **kwargs):
id = kwargs.get("id")
app = "Circuit"
sessionId = getCookie("session_id")
image = "api/image?app=Diagram&tab=Circuit&Id=%d&Cache=%d" % (id, self._cacheBreaker)
self.layout.remove(self.display)
self.display = Image(image)
self.layout.insert(self.display, 1)
self._cacheBreaker = self._cacheBreaker + 1
def actCircuitTikzLock(self, **kwargs):
lock = bool(kwargs.get("lock"))
self.latex.setReadonly(lock)
self.latex.setStyleName("os-diagram-code-lock")
def actCircuitTikzSet(self, **kwargs):
latex = kwargs["latex"]
self.latex.setText(latex)
def actCircuitTikzFail(self):
pass
def actCircuitTikzDisplayUpdate(self, **kwargs):
symbol = kwargs.get("symbol", None)
value = kwargs.get("value", None)
if symbol != None:
self.checkboxSymbol.setChecked(symbol)
if value != None:
self.checkboxValue.setChecked(value)
class FileUploadPanel(SimplePanel):
def __init__(self):
SimplePanel.__init__(self)
self.form = FormPanel()
self.form.setEncoding(FormPanel.ENCODING_MULTIPART)
self.form.setMethod(FormPanel.METHOD_POST)
self.url = "http://localhost/pyjamas_upload_demo"
self.form.setAction(self.url)
self.form.setTarget("results")
vPanel = VerticalPanel()
hPanel = HorizontalPanel()
hPanel.setSpacing(5)
hPanel.add(Label("Upload file:"))
self.field = FileUpload()
self.field.setName("file")
hPanel.add(self.field)
hPanel.add(Button("Submit", getattr(self, "onBtnClick")))
vPanel.add(hPanel)
self.simple = CheckBox("Simple mode? ")
#self.simple.setChecked(True)
vPanel.add(self.simple)
self.progress = Label('0%')
results = NamedFrame("results")
vPanel.add(results)
vPanel.add(self.progress)
self.form.add(vPanel)
self.add(self.form)
def onBtnClick(self, event):
self.progress.setText('0%')
if self.simple.isChecked():
self.form.submit()
else:
if AsyncUpload.is_old_browser():
Window.alert("Hmmm, your browser doesn't support this.")
else:
el = self.field.getElement()
files = getattr(el, 'files')
#TODO implement loop for multiple file uploads
file = JS(
"@{{files}}[0]") #otherwise pyjs thinks it's a string?
AsyncUpload.asyncUpload(self.url, file, self)
def onload(self, status):
self.progress.setText('100%')
def onerror(self, status):
Window.alert("oh noes we got an " + str(status))
def onprogress(self, loaded, total):
if self.progress.getText() == '100%': return
progress = (loaded / total)
p = int(progress * 100)
self.progress.setText(str(p) + '%')
class UserTab(EntityTab):
def __init__(self,app, uid):
global gw
EntityTab.__init__(self, app)
self.table = FlexTable()
self.uid = uid
self.load()
def load(self):
global gw
if self.uid == -1:
self.setup(None)
else:
gw.getUserDetails(self.app.cookie, self.uid, self)
def setup(self, x):
edit = self.uid == self.app.uid or self.app.admin
if not x:
x = {'id': -1, 'handle': '', 'name': '' , 'admin': '', 'email': ''}
self.uid = x['id']
self.name = TextBox()
self.name.setText(x['name'])
self.email = TextBox()
self.email.setText(x['email'])
self.password = PasswordTextBox()
self.passwordRepeat = PasswordTextBox()
self.handle = TextBox()
self.admin = CheckBox()
self.admin.setChecked( x['admin'] )
self.admin.setEnabled( self.app.admin )
self.table.setText(0,0, "ID");
self.table.setText(0,1, x['id'])
self.table.setText(1,0, "Handle")
if x['id'] == -1:
self.table.setWidget(1,1, self.handle)
else:
self.table.setText(1,1, x['handle'])
self.table.setText(2,0, "Name");
if edit:
self.table.setWidget(2,1, self.name)
else:
self.table.setText(2,1, x['name'])
self.table.setText(3,0, "Email")
if edit:
self.table.setWidget(3,1, self.email)
else:
self.table.setText(3,1, x['email'])
self.table.setText(4,0, "Admin");
self.table.setWidget(4,1, self.admin)
if edit:
self.table.setText(5,0, "Password");
self.table.setWidget(5,1, self.password)
self.table.setText(6,0, "Password Repeat");
self.table.setWidget(6,1, self.passwordRepeat)
self.saveBtn = Button("Save",self.save)
self.table.setWidget(7,1, self.saveBtn)
if self.app.admin:
self.table.setWidget(8,1, Button("Remove", self.delete))
if self.uid == -1:
self.add('New user')
else:
self.add(x['handle'])
def onUpdate(self, response, request_info):
self.uid = response
self.load()
self.app.usersTab.reload()
def save(self, _):
global gw
pwd=""
if self.password.getText() != "" or self.passwordRepeat.getText() != "":
if self.password.getText() != self.passwordRepeat.getText():
Window.alert("Passwords differ");
return
pwd = pwhash(self.password.getText())
gw.updateUser(self.app.cookie, self.uid, self.handle.getText(), self.name.getText(), pwd, self.admin.isChecked(), self.email.getText(), RPCCall(self.onUpdate))
def onDelete(self, response, request_info):
self.app.usersTab.reload()
self.remove()
def delete(self,_):
global gw
gw.deleteUser(self.app.cookie, self.uid, RPCCall(self.onDelete) )
def onRemoteResponse(self, response, request_info):
self.setup(response)
class FileUploadPanel(SimplePanel):
def __init__(self):
SimplePanel.__init__(self)
self.form = FormPanel()
self.form.setEncoding(FormPanel.ENCODING_MULTIPART)
self.form.setMethod(FormPanel.METHOD_POST)
self.url = "http://localhost/pyjamas_upload_demo"
self.form.setAction(self.url)
self.form.setTarget("results")
vPanel = VerticalPanel()
hPanel = HorizontalPanel()
hPanel.setSpacing(5)
hPanel.add(Label("Upload file:"))
self.field = FileUpload()
self.field.setName("file")
hPanel.add(self.field)
hPanel.add(Button("Submit", getattr(self, "onBtnClick")))
vPanel.add(hPanel)
self.simple = CheckBox("Simple mode? ")
#self.simple.setChecked(True)
vPanel.add(self.simple)
self.progress = Label('0%')
results = NamedFrame("results")
vPanel.add(results)
vPanel.add(self.progress)
self.form.add(vPanel)
self.add(self.form)
def onBtnClick(self, event):
self.progress.setText('0%')
if self.simple.isChecked():
self.form.submit()
else:
if AsyncUpload.is_old_browser():
Window.alert("Hmmm, your browser doesn't support this.")
else:
el = self.field.getElement()
files = getattr(el, 'files')
#TODO implement loop for multiple file uploads
file = JS("@{{files}}[0]") #otherwise pyjs thinks it's a string?
AsyncUpload.asyncUpload(self.url, file, self)
def onload(self, status):
self.progress.setText('100%')
def onerror(self, status):
Window.alert("oh noes we got an " + str(status))
def onprogress(self, loaded, total):
if self.progress.getText() == '100%': return
progress = (loaded / total)
p = int(progress * 100)
self.progress.setText(str(p) + '%')
def __init__(self, owner, caption, day):
CheckBox.__init__(self, caption)
self.day = day
self.addClickListener(owner.dayCheckBoxListener)
self.setChecked(owner.calendar.getDayIncluded(day))
class Circuit(object):
def __init__(self, handle):
self.log = logging.getConsoleLogger(type(self).__name__, lev)
self.log.disabled = False
self.log.debug('__init__: Instantiation')
self._cacheBreaker = 0
self._handle = handle
self.remoteService=DiagramService(handle.spinner)
labelDisplay = Label('Diagram')
self.display = HTMLPanel('No circuit created.')
self.latex = TextArea()
buttonPanel = HorizontalPanel()
labelFormatting = Label('Formatting')
labelCheckbox = Label('Show: ')
self.checkboxValue = CheckBox('value')
self.checkboxValue.setID('CBXV1')
self.checkboxValue.addClickListener(self.onCirctuiTikzClick)
self.checkboxSymbol = CheckBox('symbol')
self.checkboxSymbol.setID('CBXS1')
self.checkboxSymbol.addClickListener(self.onCirctuiTikzClick)
checkboxPanel = HorizontalPanel()
checkboxPanel.add(labelCheckbox)
checkboxPanel.add(self.checkboxSymbol)
checkboxPanel.add(self.checkboxValue)
#layout
self.layout=VerticalPanel(HorizontalAlignment=HasAlignment.ALIGN_LEFT, Spacing=10)
self.layout.add(labelDisplay)
self.layout.add(self.display)
self.layout.add(Label('Circuitikz Markup'))
self.layout.add(self.latex)
self.layout.add(buttonPanel)
self.layout.add(labelFormatting)
self.layout.add(checkboxPanel)
RootPanel().add(self.layout)
#Set Default view
self.actCircuitTikzLock(lock = True)
def actClear(self):
self.latex.setText('')
self.layout.remove(self.display)
self.display = HTMLPanel('No circuit created.')
self.layout.insert(self.display, 1)
def onMenuResume(self):
self.remoteService.session_resume(self._handle)
def onCirctuiTikzClick(self, sender, event):
sendId = sender.getID()
if sendId == 'CBXV1':
self.log.debug('click value')
self.remoteService.change_display(self._handle, 'value', self.checkboxValue.getChecked())
elif sendId == 'CBXS1':
self.log.debug('click symbol')
self.remoteService.change_display(self._handle, 'symbol', self.checkboxSymbol.getChecked())
def onCircuitTikzSubmit(self):
self.log.debug('onCircuitTikzSubmit - entry')
self.remoteService.render_circuitikz(self._handle, self.latex.getText())
def actCircuitTikzSubmit(self, **kwargs):
id = kwargs.get('id')
app = 'Circuit'
sessionId = getCookie('session_id')
image = 'api/image?app=Diagram&tab=Circuit&Id=%d&Cache=%d'%(id, self._cacheBreaker)
self.layout.remove(self.display)
self.display = Image(image)
self.layout.insert(self.display, 1)
self._cacheBreaker = self._cacheBreaker + 1
def actCircuitTikzLock(self, **kwargs):
lock = bool(kwargs.get('lock'))
self.latex.setReadonly(lock)
self.latex.setStyleName('os-diagram-code-lock')
def actCircuitTikzSet(self, **kwargs):
latex = kwargs['latex']
self.latex.setText(latex)
def actCircuitTikzFail(self):
pass
def actCircuitTikzDisplayUpdate(self, **kwargs):
symbol = kwargs.get('symbol', None)
value = kwargs.get('value', None)
if symbol != None:
self.checkboxSymbol.setChecked(symbol)
if value != None:
self.checkboxValue.setChecked(value)
def _getProps(self):
return CheckBox._getProps() + self._props
class EventLinkPopup(PopupPanel):
def __init__(self, editor):
PopupPanel.__init__(self, glass=True)
self.m_origAnchorStart = None
self.m_origAnchorEnd = None
self.m_origTargetText = ""
self.m_editor = editor
vpanel = VerticalPanel()
vpanel.setWidth("350px")
self.m_webPageText = TextBox()
self.m_webPageText.setText("http:#")
self.m_webPageText.setWidth("320px")
vpanel.add(self.m_webPageText)
lbl = Label("Display:")
self.m_targetText = TextBox()
self.m_targetText.setWidth("100%")
lpanel = HorizontalPanel()
lpanel.add(lbl)
lpanel.add(self.m_targetText)
vpanel.add(lpanel)
self.m_fillOutCB = CheckBox("Change entire link")
self.m_fillOutCB.setVisible(False)
self.m_fillOutCB.addClickListener(self)
vpanel.add(self.m_fillOutCB)
self.m_okBut = Button("Ok", self)
self.m_okBut.addStyleName("float-left")
self.m_cancelBut = Button("Cancel", self)
self.m_cancelBut.addStyleName("float-left")
hpanel = HorizontalPanel()
hpanel.add(self.m_okBut)
hpanel.add(self.m_cancelBut)
vpanel.add(hpanel)
self.add(vpanel)
self.setStyleName("gwt-DialogBox")
def refresh(self):
try:
self.m_editor.getSelection()
self.m_range = self.m_editor.getRange()
if self.m_range is None:
return False
else:
self.m_selTexts = self.m_range.getSelectedTextElements()
if self.m_selTexts is None:
return False
else:
self.m_origTargetText = self.m_range.getText()
self.m_targetText.setText(self.m_origTargetText)
anchor = self.getAnchor(self.m_selTexts)
if anchor is not None:
href = anchor.getHref().strip()
if href:
self.m_webPageText.setText(href)
self.m_origAnchorStart = self.getAnchorLimit(
self.m_range.getStartPoint().getTextNode(),
anchor, False)
self.m_origAnchorEnd = self.getAnchorLimit(
self.m_range.getStartPoint().getTextNode(),
anchor, True)
if self.m_range.getStartPoint().equals(self.m_origAnchorStart) and self.m_range.getStartPoint().equals(self.m_origAnchorEnd):
self.m_origAnchorStart = None
self.m_origAnchorEnd = None
else:
self.m_fillOutCB.setVisible(True)
self.m_fillOutCB.setValue(True)
self.m_origTargetText = self.fetchStringFromTexts(
self.m_origAnchorStart, self.m_origAnchorEnd)
self.m_targetText.setText(self.m_origTargetText)
except:
print "exception"
traceback.print_exc()
return False
return True
def _apply(self):
formatter = self.m_editor.getFormatter()
link = self.m_webPageText.getText().strip()
if not link:
return False
print self.m_origAnchorStart, self.m_origAnchorEnd
if (self.m_origAnchorStart is not None) and self.m_fillOutCB.getValue():
# Expand selection to these bounds
self.m_range.setRange(self.m_origAnchorStart, self.m_origAnchorEnd)
# Ensure the selection hasn't changed, or at least changes to the
# expanded bounds we want
Selection.setRange(self.m_range)
targetText = self.m_targetText.getText()
if self.m_range.isCursor():
# Insert into a single cursor location
newEle = DOM.createAnchor()
newEle.setHref(link)
newEle.setInnerText(targetText)
sp = self.m_range.getStartPoint()
startNode = sp.getTextNode()
offset = sp.getOffset()
print "sp", sp, startNode, offset
parentEle = startNode.parentElement
text = startNode.data
if offset == 0:
parentEle.insertBefore(newEle, startNode)
else:
if offset < text.length():
# Split this in two and insert the node between
startNode.splitText(offset)
parentEle.insertAfter(newEle, startNode)
Selection.setRange(Range(newEle))
elif targetText != self.m_origTargetText:
# Replace whatever was selected with this text
ele = self.m_range.surroundContents()
newEle = DOM.createAnchor()
newEle.href = link
newEle.innerText = targetText
ele.parentElement.replaceChild(newEle, ele)
Selection.setRange(Range(newEle))
else:
formatter.createLink(link)
return True
def getAnchor(self, node):
res = None
if isinstance(node, list):
nodes = node
for node in nodes:
res = self.getAnchor(node)
if res is not None:
break
return res
ele = node.parentElement
while ele is not None:
tag = ele.tagName
if tag.lower == "a":
res = ele
break
ele = ele.parentElement
return res
def getAnchorLimit(self, node, anchor, forward):
href = anchor.href
while True:
prevNode = node
node = Range.getAdjacentTextElement(prevNode, forward)
if node is not None:
cmpAnchor = self.getAnchor(node)
if (cmpAnchor is None) or not href == cmpAnchor.href:
break
if node is None:
break
res = RangeEndPoint()
res.setTextNode(prevNode)
res.setOffset(forward and prevNode.getData().length() or 0)
return res
def parseEventLink(self, href):
res = 0
idx = href.index("#event=")
if idx > 0:
try:
res = href[idx+7:]
except:
pass
return res
def createEventLink(self, id):
return "#event=" + id
def fetchStringFromTexts(self, startPoint, endPoint):
res = None
texts = Range.getSelectedTextElements(
startPoint.getTextNode(), endPoint.getTextNode())
if texts is not None:
res = self.fetchStringFromTexts(texts, startPoint, endPoint)
return res
def fetchStringFromTexts(self, allTexts, startPoint, endPoint):
selText = ""
for node in allTexts:
val = node.getData()
if node == startPoint.getTextNode():
if node == endPoint.getTextNode():
val = val.substring[startPoint.getOffset():
endPoint.getOffset()]
else:
val = val[startPoint.getOffset():]
elif node == endPoint.getTextNode():
val = val[:endPoint.getOffset()]
selText += val
return selText
def onClick(self, sender):
if sender == self.m_cancelBut:
self.hide()
elif sender == self.m_okBut:
if self._apply():
self.hide()
elif sender == self.m_fillOutCB:
if self.m_fillOutCB.getValue():
self.m_origTargetText = fetchStringFromTexts(self.m_origAnchorStart,
self.m_origAnchorEnd)
self.m_targetText.setValue(self.m_origTargetText)
else:
self.m_origTargetText = self.m_range.getText()
self.m_targetText.setValue(self.m_origTargetText)
def checkSuggestValid(self):
self.m_okBut.setEnabled(True)
def execute(self):
self.checkSuggestValid()
def deferredCheckValid(self):
DeferredCommand.addCommand(self)
class EventLinkPopup(PopupPanel):
def __init__(self, editor):
PopupPanel.__init__(self, glass=True)
self.m_origAnchorStart = None
self.m_origAnchorEnd = None
self.m_origTargetText = ""
self.m_editor = editor
vpanel = VerticalPanel()
vpanel.setWidth("350px")
self.m_webPageText = TextBox()
self.m_webPageText.setText("http:#")
self.m_webPageText.setWidth("320px")
vpanel.add(self.m_webPageText)
lbl = Label("Display:")
self.m_targetText = TextBox()
self.m_targetText.setWidth("100%")
lpanel = HorizontalPanel()
lpanel.add(lbl)
lpanel.add(self.m_targetText)
vpanel.add(lpanel)
self.m_fillOutCB = CheckBox("Change entire link")
self.m_fillOutCB.setVisible(False)
self.m_fillOutCB.addClickListener(self)
vpanel.add(self.m_fillOutCB)
self.m_okBut = Button("Ok", self)
self.m_okBut.addStyleName("float-left")
self.m_cancelBut = Button("Cancel", self)
self.m_cancelBut.addStyleName("float-left")
hpanel = HorizontalPanel()
hpanel.add(self.m_okBut)
hpanel.add(self.m_cancelBut)
vpanel.add(hpanel)
self.add(vpanel)
self.setStyleName("gwt-DialogBox")
def refresh(self):
try:
self.m_editor.getSelection()
self.m_range = self.m_editor.getRange()
if self.m_range is None:
return False
else:
self.m_selTexts = self.m_range.getSelectedTextElements()
if self.m_selTexts is None:
return False
else:
self.m_origTargetText = self.m_range.getText()
self.m_targetText.setText(self.m_origTargetText)
anchor = self.getAnchor(self.m_selTexts)
if anchor is not None:
href = anchor.getHref().strip()
if href:
self.m_webPageText.setText(href)
self.m_origAnchorStart = self.getAnchorLimit(
self.m_range.getStartPoint().getTextNode(),
anchor, False)
self.m_origAnchorEnd = self.getAnchorLimit(
self.m_range.getStartPoint().getTextNode(),
anchor, True)
if self.m_range.getStartPoint().equals(self.m_origAnchorStart) and self.m_range.getStartPoint().equals(self.m_origAnchorEnd):
self.m_origAnchorStart = None
self.m_origAnchorEnd = None
else:
self.m_fillOutCB.setVisible(True)
self.m_fillOutCB.setValue(True)
self.m_origTargetText = self.fetchStringFromTexts(
self.m_origAnchorStart, self.m_origAnchorEnd)
self.m_targetText.setText(self.m_origTargetText)
except:
print "exception"
traceback.print_exc()
return False
return True
def _apply(self):
formatter = self.m_editor.getFormatter()
link = self.m_webPageText.getText().strip()
if not link:
return False
print self.m_origAnchorStart, self.m_origAnchorEnd
if (self.m_origAnchorStart is not None) and self.m_fillOutCB.getValue():
# Expand selection to these bounds
self.m_range.setRange(self.m_origAnchorStart, self.m_origAnchorEnd)
# Ensure the selection hasn't changed, or at least changes to the
# expanded bounds we want
Selection.setRange(self.m_range)
targetText = self.m_targetText.getText()
if self.m_range.isCursor():
# Insert into a single cursor location
newEle = DOM.createAnchor()
newEle.href = link
newEle.innerText = targetText
sp = self.m_range.getStartPoint()
startNode = sp.getTextNode()
offset = sp.getOffset()
print "sp", sp, startNode, offset
parentEle = startNode.parentElement
text = startNode.data
if offset == 0:
parentEle.insertBefore(newEle, startNode)
else:
if offset < len(text):
# Split this in two and insert the node between
startNode.splitText(offset)
DOM.insertAfter(startNode, newEle)
Selection.setRange(Range(newEle))
elif targetText != self.m_origTargetText:
# Replace whatever was selected with this text
ele = self.m_range.surroundContents()
newEle = DOM.createAnchor()
newEle.href = link
newEle.innerText = targetText
ele.parentElement.replaceChild(newEle, ele)
Selection.setRange(Range(newEle))
else:
formatter.createLink(link)
return True
def getAnchor(self, node):
res = None
if isinstance(node, list):
nodes = node
for node in nodes:
res = self.getAnchor(node)
if res is not None:
break
return res
ele = node.parentElement
while ele is not None:
tag = ele.tagName
if tag.lower == "a":
res = ele
break
ele = ele.parentElement
return res
def getAnchorLimit(self, node, anchor, forward):
href = anchor.href
while True:
prevNode = node
node = Range.getAdjacentTextElement(prevNode, forward)
if node is not None:
cmpAnchor = self.getAnchor(node)
if (cmpAnchor is None) or not href == cmpAnchor.href:
break
if node is None:
break
res = RangeEndPoint()
res.setTextNode(prevNode)
res.setOffset(forward and prevNode.getData().length() or 0)
return res
def parseEventLink(self, href):
res = 0
idx = href.index("#event=")
if idx > 0:
try:
res = href[idx+7:]
except:
pass
return res
def createEventLink(self, id):
return "#event=" + id
def fetchStringFromTexts(self, startPoint, endPoint):
res = None
texts = Range.getSelectedTextElements(
startPoint.getTextNode(), endPoint.getTextNode())
if texts is not None:
res = self.fetchStringFromTexts(texts, startPoint, endPoint)
return res
def fetchStringFromTexts(self, allTexts, startPoint, endPoint):
selText = ""
for node in allTexts:
val = node.getData()
if node == startPoint.getTextNode():
if node == endPoint.getTextNode():
val = val.substring[startPoint.getOffset():
endPoint.getOffset()]
else:
val = val[startPoint.getOffset():]
elif node == endPoint.getTextNode():
val = val[:endPoint.getOffset()]
selText += val
return selText
def onClick(self, sender):
if sender == self.m_cancelBut:
self.hide()
elif sender == self.m_okBut:
if self._apply():
self.hide()
elif sender == self.m_fillOutCB:
if self.m_fillOutCB.getValue():
self.m_origTargetText = fetchStringFromTexts(self.m_origAnchorStart,
self.m_origAnchorEnd)
self.m_targetText.setValue(self.m_origTargetText)
else:
self.m_origTargetText = self.m_range.getText()
self.m_targetText.setValue(self.m_origTargetText)
def checkSuggestValid(self):
self.m_okBut.setEnabled(True)
def execute(self):
self.checkSuggestValid()
def deferredCheckValid(self):
DeferredCommand.addCommand(self)
def __init__(self, group=None, label=None, asHTML=False, **ka):
ka['StyleName'] = ka.get('StyleName', "gwt-RadioButton")
ka['Element'] = ka.get('Element', None) or DOM.createInputRadio(group)
CheckBox.__init__(self, label, asHTML, **ka)
def __init__(self, group=None, label=None, asHTML=False, **ka):
ka['StyleName'] = ka.get('StyleName', "gwt-RadioButton")
ka['Element'] = ka.get('Element', None) or DOM.createInputRadio(group)
CheckBox.__init__(self, label, asHTML, **ka)
def onModuleLoad(self):
self.current_request = None
Window.setTitle("Lattice Builder Web Interface")
self.setStyleSheet("./LatBuilderWeb.css")
self.includeMathJax('TeX-AMS-MML_HTMLorMML')
self.TEXT_WAITING = "Lattice Builder is working..."
self.TEXT_ERROR = "Server Error"
self.FIGURES_OF_MERIT = [
# (key, name)
('{cs}P2', 'P2'),
('{cs}P4', 'P4'),
('{cs}P6', 'P6'),
('{cs}R{alpha}', 'R_alpha'),
('spectral', 'spectral'),
]
self.CONSTRUCTION_METHODS = [
('explicit:{genvec}', "Explicit (Evaluation)",
"Evaluates the figure of merit for a given generating vector.<br/>"
"<strong>Please specify the generating vector in the Lattice "
"Properties panel above.</strong>"),
('exhaustive', "Exhaustive",
"Examines all generating vectors and retains the best one."),
('random:{samples}', "Random",
"Examines a number of randomly selected generating vectors and "
"retains the best one."),
('Korobov', "Korobov",
"Examines all generating vectors of the form (1, a, a^2 mod n, "
"..., a^s mod n) and retains the best one."),
('random-Korobov:{samples}', "Random Korobov",
"Examines a number of randomly selected generating vectors of "
"the form (1, a, a^2 mod n, ..., a^s mod n) and retains the "
"best one."),
('CBC', "Component-by-Component",
"Examines all possible values of the components of the "
"generating vector and selects the best ones, one coordinate "
"at a time."),
('random-CBC:{samples}', "Random Component-by-Component",
"Examines a number of randomly selected values of the "
"components of the generating vector and selects the best "
"ones, one coordinate at a time."),
('fast-CBC', "Fast Component-by-Component",
"Examines all possible values of the components of the "
"generating vector and selects the best ones, one coordinate "
"at a time. Computation is accelerated by using fast "
"Fourier transforms."),
]
self.COMBINER_TYPES = [
('level:max', 'highest level'),
('sum', 'weighted sum'),
('max', 'maximum weighted value'),
]
self.NORMALIZATION_TYPES = [
('norm:P{alpha}-SL10', 'SL10 P-alpha'),
('norm:P{alpha}-DPW08', 'DPW08 P-alpha'),
]
captionstyle = {
'Width': '10em',
'HorizontalAlignment': 'right',
}
self.remote = LatBuilderService()
WeightValuesArray.REMOTE = self.remote
main_panel = VerticalPanel(Spacing=30)
# information
info = """<h2>Lattice Builder Web Interface</h2>
<p>This Web interface allows
<a href="https://github.com/mungerd/latbuilder#readme">Lattice Builder</a>
users to call the executable program without having to construct the
command line explicitly.
</p>
<p>Enter the construction parameters below, and press the <em>Search for
Good Lattices</em> button. The results will show at the bottom.
</p>"""
main_panel.add(HTML(info))
self.version_label = HTML()
main_panel.add(self.version_label)
self.remote.backend_version(self)
params_panel = VerticalPanel(Spacing=15)
main_panel.add(params_panel)
# lattice type and size and dimension
lat_panel = VerticalPanel()
params_panel.add(CaptionPanel("Lattice Properties", lat_panel))
lat_panel.add(
HTML(
r'\[ P_n = \left\{ (i \boldsymbol a \bmod n) / n \::\: i = 0, \dots, n \right\} \qquad (\boldsymbol a \in \mathbb Z^s) \]',
StyleName='DisplayMath'))
self.size = TextBox(Text="2^10")
self.size.addChangeListener(self)
self.embedded = CheckBox("embedded")
self.embedded.addClickListener(self)
panel = HorizontalPanel(Spacing=8)
panel.add(HTML(r"Size (\(n\)): ", StyleName="CaptionLabel"))
panel.add(self.size)
panel.add(self.embedded)
lat_panel.add(panel)
self.dimension = TextBox(Text="3")
self.dimension.addChangeListener(self)
panel = HorizontalPanel(Spacing=8)
panel.add(HTML(r"Dimension (\(s\)): ", StyleName="CaptionLabel"))
panel.add(self.dimension)
lat_panel.add(panel)
self.generating_vector = GeneratingVector(self.size)
self.generating_vector.panel.setVisible(False)
lat_panel.add(self.generating_vector.panel)
# figure of merit
merit_panel = VerticalPanel()
params_panel.add(CaptionPanel("Figure of Merit", merit_panel))
merit_panel.add(
HTML(
r"\[ \left[ \mathcal D_q(P_n) \right]^q = "
r"\sum_{\emptyset \neq u \subseteq \{1,\dots,s\}}"
r"\gamma_u^q \, \left[\mathcal D_u(P_n)\right]^q"
r"\qquad (q > 0) \]",
StyleName='DisplayMath'))
self.norm_type = TextBox(Text="2")
self.norm_type.addChangeListener(self)
panel = HorizontalPanel(Spacing=8)
panel.add(
HTML(r"Norm type (\(q\) or <b>inf</b>): ",
StyleName="CaptionLabel"))
panel.add(self.norm_type)
merit_panel.add(panel)
self.merit = ListBox()
self.merit.addChangeListener(self)
for key, name in self.FIGURES_OF_MERIT:
self.merit.addItem(name)
self.merit_cs = CheckBox("Use coordinate-symmetric implementation",
Checked=True)
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("Figure of merit: ", StyleName="CaptionLabel"))
panel.add(self.merit)
panel.add(self.merit_cs)
merit_panel.add(panel)
self.merit_alpha_panel = HorizontalPanel(Spacing=8)
self.merit_alpha = TextBox(Text="2")
self.merit_alpha_panel.add(
HTML("Value of alpha: ", StyleName="CaptionLabel"))
self.merit_alpha_panel.add(self.merit_alpha)
merit_panel.add(self.merit_alpha_panel)
# filters and combiner
multilevel_panel = VerticalPanel(Spacing=8)
self.multilevel_panel = CaptionPanel("Multilevel Filters and Combiner",
multilevel_panel,
Visible=False)
params_panel.add(self.multilevel_panel)
self.ml_normalization_enable = CheckBox("Normalization")
self.ml_normalization_enable.addClickListener(self)
multilevel_panel.add(self.ml_normalization_enable)
self.ml_normalization_panel = VerticalPanel(Spacing=4,
Visible=False,
StyleName='SubPanel')
multilevel_panel.add(self.ml_normalization_panel)
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("Normalization type: ", StyleName="CaptionLabel"))
self.ml_normalization_type = ListBox()
for key, name in self.NORMALIZATION_TYPES:
self.ml_normalization_type.addItem(name, value=key)
panel.add(self.ml_normalization_type)
self.ml_normalization_panel.add(panel)
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("Minimum level: ", StyleName="CaptionLabel"))
self.ml_min_level = TextBox(Text="1")
panel.add(self.ml_min_level)
self.ml_normalization_panel.add(panel)
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("Maximum level: ", StyleName="CaptionLabel"))
self.ml_max_level = TextBox(Text="1")
panel.add(self.ml_max_level)
self.ml_normalization_panel.add(panel)
self.ml_lowpass_enable = CheckBox("Low-pass filter")
self.ml_lowpass_enable.addClickListener(self)
multilevel_panel.add(self.ml_lowpass_enable)
self.ml_lowpass_panel = VerticalPanel(Spacing=4,
Visible=False,
StyleName='SubPanel')
multilevel_panel.add(self.ml_lowpass_panel)
self.ml_lowpass = TextBox(Text="1.0")
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("Low-pass threshold: ", StyleName="CaptionLabel"))
panel.add(self.ml_lowpass)
self.ml_lowpass_panel.add(panel)
self.combiner_type = ListBox()
for key, name in self.COMBINER_TYPES:
self.combiner_type.addItem(name, value=key)
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("Combiner: ", StyleName="CaptionLabel"))
panel.add(self.combiner_type)
multilevel_panel.add(panel)
# weights
self.weights = CompoundWeights()
weights_panel = VerticalPanel()
params_panel.add(CaptionPanel("Weights", weights_panel))
weights_panel.add(
HTML(r"\[ \gamma_u^p \qquad (u \subseteq \{1, \dots, s\}) \]",
StyleName='DisplayMath'))
self.weights_power = TextBox(Text="2")
panel = HorizontalPanel(Spacing=8)
panel.add(HTML(r"Weights power (\(p\)): ", StyleName="CaptionLabel"))
panel.add(self.weights_power)
weights_panel.add(panel)
weights_panel.add(self.weights.panel)
self.weights.add_weights(ProductWeights)
# construction method
cons_panel = VerticalPanel()
params_panel.add(CaptionPanel("Construction Method", cons_panel))
self.construction = ListBox()
self.construction.addChangeListener(self)
for key, name, desc in self.CONSTRUCTION_METHODS:
self.construction.addItem(name, value=key)
self.construction_desc = HTML()
panel = HorizontalPanel(Spacing=8)
panel.add(self.construction)
panel.add(self.construction_desc)
cons_panel.add(panel)
self.construction_samples_panel = HorizontalPanel(Spacing=8)
self.construction_samples = TextBox(Text="30")
self.construction_samples_panel.add(
HTML("Random samples: ", StyleName="CaptionLabel"))
self.construction_samples_panel.add(self.construction_samples)
cons_panel.add(self.construction_samples_panel)
# execute button
panel = VerticalPanel(Spacing=8,
Width="100%",
HorizontalAlignment='center')
main_panel.add(panel)
button_panel = HorizontalPanel()
panel.add(button_panel)
self.button_search = Button("Search", self)
button_panel.add(self.button_search)
self.button_abort = Button("Abort", self, Visible=False)
button_panel.add(self.button_abort)
self.status = Label()
panel.add(self.status)
# results
results_panel = VerticalPanel()
self.results_panel = CaptionPanel("Results",
results_panel,
Visible=False)
main_panel.add(self.results_panel)
self.results_size = Label()
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("Lattice size: ", StyleName="ResultsCaptionLabel"))
panel.add(self.results_size)
results_panel.add(panel)
self.results_gen = Label()
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("Generating vector: ", StyleName="ResultsCaptionLabel"))
panel.add(self.results_gen)
results_panel.add(panel)
self.results_merit = Label()
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("Merit value: ", StyleName="ResultsCaptionLabel"))
panel.add(self.results_merit)
results_panel.add(panel)
self.results_cpu_time = Label()
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("CPU time: ", StyleName="ResultsCaptionLabel"))
panel.add(self.results_cpu_time)
results_panel.add(panel)
self.results_cmd = Label(StyleName='Command', Visible=False)
panel = HorizontalPanel(Spacing=8)
self.results_cmd_link = Hyperlink("Command line: ",
StyleName="ResultsCaptionLabel")
self.results_cmd_link.addClickListener(self)
panel.add(self.results_cmd_link)
panel.add(self.results_cmd)
results_panel.add(panel)
# update selections
self.construction.selectValue('CBC')
self.onChange(self.size)
self.onChange(self.construction)
self.onChange(self.merit)
self.onChange(self.dimension)
self.onClick(self.embedded)
self.onChange(self.ml_normalization_enable)
self.onChange(self.ml_lowpass_enable)
RootPanel().add(main_panel)
class LatBuilderWeb:
def setStyleSheet(self, sheet):
e = DOM.createElement('link')
e.setAttribute('rel', 'stylesheet')
e.setAttribute('type', 'text/css')
e.setAttribute('href', sheet)
html = Window.getDocumentRoot().parentElement
head = html.getElementsByTagName('head').item(0)
head.appendChild(e)
def includeMathJax(self, config):
html = Window.getDocumentRoot().parentElement
head = html.getElementsByTagName('head').item(0)
e = DOM.createElement('script')
e.setAttribute('type', 'text/javascript')
e.setAttribute(
'src', 'http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=' +
config)
head.appendChild(e)
e = DOM.createElement('script')
e.setAttribute('type', 'text/javascript')
e.textContent = 'function Typeset() { MathJax.Hub.Queue(["Typeset",MathJax.Hub]); }'
head.appendChild(e)
def onModuleLoad(self):
self.current_request = None
Window.setTitle("Lattice Builder Web Interface")
self.setStyleSheet("./LatBuilderWeb.css")
self.includeMathJax('TeX-AMS-MML_HTMLorMML')
self.TEXT_WAITING = "Lattice Builder is working..."
self.TEXT_ERROR = "Server Error"
self.FIGURES_OF_MERIT = [
# (key, name)
('{cs}P2', 'P2'),
('{cs}P4', 'P4'),
('{cs}P6', 'P6'),
('{cs}R{alpha}', 'R_alpha'),
('spectral', 'spectral'),
]
self.CONSTRUCTION_METHODS = [
('explicit:{genvec}', "Explicit (Evaluation)",
"Evaluates the figure of merit for a given generating vector.<br/>"
"<strong>Please specify the generating vector in the Lattice "
"Properties panel above.</strong>"),
('exhaustive', "Exhaustive",
"Examines all generating vectors and retains the best one."),
('random:{samples}', "Random",
"Examines a number of randomly selected generating vectors and "
"retains the best one."),
('Korobov', "Korobov",
"Examines all generating vectors of the form (1, a, a^2 mod n, "
"..., a^s mod n) and retains the best one."),
('random-Korobov:{samples}', "Random Korobov",
"Examines a number of randomly selected generating vectors of "
"the form (1, a, a^2 mod n, ..., a^s mod n) and retains the "
"best one."),
('CBC', "Component-by-Component",
"Examines all possible values of the components of the "
"generating vector and selects the best ones, one coordinate "
"at a time."),
('random-CBC:{samples}', "Random Component-by-Component",
"Examines a number of randomly selected values of the "
"components of the generating vector and selects the best "
"ones, one coordinate at a time."),
('fast-CBC', "Fast Component-by-Component",
"Examines all possible values of the components of the "
"generating vector and selects the best ones, one coordinate "
"at a time. Computation is accelerated by using fast "
"Fourier transforms."),
]
self.COMBINER_TYPES = [
('level:max', 'highest level'),
('sum', 'weighted sum'),
('max', 'maximum weighted value'),
]
self.NORMALIZATION_TYPES = [
('norm:P{alpha}-SL10', 'SL10 P-alpha'),
('norm:P{alpha}-DPW08', 'DPW08 P-alpha'),
]
captionstyle = {
'Width': '10em',
'HorizontalAlignment': 'right',
}
self.remote = LatBuilderService()
WeightValuesArray.REMOTE = self.remote
main_panel = VerticalPanel(Spacing=30)
# information
info = """<h2>Lattice Builder Web Interface</h2>
<p>This Web interface allows
<a href="https://github.com/mungerd/latbuilder#readme">Lattice Builder</a>
users to call the executable program without having to construct the
command line explicitly.
</p>
<p>Enter the construction parameters below, and press the <em>Search for
Good Lattices</em> button. The results will show at the bottom.
</p>"""
main_panel.add(HTML(info))
self.version_label = HTML()
main_panel.add(self.version_label)
self.remote.backend_version(self)
params_panel = VerticalPanel(Spacing=15)
main_panel.add(params_panel)
# lattice type and size and dimension
lat_panel = VerticalPanel()
params_panel.add(CaptionPanel("Lattice Properties", lat_panel))
lat_panel.add(
HTML(
r'\[ P_n = \left\{ (i \boldsymbol a \bmod n) / n \::\: i = 0, \dots, n \right\} \qquad (\boldsymbol a \in \mathbb Z^s) \]',
StyleName='DisplayMath'))
self.size = TextBox(Text="2^10")
self.size.addChangeListener(self)
self.embedded = CheckBox("embedded")
self.embedded.addClickListener(self)
panel = HorizontalPanel(Spacing=8)
panel.add(HTML(r"Size (\(n\)): ", StyleName="CaptionLabel"))
panel.add(self.size)
panel.add(self.embedded)
lat_panel.add(panel)
self.dimension = TextBox(Text="3")
self.dimension.addChangeListener(self)
panel = HorizontalPanel(Spacing=8)
panel.add(HTML(r"Dimension (\(s\)): ", StyleName="CaptionLabel"))
panel.add(self.dimension)
lat_panel.add(panel)
self.generating_vector = GeneratingVector(self.size)
self.generating_vector.panel.setVisible(False)
lat_panel.add(self.generating_vector.panel)
# figure of merit
merit_panel = VerticalPanel()
params_panel.add(CaptionPanel("Figure of Merit", merit_panel))
merit_panel.add(
HTML(
r"\[ \left[ \mathcal D_q(P_n) \right]^q = "
r"\sum_{\emptyset \neq u \subseteq \{1,\dots,s\}}"
r"\gamma_u^q \, \left[\mathcal D_u(P_n)\right]^q"
r"\qquad (q > 0) \]",
StyleName='DisplayMath'))
self.norm_type = TextBox(Text="2")
self.norm_type.addChangeListener(self)
panel = HorizontalPanel(Spacing=8)
panel.add(
HTML(r"Norm type (\(q\) or <b>inf</b>): ",
StyleName="CaptionLabel"))
panel.add(self.norm_type)
merit_panel.add(panel)
self.merit = ListBox()
self.merit.addChangeListener(self)
for key, name in self.FIGURES_OF_MERIT:
self.merit.addItem(name)
self.merit_cs = CheckBox("Use coordinate-symmetric implementation",
Checked=True)
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("Figure of merit: ", StyleName="CaptionLabel"))
panel.add(self.merit)
panel.add(self.merit_cs)
merit_panel.add(panel)
self.merit_alpha_panel = HorizontalPanel(Spacing=8)
self.merit_alpha = TextBox(Text="2")
self.merit_alpha_panel.add(
HTML("Value of alpha: ", StyleName="CaptionLabel"))
self.merit_alpha_panel.add(self.merit_alpha)
merit_panel.add(self.merit_alpha_panel)
# filters and combiner
multilevel_panel = VerticalPanel(Spacing=8)
self.multilevel_panel = CaptionPanel("Multilevel Filters and Combiner",
multilevel_panel,
Visible=False)
params_panel.add(self.multilevel_panel)
self.ml_normalization_enable = CheckBox("Normalization")
self.ml_normalization_enable.addClickListener(self)
multilevel_panel.add(self.ml_normalization_enable)
self.ml_normalization_panel = VerticalPanel(Spacing=4,
Visible=False,
StyleName='SubPanel')
multilevel_panel.add(self.ml_normalization_panel)
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("Normalization type: ", StyleName="CaptionLabel"))
self.ml_normalization_type = ListBox()
for key, name in self.NORMALIZATION_TYPES:
self.ml_normalization_type.addItem(name, value=key)
panel.add(self.ml_normalization_type)
self.ml_normalization_panel.add(panel)
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("Minimum level: ", StyleName="CaptionLabel"))
self.ml_min_level = TextBox(Text="1")
panel.add(self.ml_min_level)
self.ml_normalization_panel.add(panel)
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("Maximum level: ", StyleName="CaptionLabel"))
self.ml_max_level = TextBox(Text="1")
panel.add(self.ml_max_level)
self.ml_normalization_panel.add(panel)
self.ml_lowpass_enable = CheckBox("Low-pass filter")
self.ml_lowpass_enable.addClickListener(self)
multilevel_panel.add(self.ml_lowpass_enable)
self.ml_lowpass_panel = VerticalPanel(Spacing=4,
Visible=False,
StyleName='SubPanel')
multilevel_panel.add(self.ml_lowpass_panel)
self.ml_lowpass = TextBox(Text="1.0")
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("Low-pass threshold: ", StyleName="CaptionLabel"))
panel.add(self.ml_lowpass)
self.ml_lowpass_panel.add(panel)
self.combiner_type = ListBox()
for key, name in self.COMBINER_TYPES:
self.combiner_type.addItem(name, value=key)
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("Combiner: ", StyleName="CaptionLabel"))
panel.add(self.combiner_type)
multilevel_panel.add(panel)
# weights
self.weights = CompoundWeights()
weights_panel = VerticalPanel()
params_panel.add(CaptionPanel("Weights", weights_panel))
weights_panel.add(
HTML(r"\[ \gamma_u^p \qquad (u \subseteq \{1, \dots, s\}) \]",
StyleName='DisplayMath'))
self.weights_power = TextBox(Text="2")
panel = HorizontalPanel(Spacing=8)
panel.add(HTML(r"Weights power (\(p\)): ", StyleName="CaptionLabel"))
panel.add(self.weights_power)
weights_panel.add(panel)
weights_panel.add(self.weights.panel)
self.weights.add_weights(ProductWeights)
# construction method
cons_panel = VerticalPanel()
params_panel.add(CaptionPanel("Construction Method", cons_panel))
self.construction = ListBox()
self.construction.addChangeListener(self)
for key, name, desc in self.CONSTRUCTION_METHODS:
self.construction.addItem(name, value=key)
self.construction_desc = HTML()
panel = HorizontalPanel(Spacing=8)
panel.add(self.construction)
panel.add(self.construction_desc)
cons_panel.add(panel)
self.construction_samples_panel = HorizontalPanel(Spacing=8)
self.construction_samples = TextBox(Text="30")
self.construction_samples_panel.add(
HTML("Random samples: ", StyleName="CaptionLabel"))
self.construction_samples_panel.add(self.construction_samples)
cons_panel.add(self.construction_samples_panel)
# execute button
panel = VerticalPanel(Spacing=8,
Width="100%",
HorizontalAlignment='center')
main_panel.add(panel)
button_panel = HorizontalPanel()
panel.add(button_panel)
self.button_search = Button("Search", self)
button_panel.add(self.button_search)
self.button_abort = Button("Abort", self, Visible=False)
button_panel.add(self.button_abort)
self.status = Label()
panel.add(self.status)
# results
results_panel = VerticalPanel()
self.results_panel = CaptionPanel("Results",
results_panel,
Visible=False)
main_panel.add(self.results_panel)
self.results_size = Label()
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("Lattice size: ", StyleName="ResultsCaptionLabel"))
panel.add(self.results_size)
results_panel.add(panel)
self.results_gen = Label()
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("Generating vector: ", StyleName="ResultsCaptionLabel"))
panel.add(self.results_gen)
results_panel.add(panel)
self.results_merit = Label()
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("Merit value: ", StyleName="ResultsCaptionLabel"))
panel.add(self.results_merit)
results_panel.add(panel)
self.results_cpu_time = Label()
panel = HorizontalPanel(Spacing=8)
panel.add(HTML("CPU time: ", StyleName="ResultsCaptionLabel"))
panel.add(self.results_cpu_time)
results_panel.add(panel)
self.results_cmd = Label(StyleName='Command', Visible=False)
panel = HorizontalPanel(Spacing=8)
self.results_cmd_link = Hyperlink("Command line: ",
StyleName="ResultsCaptionLabel")
self.results_cmd_link.addClickListener(self)
panel.add(self.results_cmd_link)
panel.add(self.results_cmd)
results_panel.add(panel)
# update selections
self.construction.selectValue('CBC')
self.onChange(self.size)
self.onChange(self.construction)
self.onChange(self.merit)
self.onChange(self.dimension)
self.onClick(self.embedded)
self.onChange(self.ml_normalization_enable)
self.onChange(self.ml_lowpass_enable)
RootPanel().add(main_panel)
def onChange(self, sender):
if sender == self.construction:
key, name, desc = \
self.CONSTRUCTION_METHODS[self.construction.getSelectedIndex()]
self.construction_desc.setHTML(desc)
self.construction_samples_panel.setVisible('{samples}' in key)
if key.startswith('explicit'):
self.generating_vector.panel.setVisible(True)
self.button_search.setText("Evaluate Figure of Merit")
else:
self.generating_vector.panel.setVisible(False)
self.button_search.setText("Search for Good Lattices")
elif sender == self.merit:
key, name = \
self.FIGURES_OF_MERIT[self.merit.getSelectedIndex()]
self.merit_alpha_panel.setVisible('{alpha}' in key)
self.merit_cs.setVisible('{cs}' in key)
elif sender == self.size:
max_level = LatSize(self.size.getText()).max_level
if int(self.ml_min_level.getText()) > max_level:
self.ml_min_level.setText(max_level)
self.ml_max_level.setText(max_level)
elif sender == self.dimension:
# resize weights
dimension = int(self.dimension.getText())
self.generating_vector.dimension = dimension
self.weights.dimension = dimension
elif sender == self.norm_type:
q = self.norm_type.getText().strip()
self.merit_cs.setVisible(q == '2')
if q == 'inf':
self.weights_power.setText('1')
else:
self.weights_power.setText(q)
def onClick(self, sender):
if sender == self.embedded:
self.multilevel_panel.setVisible(self.embedded.getChecked())
elif sender == self.ml_normalization_enable:
self.ml_normalization_panel.setVisible(
self.ml_normalization_enable.getChecked())
elif sender == self.ml_lowpass_enable:
self.ml_lowpass_panel.setVisible(
self.ml_lowpass_enable.getChecked())
elif sender == self.results_cmd_link:
self.results_cmd.setVisible(not self.results_cmd.getVisible())
elif sender == self.button_search:
self.results_panel.setVisible(False)
self.button_search.setVisible(False)
self.button_abort.setVisible(True)
lattype = self.embedded.getChecked() and 'embedded' or 'ordinary'
size = self.size.getText()
dimension = self.dimension.getText()
norm_type = self.norm_type.getText()
merit, merit_name = \
self.FIGURES_OF_MERIT[self.merit.getSelectedIndex()]
alpha = self.merit_alpha.getText()
cs = norm_type == 2 and self.merit_cs.getChecked() and 'CS:' or ''
weights_power = self.weights_power.getText()
weights = [w.as_arg() for w in self.weights.weights]
construction, construction_name, desc = \
self.CONSTRUCTION_METHODS[self.construction.getSelectedIndex()]
samples = self.construction_samples.getText()
genvec = ','.join(self.generating_vector.values)
mlfilters = []
combiner_type = None
if self.embedded.getChecked():
if self.ml_normalization_enable.getChecked():
ml_normalization_type, ml_normalization_name = \
self.NORMALIZATION_TYPES[self.ml_normalization_type.getSelectedIndex()]
ml_normalization_type += ':even:{},{}'.format(
self.ml_min_level.getText(),
self.ml_max_level.getText())
mlfilters.append(ml_normalization_type.format(alpha=alpha))
if self.ml_lowpass_enable.getChecked():
mlfilters.append('low-pass:{}'.format(
self.ml_lowpass.getText()))
combiner_type, combiner_name = \
self.COMBINER_TYPES[self.combiner_type.getSelectedIndex()]
self.status.setText(self.TEXT_WAITING)
self.current_request = self.remote.latbuilder_exec(
lattype, size, dimension, norm_type,
merit.format(alpha=alpha, cs=cs),
construction.format(samples=samples, genvec=genvec), weights,
weights_power, None, mlfilters, combiner_type, self)
elif sender == self.button_abort:
# Need to patch JSONService.sendRequest():
#
# return HTTPRequest().asyncPost(self.url, msg_data,
# JSONResponseTextHandler(request_info)
# False, self.content_type,
# self.headers)
if self.current_request:
self.current_request.abort()
self.current_request = None
self.button_abort.setVisible(False)
self.button_search.setVisible(True)
elif sender == self.product_weights_expr_link:
self.showDialog(self._product_weights_expr_dialog)
elif sender == self.order_weights_expr_link:
self.showDialog(self._order_weights_expr_dialog)
def onRemoteResponse(self, response, request_info):
try:
if request_info.method == 'latbuilder_exec':
self.button_search.setVisible(True)
self.button_abort.setVisible(False)
cmd, points, gen, merit, seconds = eval(response)
self.results_size.setText(points)
self.results_gen.setText(', '.join(gen))
self.results_merit.setText(merit)
self.results_cpu_time.setText(format_time(seconds=seconds))
self.results_cmd.setText(cmd)
self.results_panel.setVisible(True)
self.status.setText("")
elif request_info.method == 'backend_version':
version = response
self.version_label.setHTML(
"<b>Backend:</b> {}".format(version))
except:
self.status.setText(response.replace('\n', ' | '))
def onRemoteError(self, code, errobj, request_info):
if request_info.method == 'latbuilder_exec':
self.button_search.setVisible(True)
self.button_abort.setVisible(False)
message = errobj['message']
if code != 0:
self.status.setText("HTTP error %d: %s" % (code, message['name']))
else:
code = errobj['code']
if code == -32603:
self.status.setText("Aborted.")
else:
self.status.setText("JSONRPC Error %s: %s" % (code, message))
def __init__(self):
Sink.__init__(self)
text = """This is a <code>ScrollPanel</code> contained at
the center of a <code>DockPanel</code>.
By putting some fairly large contents
in the middle and setting its size explicitly, it becomes a
scrollable area within the page, but without requiring the use of
an IFRAME.
Here's quite a bit more meaningless text that will serve primarily
to make this thing scroll off the bottom of its visible area.
Otherwise, you might have to make it really, really small in order
to see the nifty scroll bars!"""
contents = HTML(text)
scroller = ScrollPanel(contents, StyleName="ks-layouts-Scroller")
dock = DockPanel(HorizontalAlignment=HasAlignment.ALIGN_CENTER,
Spacing=10)
north0 = HTML("This is the <i>first</i> north component", True)
east = HTML("<center>This<br>is<br>the<br>east<br>component</center>",
True)
south = HTML("This is the south component")
west = HTML("<center>This<br>is<br>the<br>west<br>component</center>",
True)
north1 = HTML("This is the <b>second</b> north component", True)
dock.add(north0, DockPanel.NORTH)
dock.add(east, DockPanel.EAST)
dock.add(south, DockPanel.SOUTH)
dock.add(west, DockPanel.WEST)
dock.add(north1, DockPanel.NORTH)
dock.add(scroller, DockPanel.CENTER)
#Logger.write("Layouts", "TODO: flowpanel")
flow = FlowPanel()
for i in range(8):
flow.add(CheckBox("Flow %d" % i))
horz = HorizontalPanel(VerticalAlignment=HasAlignment.ALIGN_MIDDLE)
horz.add(Button("Button"))
horz.add(HTML("<center>This is a<br>very<br>tall thing</center>",
True))
horz.add(Button("Button"))
vert = VerticalPanel(HorizontalAlignment=HasAlignment.ALIGN_CENTER)
vert.add(Button("Small"))
vert.add(Button("--- BigBigBigBig ---"))
vert.add(Button("tiny"))
menu = MenuBar()
menu0 = MenuBar(True)
menu1 = MenuBar(True)
menu.addItem("menu0", menu0)
menu.addItem("menu1", menu1)
menu0.addItem("child00")
menu0.addItem("child01")
menu0.addItem("child02")
menu1.addItem("child10")
menu1.addItem("child11")
menu1.addItem("child12")
#Logger.write("Layouts", "TODO: htmlpanel")
id = HTMLPanel.createUniqueId()
text = """This is an <code>HTMLPanel</code>. It allows you to add
components inside existing HTML, like this: <span id='%s' />
Notice how the menu just fits snugly in there? Cute.""" % id
html = HTMLPanel(text)
DOM.setStyleAttribute(menu.getElement(), "display", "inline")
html.add(menu, id)
disclose = DisclosurePanel("Click to disclose")
disclose.add(
HTML("""<b>Ta-daaaaa!</b><br />Ok - it could have
been<br />more of a surprise."""))
panel = VerticalPanel(Spacing=8,
HorizontalAlignment=HasAlignment.ALIGN_CENTER)
panel.add(self.makeLabel("Dock Panel"))
panel.add(dock)
panel.add(self.makeLabel("Flow Panel"))
panel.add(flow)
panel.add(self.makeLabel("Horizontal Panel"))
panel.add(horz)
panel.add(self.makeLabel("Vertical Panel"))
panel.add(vert)
panel.add(self.makeLabel("HTML Panel"))
panel.add(html)
panel.add(self.makeLabel("Disclosure Panel"))
panel.add(disclose)
self.initWidget(panel)
self.setStyleName("ks-layouts")
def _getProps(self):
return CheckBox._getProps() + self._props
