def __init__(self):
Sink.__init__(self)
self.formula = AX_REG
self.image1 = Image(latex_to_url(self.formula.fill_with_placeholders().to_latex()))
self.cnf=self.formula.simplify().to_cnf()
self.image2 = Image(latex_to_url(self.cnf.to_latex()))
self.vars=self.cnf.get_vars()
self.vars_with_proto = [{"var": var, "proto": Proto(var.name)} for var in self.vars]
self.fProto = [
Proto("Beethoven", [x["proto"] for x in self.vars_with_proto])
]
self.fTree = Tree()
for i in range(len(self.fProto)):
self.createItem(self.fProto[i])
self.fTree.addItem(self.fProto[i].item)
self.fTree.addTreeListener(self)
self.panel = HorizontalPanel(VerticalAlignment=HasAlignment.ALIGN_TOP)
self.panel.setSpacing(40)
self.panel.add(self.fTree)
self.panel.add(self.image1)
self.panel.add(self.image2)
self.initWidget(self.panel)
def __init__(self):
""" Constructs a new EditPanel.
"""
self.TEXT_WAITING = "Waiting for response..."
self.TEXT_ERROR = "Server Error"
# self.remote_py = RegionNamesServicePython()
self.panel = VerticalPanel()
top_panel = HorizontalPanel()
top_panel.setSpacing(8)
self.panel.add(top_panel)
refresh = Button("Refresh", self)
top_panel.add(refresh)
self.status = Label()
top_panel.add(self.status)
edit_panel = HorizontalPanel()
self.panel.add(edit_panel)
self.tree = Tree()
self.tree.addTreeListener(self)
edit_panel.add(self.tree)
upload_item = TreeItem("Upload")
self.tree.add(upload_item)
map_item = TreeItem("Map")
self.tree.add(map_item)
def onClick(self, sender):
global sent,recv
self.status.setText('Button pressed')
if sender == self.buttonupdate:
self.commobj = AMS_Comm()
self.status.setText('Updating data: Press Display list button to refesh')
if sender == self.button:
if sent > recv:
self.status.setText('Press button again: sent '+str(sent)+' recv '+str(recv))
if self.commobj.commname == 'No AMS publisher running':
self.status.setText(self.commobj.commname)
else:
self.status.setText('Memories for AMS Comm: '+self.commobj.commname)
result = self.commobj.get_memory_list()
if self.tree: self.panel.remove(self.tree)
self.tree = Tree()
for i in result:
subtree = TreeItem(i)
memory = self.commobj.memory_attach(i)
fields = memory.get_field_list()
for j in fields:
field = memory.get_field_info(j)
subtree.addItem(j+' = '+str(field[4]))
self.tree.addItem(subtree)
self.panel.add(self.tree)
def get_case_tree(self):
tree = self.tree = Tree()
case_item = TreeItem("Case_1")
tree.addItem(case_item)
buses = self.buses = TreeItem("Buses")
case_item.addItem(buses)
id = self.remote_case.buses("name", self)
return tree
def __init__(self):
Composite.__init__(self)
self.fProto = []
self.fTree = Tree()
self.fTree.addTreeListener(self)
self.initWidget(self.fTree)
self.remote = InfoServicePython()
self.remote.index("", 1, self)
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)
self.tree = Tree()
root = TreeItem(self.imageItemHTML("home.gif", "*****@*****.**"))
self.tree.addItem(root)
inboxItem = self.addImageItem(root, "Inbox")
self.addImageItem(root, "Drafts")
self.addImageItem(root, "Templates")
self.addImageItem(root, "Sent")
self.addImageItem(root, "Trash")
root.setState(True)
self.initWidget(self.tree)
def onModuleLoad(self):
self.status = Label()
self.button = Button(
"Display list of all published memories and fields", self)
self.buttonupdate = Button("Update data from AMS publisher", self)
buttons = HorizontalPanel()
buttons.add(self.button)
buttons.add(self.buttonupdate)
buttons.setSpacing(8)
info = """<p>This example demonstrates the calling of the Memory Snooper in PETSc with Pyjamas and <a href="http://json-rpc.org/">JSON-RPC</a>.</p>"""
self.panel = VerticalPanel()
self.panel.add(HTML(info))
self.panel.add(buttons)
self.panel.add(self.status)
RootPanel().add(self.panel)
self.commobj = AMS_Comm()
self.tree = None
if AMSJavascript.sent > AMSJavascript.recv:
self.status.setText('Press button again: AMSJavascript.sent ' +
str(AMSJavascript.sent) +
' AMSJavascript.recv ' +
str(AMSJavascript.recv))
return
if self.commobj.commname == 'No AMS publisher running':
self.status.setText(self.commobj.commname)
else:
self.status.setText('Memories for AMS Comm: ' +
str(AMSJavascript.sent) +
str(AMSJavascript.recv) +
self.commobj.commname)
result = self.commobj.get_memory_list()
if self.tree: self.panel.remove(self.tree)
self.tree = Tree()
for i in result:
subtree = TreeItem(i)
memory = self.commobj.memory_attach(i)
fields = memory.get_field_list()
for j in fields:
field = memory.get_field_info(j)
subtree.addItem(j + ' = ' + str(field[4]))
self.tree.addItem(subtree)
self.panel.add(self.tree)
def onClick(self, sender):
global statusbar, boxes
statusbar.setText('Button pressed')
pass
if sender == self.buttonupdate:
self.commobj = AMS.AMS_Comm()
statusbar.setText(
'Updating data: Press Display list button to refesh')
if sender == self.button:
if AMS.sent > AMS.recv:
statusbar.setText('Press button again: sent ' + str(AMS.sent) +
' recv ' + str(AMS.recv))
if self.commobj.commname == 'No AMS publisher running' or not self.commobj.commname or self.commobj.comm == -1:
if self.tree: self.panel.remove(self.tree)
else:
statusbar.setText('Memories for AMS Comm: ' +
self.commobj.commname)
result = self.commobj.get_memory_list()
if self.tree: self.panel.remove(self.tree)
self.tree = Tree()
for i in result:
if i == "Stack": continue
subtree = TreeItem(i)
memory = self.commobj.memory_attach(i)
fields = memory.get_field_list()
if not isinstance(fields, list): fields = [fields]
block = false
for j in fields:
field = memory.get_field_info(j)
if str(field[1]) == 'AMS_READ':
if j == "Publish Block":
if field[4] == "true": block = true
else:
subtree.addItem(j + ' = ' + str(field[4]))
else:
if j == "Block" and not block: continue
PN = HorizontalPanel()
PN.add(Label(Text=j + ' ='))
tb = TextBox(Text=str(field[4]))
boxes[tb] = [i, j, memory]
tb.addChangeListener(self.textboxlistener)
PN.add(tb)
subtree.addItem(PN)
self.tree.addItem(subtree)
self.panel.add(self.tree)
def __init__(self):
SimplePanel.__init__(self)
tree = Tree()
tree.addTreeListener(self)
s1 = self.createItem("Section 1")
s1.addItem(self.createItem("Item 1.1", value=11))
s1.addItem(self.createItem("Item 1.2", value=12))
s2 = self.createItem("Section 2")
s2.addItem(self.createItem("Item 2.1", value=21))
s2.addItem(self.createItem("Item 2.2", value=22))
s1.setState(True, fireEvents=False)
s2.setState(True, fireEvents=False)
tree.addItem(s1)
tree.addItem(s2)
self.add(tree)
def __init__(self):
Sink.__init__(self)
self.fProto = [
Proto("Beethoven", [
Proto("Concertos", [
Proto("No. 1 - C"),
Proto("No. 2 - B-Flat Major"),
Proto("No. 3 - C Minor"),
Proto("No. 4 - G Major"),
Proto("No. 5 - E-Flat Major")
]),
Proto("Quartets", [
Proto("Six String Quartets"),
Proto("Three String Quartets"),
Proto("Grosse Fugue for String Quartets")
]),
Proto("Sonatas", [
Proto("Sonata in A Minor"),
Proto("Sonata in F Major")
]),
Proto("Symphonies", [
Proto("No. 1 - C Major"),
Proto("No. 2 - D Major"),
Proto("No. 3 - E-Flat Major"),
Proto("No. 4 - B-Flat Major"),
Proto("No. 5 - C Minor"),
Proto("No. 6 - F Major"),
Proto("No. 7 - A Major"),
Proto("No. 8 - F Major"),
Proto("No. 9 - D Minor")
])
]),
Proto("Brahms", [
Proto("Concertos", [
Proto("Violin Concerto"),
Proto("Double Concerto - A Minor"),
Proto("Piano Concerto No. 1 - D Minor"),
Proto("Piano Concerto No. 2 - B-Flat Major")
]),
Proto("Quartets", [
Proto("Piano Quartet No. 1 - G Minor"),
Proto("Piano Quartet No. 2 - A Major"),
Proto("Piano Quartet No. 3 - C Minor"),
Proto("String Quartet No. 3 - B-Flat Minor")
]),
Proto("Sonatas", [
Proto("Two Sonatas for Clarinet - F Minor"),
Proto("Two Sonatas for Clarinet - E-Flat Major")
]),
Proto("Symphonies", [
Proto("No. 1 - C Minor"),
Proto("No. 2 - D Minor"),
Proto("No. 3 - F Major"),
Proto("No. 4 - E Minor")
])
]),
Proto("Mozart", [
Proto("Concertos", [
Proto("Piano Concerto No. 12"),
Proto("Piano Concerto No. 17"),
Proto("Clarinet Concerto"),
Proto("Violin Concerto No. 5"),
Proto("Violin Concerto No. 4")
]),
])
]
self.fTree = Tree()
for i in range(len(self.fProto)):
self.createItem(self.fProto[i])
self.fTree.addItem(self.fProto[i].item)
self.fTree.addTreeListener(self)
self.initWidget(self.fTree)
def onModuleLoad(self):
""" Dynamically build our user interface when the web page is loaded.
"""
self._root = RootPanel()
self._tree = Tree()
self._rightPanel = SimplePanel()
self._curContents = None
intro = HTML(
'<h3>Welcome to the Pyjamas User Interface Showcase</h3>' +
'<p/>Please click on an item to start.')
self._introPanel = VerticalPanel()
self._introPanel.add(uiHelpers.indent(intro, left=20))
self._demos = [
] # List of all installed demos. Each item in this list
# is a dictionary with the following entries:
#
# 'name'
#
# The name for this demo.
#
# 'section'
#
# The name of the section of the demo tree
# this demo should be part of.
#
# 'doc'
#
# The documentation for this demo.
#
# 'src'
#
# The source code for this demo.
#
# 'example'
#
# The Panel which holds the example output for
# this demo.
self.loadDemos()
self.buildTree()
self._tree.setSize("0%", "100%")
divider = VerticalPanel()
divider.setSize("1px", "100%")
divider.setBorderWidth(1)
scroller = ScrollPanel(self._rightPanel)
scroller.setSize("100%", "100%")
hPanel = HorizontalPanel()
hPanel.setSpacing(4)
hPanel.add(self._tree)
hPanel.add(divider)
hPanel.add(scroller)
hPanel.setHeight("100%")
self._root.add(hPanel)
self._tree.addTreeListener(self)
self.showDemo(None)
def onModuleLoad(self):
loggedInUser = getCookie("LoggedInUser")
self.loggedInUserJsonData = json.loads(loggedInUser)
self.remote_py = MyBlogService()
dockPanel = DockPanel(BorderWidth=0,
Padding=0,
HorizontalAlignment=HasAlignment.ALIGN_LEFT,
VerticalAlignment=HasAlignment.ALIGN_TOP)
dockPanel.setSize('100%', '100%')
headerDockPanel = DockPanel(
BorderWidth=0,
Padding=0,
HorizontalAlignment=HasAlignment.ALIGN_LEFT,
VerticalAlignment=HasAlignment.ALIGN_CENTER)
headerDockPanel.setStyleName('header')
headerDockPanel.setWidth('100%')
dockPanel.add(headerDockPanel, DockPanel.NORTH)
dockPanel.setCellHeight(headerDockPanel, '60px')
self.siteImage = Image("/images/Testware_logo.png")
self.siteImage.setStyleName('logo-image')
headerDockPanel.add(self.siteImage, DockPanel.WEST)
headerDockPanel.setCellWidth(self.siteImage, '30%')
self.pageTitle = Label('All Blogs')
self.pageTitle.setStyleName('center-header')
headerDockPanel.add(self.pageTitle, DockPanel.CENTER)
headerDockPanel.setCellWidth(self.pageTitle, '40%')
rightHeaderPanel = VerticalPanel(StyleName='right-header')
headerDockPanel.add(rightHeaderPanel, DockPanel.EAST)
headerDockPanel.setCellWidth(rightHeaderPanel, '30%')
welcomeNoteLabel = Label('Hi %s %s!' %
(self.loggedInUserJsonData["first_name"],
self.loggedInUserJsonData["last_name"]))
rightHeaderPanel.add(welcomeNoteLabel)
logoutAnchor = Anchor(Widget=HTML('Logout'), Href='/', Title='Logout')
logoutAnchor.setStyleName('logout')
rightHeaderPanel.add(logoutAnchor)
newBlogAnchor = Anchor(Widget=HTML('Create New Blog'),
Href='/newblog.html',
Title='NewBlog')
newBlogAnchor.setStyleName('logout')
rightHeaderPanel.add(newBlogAnchor)
tree = Tree()
tree.addTreeListener(self)
tree.setStyleName('side-menu')
dockPanel.add(tree, DockPanel.WEST)
dockPanel.setCellWidth(tree, '60px')
s1 = self.createItem("Blogs")
allItem = self.createItem("All", value=0)
self.selectedItem = allItem
s1.addItem(allItem)
s1.addItem(self.createItem("Published", value=1))
s1.addItem(self.createItem("Unpublished", value=2))
s2 = self.createItem("Other's Blog")
s1.setState(True, fireEvents=False)
tree.addItem(s1)
tree.addItem(s2)
self.absolultutePanel = AbsolutePanel(StyleName='detail-style')
dockPanel.add(self.absolultutePanel, DockPanel.CENTER)
self.blogs = []
self.g = Grid()
RootPanel().add(dockPanel)
self.remote_py.callMethod('getBlogs',
[self.loggedInUserJsonData["username"]],
self)
